姆拉丹·尼科利奇;Marinković，韦斯纳;佐尔坦科瓦奇;Janičić，普雷德拉格 几何的投资组合定理证明和证明器运行时预测。 （英语） Zbl 1431.68123号 安。数学。Artif公司。智力。 85，编号2-4，119-146（2019）.MSC公司：68伏15 2004年5月5日 68T05型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Nikolić}等人，《数学年鉴》。Artif公司。智力。85，编号2--4，119-146（2019；Zbl 1431.68123） 全文： 内政部
佐尔坦科瓦奇 GeoGebra 5中的关系工具。 （英语） Zbl 1434.97015号 Botana，Francisco（编辑）等人，《几何中的自动演绎》。2014年7月9日至11日在葡萄牙科英布拉举行的ADG 2014第十届国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9201, 53-71 (2015).MSC公司：97U70型 97G10型 68伏15 68瓦30 97N80型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Kovács}，莱克特。注释计算。科学。9201,53--71（2015；Zbl 1434.97015） 全文： 内政部