亚历山德罗·洛加;萨拉·帕罗尼蒂 关于三次曲线上九个点的构型。 （英语） Zbl 1465.14034号 澳大利亚。J.库姆。 79，第1部分，87-99（2021）. 审核人：胡安·米利奥雷（圣母院） MSC公司：14H51型 14时52分 51E20型 51A20个 05立方厘米30 PDF格式BibTeX公司 XML格式引用 \澳大利亚textit{A.Logar}和\textit{S.Paronitti}。J.库姆。79，第1部分，87--99（2021；Zbl 1465.14034） 全文： arXiv公司 链接
兰加纳坦帕德马纳班;罗伯特·弗罗夫 使用Prover9的几何程序。 （英语） Zbl 1383.68080号 Bonacina，Maria Paola（编辑）等人，《自动推理和数学》。纪念威廉·麦库恩的散文。柏林：施普林格出版社（ISBN 978-3-642-36674-1/pbk）。计算机科学课堂讲稿7788。《人工智能课堂讲稿》，139-150（2013）。MSC公司：68吨15 14时52分 2005年第14季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Padmanabhan}和\textit{R.Veroff}，Lect。注释计算。科学。7788，139-150（2013年；兹bl 1383.68080） 全文： DOI程序