×

GEX公司

swMATH ID: 9961
软件作者: Gao,X.-S.等。
描述: 几何专家(Geometry Expert,GEX)是一个用于绘制动态图和自动证明和发现几何定理的软件。作为一个动态几何软件,GEX可以用来建立动态可视化模型,以帮助各种数学概念的教学。作为一个自动推理软件,我们可以建立能够自己进行推理的动态逻辑模型。1) 几何专家(GEX)是一个强大的几何推理计算机程序。在其领域内,它邀请与最好的人类几何证明人进行比较。它实现了过去二十年中介绍的大多数有效的几何推理方法,包括演绎基方法、吴方法、面积方法、Groebner基方法、向量方法和全角度方法。通过这些方法,用户可以自动证明几何定理,发现定理的新部分,并为许多几何定理生成可读的证明。2) 我们所说的动态视觉模型是指由计算机软件建立的可以动态更改的模型。利用GEX,我们可以构建四类动态视觉模型:几何变换、轨迹生成、函数图和轨迹生成。
主页: http://www.mmrc.iss.ac.cn/gex网站/
相关软件: GeoGebra公司;日本国债交易所;GCLC公司;地理证明;GeoThms公司;灰姑娘;地理1.1;Coq公司;GCL校准仪;几何画板;MMP/几何仪;OpenGeoProver(OpenGeoProvider);卢加雷斯;数学软件;可可;地理视图;单一;gcl公司;ArgoCLP公司;TGTP公司
引用于: 34文件

按年份列出的引文