シュタイナー環におけるデカルトの円定理の拡張について : Extended Abstract (数式処理 : その研究と目指すもの)
スポンサーリンク
概要
- 論文の詳細を見る
- 2013-07-00
著者
関連論文
- 和算における「冪乗演段」で扱われた連立代数方程式の解について
- 代数方程式の折紙による解法について (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計算について