A Method to Prove Japanese Theorems and Others Appeared in Wasan Using Maxima

被引：0

作者：

Takato, Setsuo ^{[1
,2
]}

Makishita, Hideyo ^{[2
]}

机构：

[1] KeTCindy Center, Kiyomidai-higashi, Chiba, Kisarazu,2920041, Japan

[2] College of Engineering, Shibaura Institute of Technology, Tokyo, Japan

来源：

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2024年 / 14991 LNAI卷

关键词：

Cinderella2 - Cindy[!text type='js']js[!/text] - Computer algebra - Geometry problems - Ketcindy - Ketcindy[!text type='js']js[!/text] - Maximum - MNR method - Plane geometry - SIMPLE method;

D O I：

10th International Symposium on Symbolic Computation in Software Science, SCSS 2024

中图分类号：

学科分类号：

摘要：

引用

页码：57 / 78