証明データベースの実装について
スポンサーリンク
概要
- 論文の詳細を見る
- 2003-09-01
著者
関連論文
- 4B-3 ホモトピー法のパラメータに一次分数変換を適用したホモトピーパスの視覚化(最適化問題,一般セッション,ソフトウェア科学・工学)
- 証明データベースの実装について
- 1M-1 ホモトピー法への一次分数変換の適用法について
- A-6-4 半自動証明系Isabelleにおける証明過程の再利用について(A-6.情報理論,一般講演)
- Presentation Hensel's Lemma in Isabelle/HOL(Computer Algebra : Design of Algorithms, Implementations and Applications)
- F_018 Constructing and Using a Web Service to Find Theorems
- F-028 The Implementation of a Proof Search System for Isabelle
- Formalization of the valuation theory (Algebra, Languages and Computation)
- A-014 グリッドコンピューティングを用いた連立代数方程式の解法 : 根の振る舞いの解析に向けて(A.モデル・アルゴリズム・プログラミング)
- ホモトピー法のパラメータに一次分数変換を適用した近接根問題の解法について(アルゴリズム理論)
- A Relation between a Group and a Ring (Computer Algebra : Algorithms, Implementations and Applications)
- A Machine Proof of the Proposition : "Ideal $\subseteq \cup_i$ PrimeIdeal$_i$ $\Rightarrow$ Ideal $\subseteq$ PrimeIdeal$_i$" (Computer Algebra : Algorithms, Implementations and Applications)
- "Ring Story"再考 : トレンド,エヴォリューション,そして計画
- 一次分数変換を利用した連立代数方程式の近接根の分離と擬局所化における誤差について
- 連立代数方程式の数値解法における一次分数変換の新たな適用について
- 連立代数方程式の減次の可能性について(数式処理における理論と応用の研究)
- 連立代数方程式の擬局所化の過程で生じる誤差についての報告
- 連立代数方程式の擬局所化の過程で生じる誤差について
- 連立代数方程式の近接根の分離と擬局所化の可能性について(数式処理における理論と応用の研究)
- 一次分数変換を利用した近接根の分離方法とその誤差について
- 一次分数変換を利用した連立代数方程式の高精度計算法
- 1次分数変換を利用した1変数代数方程式の近接根の分離
- 分数変換による近接根の分離について(数式処理における理論とその応用の研究)
- 連立代数方程式の解の重複度(精度保証付き数値計算法とその応用)
- 連立代数方程式の解の重複度(非線形問題の数値解析)