×

地理1.1

swMATH ID: 2842
软件作者: 王东明
描述: GEOTHER(GEOmetry THeorem provER)是Epsilon的一个模块,是由王东明在Maple中实现的一个环境,其绘图例程和接口以前用C编写,现在用Java编写,用于操作和证明几何定理。在GEOTHER中,定理是通过定理(H,C,X)形式的谓词来指定的,断言H意味着C,其中H和C是对应于几何假设和定理结论的谓词列表或集合,可选的X是用于内部计算的变量列表。规范中包含的信息可能是操作和证明定理所需的全部信息。根据规范,GEOTHER可以以某种最佳方式自动为每个点分配坐标;将定理的谓词表示翻译成英语或汉语语句、一阶逻辑公式或代数表达式;为定理绘制一个或多个图表-绘制的图表可以通过鼠标单击和拖动进行动画和修改,并保存为PostScript文件;用五个代数证明式中的任何一个证明定理;将生成的代数非退化条件转换为几何/谓词形式;生成一个HTML、LaTeX和/或PostScript文件,记录定理及其证明。
主页: http://www-salsa.lip6.fr/~王/吉奥/
编程语言: 枫树
操作系统: Windows、MacOS、Linux
依赖项: 枫树
关键词: 关键字
相关软件: GeoGebra公司;GEX公司;GeoThms公司;GCLC公司;GCL校准仪;地理证明;MMP/几何仪;灰姑娘;Intergeo公司;几何画板;Coq公司;日本国债交易所;地理视图;枫树;卢加雷斯;几何体表达式;符号数据;枣灰蝶属;数学软件;单一
引用于: 31文件

按年份列出的引文