小林茂树;Setsuo Takato KeTCindy与计算机代数系统的合作。 (英语) Zbl 1434.68609号 Greuel,Gert-Martin(编辑)等人,《数学软件——ICMS 2016》。第五届国际会议,德国柏林,2016年7月11-14日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9725, 351-358 (2016). 摘要:在日本,一些呈现几何谜题的木板(SANGAKU)显示了在与之接触的较大圆圈或与二次曲线(如椭圆)接触的圆圈内绘制较小圆圈的问题。这些问题可以成为有趣的教材。动态几何软件(如Cinderella或GeoGebra)对解决这些问题很有用。可以使用KeTCindy(灰姑娘插件)的高质量TeX图形绘制这些图形。人们还可以通过使用计算机代数系统(如Maxima或Risa/Asir)求解联立方程来绘制图形。虽然联立方程可以在Maxima中求解,但求解需要时间。或者,当包含太多变量时,它不起作用。在这种情况下,可以使用Risa/Asir中的Gröbner基将其转换为更容易求解的方程组。然后,用户可以通过将结果提供给Maxima来解决这些问题。用户可以通过KeTCindy在灰姑娘上完成此操作,并可以使用结果画圆。这种方法也可以应用于其他困难的情况。本文给出了一些例子。关于整个系列,请参见[Zbl 1342.68017号]. 理学硕士: 68单位05 计算机图形;计算几何(数字和算法方面) 68瓦30 符号计算和代数计算 关键词:凯特辛迪;灰姑娘;动态几何软件;计算机代数系统;马克西玛;瑞萨/阿西尔 软件:GeoGebra公司;瑞萨/阿西尔;马克西玛;凯特辛迪;灰姑娘 PDF格式BibTeX公司 XML格式引用 \textit{S.Kobayashi}和\textit{S.Takato},莱克特。注释计算。科学。9725、351--358(2016年;Zbl 1434.68609) 全文: 内政部 参考文献: [1] Fukagawa,H.,Pedoe,D.:日本寺庙几何问题Sangaku。加拿大温尼伯(1989) [2] Makishita,H.:高中数学课程中激活教材的开发。RIMS Kokyuroku,日本(2015) 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。