弗朗西斯科·博塔纳;佐尔坦科瓦奇;托马斯·雷西奥 机械几何师。 （英语） 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） 全文： 内政部 链接