「検証」は「信頼」の原点
スポンサーリンク
概要
- 論文の詳細を見る
- 2003-03-01
著者
関連論文
- 零因子をもつ環上の逆行列計算について(数式処理における理論と応用の研究)
- 代数制約の処理 (制約論理プログラミング)
- Euclid環上の因数分解およびGCDについて : 格子算法の応用
- Mandelbrot 集合の泡について
- Mandelbrot集合の泡について (大会報告 第15回日本数式処理学会大会報告)
- Risa/Asirの開発
- 整数行列の固有値,固有ベクトルの計算法について
- 線形分離写像による判定を用いた代数方程式の実解の定位 (数式処理における理論と応用の研究)
- Cplotの3次元描画への拡張について
- 線形写像による判定を用いた代数方程式の実解の代数的解法について
- 2変数代数曲線の忠実な描画
- 線形写像による判定を用いた代数方程式の実解の代数的解法について (数式処理における理論と応用の研究)
- 任意精度によるゼロ次元代数方程式の解の位置判定
- Displaying Real Solution of Mathematical Equations
- 数式処理と画像描画II
- 三斜内容三圓術(Malfattiの問題)の数式処理 : 有理関数体上のタワーの構成(数式処理における理論とその応用の研究)
- 数式処理と画像描画
- 「検証」は「信頼」の原点