×

WinGCLC公司

swMATH ID: 8574
软件作者: Predrag Janicic;合著者
描述: GCLC 9.0/WinGCLC 2009。什么是GCLC?GCLC((c)Predrag Janicic 1996-2009)(摘自“Geometry Constructions->LaTeX converter”)是一种可视化和教学几何以及制作数学插图的工具。GCLC为许多几何构造、等距变换、二次曲线、参数曲线、流控制、自动定理证明等提供易于使用的支持。GCLC的基本思想是构造是形式化的过程,而不是绘图。因此,在GCLC中,制作数学插图是基于“描述图形”而不是“绘制图形”。图形可以显示并导出为LaTeX和其他格式。WinGCLC是GCLC的Windows版本,提供了一系列附加功能。
主页: http://poincare.matf.bg.ac.rs/~janicic//gclc/
相关软件: GeoThms公司;GCL校准仪;克莱德思;GCLC公司;地理视图;苏克雷德斯;枣灰蝶属;灰姑娘;GEX公司;MMP/几何仪;地理1.1;Coq公司;GeoGebra公司;卡布里;几何画板;TPTP公司;萨特利卜
引用于: 5文件

按年份列出的引文