克里斯托弗·布朗(Christopher W.Brown)。;佐尔坦科瓦奇;托马斯·雷西奥;洛伯特·瓦伊达;维莱兹,M.Pilar 计算机代数准备好在课堂上猜测和证明几何不等式了吗? (英语) Zbl 07700011号 数学。计算。科学。 16,第4号,第31号论文,第14页(2022年).MSC公司:97G40型 14时50分 03B35型 68吨15 68伏15 2014年第30季度 2016年11月51日 51-04 2008年5月51日 PDF格式BibTeX公司 XML格式引用 \textit{C.W.Brown}等人,数学。计算。科学。16,第4号,第31号论文,第14页(2022;Zbl 07700011) 全文: 内政部
弗朗西斯科·博塔纳;佐尔坦科瓦奇;托马斯·雷西奥 机械几何师。 (英语) Zbl 07465794号 数学。计算。科学。 15,第4期,631-641(2021).MSC公司:97G40型 14时50分 PDF格式BibTeX公司 XML格式引用 \textit{F.Botana}等人,数学。计算。科学。15,第4号,631--641(2021;Zbl 07465794) 全文: 内政部
米盖尔·阿巴纳德斯;弗朗西斯科·博塔纳;佐尔坦科瓦奇;托马斯·雷西奥;Sólyom Gecse,塞利亚 走向GeoGebra中定理的自动发现。 (英语) Zbl 1434.68636号 Greuel,Gert-Martin(编辑)等人,《数学软件——ICMS 2016》。第五届国际会议,德国柏林,2016年7月11-14日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9725, 37-42 (2016).MSC公司:68伏15 2004年5月5日 68瓦30 97Gxx型 97U70型 PDF格式BibTeX公司 XML格式引用 \文本{M.Abánades}等人,Lect。注释计算。科学。9725,37-42(2016;Zbl 1434.68636) 全文: 内政部
弗朗西斯科·博塔纳;马库斯·霍恩瓦特;贾尼契奇,普雷德拉格;佐尔坦科瓦奇;伊万·彼得罗维奇;托马斯·雷西奥;西蒙·魏茨霍弗 GeoGebra中的自动定理证明:当前成就。 (英语) Zbl 1356.68181号 J.汽车。推理 55,第1号,39-59(2015).MSC公司:68吨15 97Gxx型 97U70型 PDF格式BibTeX公司 XML格式引用 \textit{F.Botana}等人,J.Autom。推理55,No.1,39-59(2015;Zbl 1356.68181) 全文: 内政部 链接