GCL

几何结构语言(GCL)是一种用于描述Euclidean平面结构及其性质的语言。其他数学对象也可以用语言来描述。语言GCL是直观和简单的,但它支持数组,流控制结构,用户定义的程序等。处理器的GCL语言应用GCLC和WIGCLC使可视化的描述对象和产生的数学插图,提供不同的语义信息和支持自动证明构造对象的属性。这些特点使工具GCLC和WIGCLC强大的机械化几何系统,他们有成千上万的用户在世界各地。