佐治亚州科瓦奇。;T·雷西奥。;Sólyom-Gecse,C。 重写复杂代数几何证明程序中的输入表达式。 (英语) Zbl 1423.13004号 安。数学。Artif公司。智力。 85,编号2-4,73-87(2019). 审核人:Gema Maria Diaz Toca(穆尔西亚) MSC公司:13-04 13页第10页 68吨15 第14季度20 51-04 PDF格式BibTeX公司 XML格式引用 \textit{Z.Kovács}等人,《数学年鉴》。Artif公司。智力。85,编号2--4,73-87(2019;Zbl 1423.13004) 全文: 内政部
弗朗西斯科·博塔纳;马库斯·霍恩沃特;贾尼契奇,普雷德拉格;佐尔坦科瓦奇;伊万·彼得罗维奇;托马斯·雷西奥;西蒙·魏茨霍弗 GeoGebra中的自动定理证明:当前成就。 (英语) Zbl 1356.68181号 J.汽车。推理 55,第1号,39-59(2015).MSC公司:68吨15 97克xx 97U70型 PDF格式BibTeX公司 XML格式引用 \textit{F.Botana}等人,J.Autom。推理55,No.1,39-59(2015;Zbl 1356.68181) 全文: 内政部 链接