gcl公司

几何结构语言(gcl)是一种用于明确描述欧几里德平面上的结构及其性质的语言。其他数学对象也可以用语言来描述。gcl语言直观、简单,但它支持数组、流控制结构、用户定义的过程等。gcl语言应用程序gclc和Wingclc的处理器可以可视化描述的对象和生成数学插图,提供不同的语义信息并支持自动证明构造对象的属性。这些特性使工具gclc和Wingclc强大的机械化几何系统,它们在全球拥有数千名用户。