Risa/Asir による Euclid 幾何定理証明プログラムの実装
スポンサーリンク
概要
- 論文の詳細を見る
- 日本数式処理学会の論文
- 2006-12-01
著者
関連論文
- 和算における「冪乗演段」で扱われた連立代数方程式の解について
- 代数方程式の折紙による解法について (Computer Algebra : Design of Algorithms, Implementations and Applications)
- グレブナー基底による幾何定理の代数的証明の効率について
- 単因子の計算法(数式処理と数学研究への応用)
- グレブナー基底による幾何定理の証明について (II) : イデアル成分の分解の利用 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 宮城清行「明元算法」に現れる連立代数方程式の解について (第18回日本数式処理学会大会報告)
- 古今算法記遺題の数値解について (Computer Algebra : Design of Algorithms, Implementations and Applications)
- Risa/Asir による Euclid 幾何定理証明プログラムの実装
- Solving Cubic Equations by ORIGAMI(Computer Algebra : Design of Algorithms, Implementations and Applications)
- 折り紙による3次方程式の解法について
- 固有値法による連立代数方程式のRUR計算について
- 折り紙による角の三等分について
- On Numerical Evaluation of Arctangent Function
- 宮城清行「明元算法」に現れる連立代数方程式の解について
- 和算における「冪乗演段」で扱われた連立代数方程式の解について
- 有理数行列のFrobenius標準形のモジュラー計算法 (Computer Algebra : Algorithms, Implementations and Applications)
- 整数行列のFrobenius標準形のモジュラー計算法
- 連立代数方程式について(数式処理と数学研究への応用)
- On solving a system of algebraic equations by using a Grobner basis
- 数式処理を用いた暗号アルゴリズムの実験的評価
- 円内接多角形問題と「算法発揮(1690)」における解について (Computer Algebra : Design of Algorithms, Implementations and Applications)
- シュタイナー環におけるデカルトの円定理の拡張について : Extended Abstract (数式処理 : その研究と目指すもの)