佩德罗·夸雷斯马 面向智能和动态几何书籍。 (英语) Zbl 1425.97002号 数学。计算。科学。 11,编号3-4,427-437(2017).MSC公司:97单位50 68T05型 68吨15 68立方英尺 97G10型 PDF格式BibTeX公司 XML格式引用 \textit{P.Quaresma},数学。计算。科学。11,编号3-427-437(2017;兹bl 1425.97002) 全文: 内政部
弗朗西斯科·博塔纳;马库斯·霍恩瓦特;贾尼契奇,普雷德拉格;佐尔坦科瓦奇;伊万·彼得罗维奇;托马斯·雷西奥;西蒙·魏茨霍弗 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) 全文: 内政部 链接
佐尔坦科瓦奇 GeoGebra 5中的关系工具。 (英语) Zbl 1434.97015号 Botana,Francisco(编辑)等人,《几何中的自动演绎》。2014年7月9日至11日在葡萄牙科英布拉举行的ADG 2014第十届国际研讨会。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。9201, 53-71 (2015).MSC公司:97U70型 97G10型 68伏15 68瓦30 97纳米80 PDF格式BibTeX公司 XML格式引用 \textit{Z.Kovács},莱克特。注释计算。科学。9201,53--71(2015;Zbl 1434.97015) 全文: 内政部