托马斯·雷西奥;玛丽亚·P·Vélez。 介绍通过符号计算在几何中自动发现。 （英语） Zbl 1250.65040号 Langer，Ulrich（编辑）等人，《数值和符号科学计算》。进展和前景。纽约州纽约市：施普林格出版社（ISBN 978-3-7091-0793-5/pbk；978-3-70 91-0794-2/电子书）。符号计算中的文本和专题论文，257-271（2012）。 小结：我们为初学者介绍了初等几何中定理的自动发现。这里，重点是不同可能的发现目标表述背后的基本原理。关于整个系列，请参见[Zbl 1234.65014号]. 引用于7文件 MSC公司： 65D18天 计算机图形、图像分析和计算几何的数值方面 68瓦30 符号计算和代数计算 2005年5月5日 欧几里德几何（一般）和推广 关键词：自动发现;初等几何 PDF格式BibTeX公司 XML格式引用 \textit{T.Recio}和\textit{M.P.Vélez}，in：数字和符号科学计算。进展和前景。纽约州纽约市：斯普林格。257--271（2012；Zbl 1250.65040） 全文： 内政部