2 0 0 0 OA グレブナー基底を応用した幾何定理証明アルゴリズムの新たな展開
- 著者
- 森継 修一
- 巻号頁・発行日
- 2013
科学研究費助成事業(科学研究費補助金)研究成果報告書:基盤研究(C)2010-2012
1 0 0 0 折り紙による3次方程式の解法について
- 著者
- 森継 修一
- 出版者
- 一般社団法人 日本応用数理学会
- 雑誌
- 日本応用数理学会論文誌 (ISSN:09172246)
- 巻号頁・発行日
- vol.16, no.1, pp.79-92, 2006
- 参考文献数
- 16
We show an algebraic proof of the method for solving cubic equations by ORIGAMI (paper folding). Using ORIGAMI, we can solve the construction problems that are unsolvable in Euclidean geometry, such as angle trisection and doubling cubes. In our formulation, we solve the radical membership problem in polynomial ideals computing a Grobner basis together with constraints of parameters, which correspond to geometrically degenerate cases. Consequently, cubic equations are clearly solved as construction problems. We also show the construction of another solution by trigonometric functions, that is an application of angle trisection by ORIGAMI.
1 0 0 0 IR 連立代数方程式について(数式処理と数学研究への応用)
- 著者
- 小林 英恒 森継 修一 ホーガン ロバート
- 出版者
- 京都大学
- 雑誌
- 数理解析研究所講究録 (ISSN:18802818)
- 巻号頁・発行日
- vol.646, pp.37-39, 1988-02