贾尼契奇，普雷德拉格 GCLC——一种用于构造欧几里得几何的工具。 （英语） Zbl 1230.51024号 Iglesias、Andrés（编辑）等人，《数学软件——ICMS 2006》。第二届数学软件国际会议，卡斯特罗·乌迪亚莱斯，西班牙，2006年9月1日至3日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-38084-9/pbk）。计算机科学讲义415158-73（2006）。 总结：我们介绍了GCLC/WinGCLC–一种可视化几何（不仅是几何）对象和概念的工具，用于数学教学和研究，以及制作高质量数学插图。GCLC使用GC语言对图形进行声明性表示，并以文本形式存储可视化性质的数学内容。在GCLC中，有一个内置的几何定理证明程序，它将直观和语义的几何信息与演绎性质和机器生成的证明直接联系在一起。关于整个系列，请参见[Zbl 1195.68008号]. 引用于20文件 MSC公司： 2015年11月51日 实几何或复杂几何中的几何构造 51-04 几何相关问题的软件、源代码等 关键词：可视化几何对象 软件：GCL校准仪;GeoThms公司;克莱德思;灰姑娘;GCLC公司;卡布里;枣灰蝶属;几何画板;WinGCLC公司 PDF格式BibTeX公司 XML格式引用 \textit{P.Janić}，莱克特。注释计算。科学。4151、58--73（2006年；Zbl 1230.51024） 全文： 内政部