森継 修一(モリツグ シユウイチ)
- 論文
- グレブナー基底による幾何定理の証明について (II) : イデアル成分の分解の利用 (Computer Algebra : Design of Algorithms, Implementations and Applications)
森継 修一; 荒井 千里
数理解析研究所講究録/1652(0)/pp.173-181, 2009-06 - An application of computer algebra to studies on the history of Japanese mathematics
MORITSUGU Shuichi; ARAI Chisato
数式処理/15(2)/pp.3-13, 2008-12 - Geometry Theorem Proving by Groebner Bases - Algebraic Factoring Free Approach
Moritsugu Shuichi; Arai Chisato
Proc. of ADG 2008, Shanghai, China, September 22-24, 2008./pp.12-20, 2008-09 - Geometry Theorem Proving by Groebner Bases – Using Ideal Decompositions
Moritsugu S.; Arai C.
ISSAC 2008: Abstracts of Poster Sessions, ACM Communications in Computer Algebra/42(3&4)/p.158-159, 2008-09 - 古今算法記遺題の数値解について (Computer Algebra : Design of Algorithms, Implementations and Applications)
荒井 千里; 森継 修一
数理解析研究所講究録/1568(0)/pp.87-93, 2007-09 - On the Efficiency of Geometry Theorem Proving by Groebner Bases
Moritsugu S.; Arai C.
Proc. of Calculemus/MKM 2007 Work in Progress, RISC-Linz Report Series No.07-06/p.35-45, 2007-06 - グレブナー基底による幾何定理の代数的証明の効率について
森継 修一; 荒井 千里
日本応用数理学会論文誌/17(2)/pp.183-193, 2007-06 - Risa/Asir による Euclid 幾何定理証明プログラムの実装
荒井 千里; 森継 修一
数式処理/13(1)/pp.54-57, 2006-12 - Solving Cubic Equations by ORIGAMI(Computer Algebra : Design of Algorithms, Implementations and Applications)
森継 修一
京都大学数理解析研究所講究録/1514(0)/pp.155-159, 2006-09 - 折り紙による3次方程式の解法について
森継 修一
日本応用数理学会論文誌/16(1)/pp.79-92, 2006-03 - Solving Cubic Equations by ORIGAMI
Moritsugu S.
ACA 2005: Abstracts of Presentations/pp.31-31, 2005-08 - 固有値法による連立代数方程式のRUR計算について
森継 修一
日本応用数理学会論文誌/15(2)/pp.73-87, 2005-06 - 折り紙による角の三等分について
森継 修一; 菊池 留珠
数式処理/11(3)/pp.119-123, 2005-03 - Computing RUR Solutions to Polynomial Systems by Matrix Eigenproblems
Moritsugu S.; Arai C.
Proc. of International Conference on Polynomial System Solving 2004/p.16-18, 2004-11 - A Practical Implementation of Modular Algorithms for Frobenius Normal Forms of Rational Matrices(Algorithm Theory)
MORITSUGU SHUICHI
情報処理学会論文誌/45(6)/pp.1630-1641, 2004-06 - 整数行列のFrobenius標準形のモジュラー計算法
森継修一
数式処理/9(4)/pp.52-67, 2003-04 - 整数行列のFrobenius標準形のモジュラー計算法(II) (Computer Algebra : Algorithms, Implementations and Applications)
森継修一; 栗山和子
数理解析研究所講究録/1295/pp.87-92, 2002-11 - 整数行列のFrobenius標準形のモジュラー計算法
森継修一; 栗山 和子
数式処理/8(4)/pp.31-32, 2002-01 - 行列の固有値・固有ベクトル・一般固有ベクトルの数式処理による記号的計算法
森継修一; 栗山和子
日本応用数理学会論文誌/11(2)/pp.103-120, 2001-06 - 整数行列のFrobenius標準形のモジュラー計算法
森継修一; 栗山和子
京都大学数理解析研究所講究録/1199/pp.220-227, 2001-04 - A Linear Algebra Method for Solving Systems of Algebraic Equations
Moritsugu S.; Kuriyama K.
Journal of Japan Society for Symbolic and Algebraic Computation/7(4)/p.2-22, 2000-01 - 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)/p.23-30, 1999-07 - On Multiple Zeros of Systems of Algebraic Equations
Moritsugu S.; Kuriyama K.
Poster Session Abstract: International Symposium on Symbolic and Algebraic Computation (August 13-15, 1998, Rostock, Germany)/p.37-38, 1998-08 - A Linear Algebra Method for Solving Systems of Algebraic Equations
Moritsugu S.; Kuriyama K.
Johannes Kepler University, RISC-Linz Report Series/(97-35)/pp.1-27, 1997-11 - Fraction-free Method for Computing Rational Normal Forms of Polynomial Matrices
Moritsugu S.; Kuriyama K.
Johannes Kepler University, RISC-Linz Report Series/(97-18)/pp.1-12, 1997-06 - さらに表示...
- グレブナー基底による幾何定理の証明について (II) : イデアル成分の分解の利用 (Computer Algebra : Design of Algorithms, Implementations and Applications)