スポンサーリンク
日本大学理工学部数学科 | 論文
- 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変数代数方程式の近接根の分離
- 6ZL-3 アフィリエーションネットワークを用いた実組織活動の経時変化分析に関する考察(商業活動,学生セッション,コンピュータと人間社会,情報処理学会創立50周年記念)
- 自然推論による微積の初歩の完全な形式化とそのプルーフ・チェッカー(アルゴリズムと計算量理論)
- 小特集「サイエンティフィック・ヴィジュアライゼーション」の編集にあたって
- 溶接技術へのマイクロ・コンピュータの利用 (III) : マイクロ・コンピュータによる数値解析