Integrated Circumradius and Area Formulae for Cyclic Pentagons and Hexagons von Moritsugu, Shuichi

Volltext

Integrating Circumradius and Area Formulae for Cyclic Pentagons von Moritsugu, Shuichi

Volltext

Extending the Descartes Circle Theorem for Steiner n-Cycles von Moritsugu, Shuichi

Volltext

Radius computation for an inscribed pentagon in Sanpou-Hakki (1690) von Moritsugu, Shuichi

Volltext

Geometry theorem proving by Gröbner bases: using ideal decompositions von Moritsugu, Shuichi, Arai, Chisato

Volltext

Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers von Ida, Tetsuo, Fleuriot, Jacques

Volltext

Solving Cubic Equations by ORIGAMI von Moritsugu, Shuichi

Volltext

Computing RUR Solutions to Systems of Algebraic Equations by Matrix Eigenproblems von Moritsugu, Shuichi

Volltext

On the Efficiency of Geometry Theorem Proving by Grobner Bases von Moritsugu, Shuichi, Arai, Chisato

Volltext

On radical zero-dimensional ideals von Kobayashi, Hidetsune, Moritsugu, Shuichi, Hogan, Robert W.

Volltext

Solving systems of algebraic equations von Kobayashi, Hidetsune, Moritsugu, Shuichi, Hogan, Robert W.

Volltext

Symbolic Computation of Eigenvalues, Eigenvectors and Generalized Eigenvectors of Matrices by Computer Algebra von Moritsugu, Shuichi, Kuriyama, Kazuko

Volltext

Fraction-free Method for Computing Rational Normal Forms of Square Matrices von Kuriyama, Kazuko, Moritsugu, Shuichi

Volltext

折り紙による3次方程式の解法について von 森継, 修一

Volltext

Exact Computation of Normal Forms of Matrices by Computer Algebra von Kuriyama, Kazuko, Moritsugu, Shuichi

Volltext

固有値法による連立代数方程式のRUR計算について von 森継, 修一

Volltext

Exact Computation of Jordan Normal Forms of Matrices by Computer Algebra von Moritsugu, Shuichi, Kuriyama, Kazuko

Volltext

グレブナー基底による幾何定理の代数的証明の効率について von 森継, 修一, 荒井, 千里

Volltext

RISC-Linz, Johannes Kepler Universitat(Overseas,Laboratories) von 森継, 修一

Volltext

行列の固有値・固有ベクトル・一般固有ベクトルの数式処理による記号的計算法 von 森継, 修一, 栗山, 和子

Volltext