Moritsugu Shuichi
- Conference, etc.
- On the Efficiency of Geometry Theorem Proving by Groebner Bases
Moritsugu Shuichi; Arai Chisato
Calculemus 2007, Hagenberg, Austria, June 27-30, 2007./2007-06-27--2007-06-30 - Groebner基底のEuclid幾何への応用
荒井千里; 森継修一
研究集会「Computer Algebra - Design of Algorithms, Implementations and Applications 2006」/2006-12-18--2006-12-21 - Risa/AsirによるEuclid幾何定理証明プログラムの実装
荒井千里; 森継修一
日本数式処理学会第15回大会/2006-06-05--2006-06-07 - Solving Cubic Equations by ORIGAMI
Moritsugu S.
研究集会「Computer Algebra - Design of Algorithms, Implementations and Applications 2005」/2005-12-19--2005-12-22 - Solving Cubic Equations by ORIGAMI
Moritsugu S.
11th International Conference on Applications of Computer Algebra : ACA 2005/2005-07-31--2005-08-03 - 折り紙による角の三等分について
森継修一; 菊池留珠
____/2005-03-25--2005-03-26 - Computing RUR Solutions to Polynomial Systems by Matrix Eigenproblems
Moritsugu S.; Arai C.
International Conference on Polynomial System Solving 2004/2004-11-24--2004-11-26 - On Multiple Zeros of Systems of Algebraic Equations
Moritsugu S.; Kuriyama K.
Proceedings of International Symposium on Symbolic and Algebraic Computation (July 29-31, 1999, Vancouver, Canada)/1999-07-29--1999-07-31
- On the Efficiency of Geometry Theorem Proving by Groebner Bases