×

GCLC公司

swMATH ID: 326
软件作者: 贾尼契奇,普雷德拉格
描述: 我们介绍了GCLC/WinGCLC–一种可视化几何(而不仅仅是几何)对象和概念的工具,用于数学教学和研究,并用于制作高质量的数学插图。GCLC使用GC语言对图形进行声明性表示,并以文本形式存储可视化性质的数学内容。在GCLC中,有一个内置的几何定理证明程序,它将直观和语义的几何信息与演绎性质和机器生成的证明直接联系在一起。
主页: http://poincare.matf.bg.ac.rs/~janicic/gclc/
关键词: 可视化几何对象
相关软件: GeoThms公司;GeoGebra公司;GCL校准仪;GEX公司;灰姑娘;gcl公司;地理1.1;地理证明;MMP/几何仪;Coq公司;OpenGeoProver(OpenGeoProvider);三峡工程;Intergeo公司;日本国债交易所;ArgoCLP公司;地理视图;TPTP公司;几何画板;电子几何教科书;克莱德思
引用于: 34文件

按年份列出的引文