地理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文件 标准条款 1出版物描述软件,包括1出版物在zbMATH中 年份 GEOTHER 1.1:自动处理和证明几何定理。 兹比尔1202.68390王东明 2004 全部的 前5名39位作者引用 11 王东明 7 陈晓宇 5 贾尼契奇,普雷德拉格 三 弗朗西斯科·博塔纳 三 Kovács,佐尔坦 三 佩德罗·夸雷斯马 2 洪,胡 2 梁铁林 2 尤金尼奥·罗内斯·洛扎诺 2 罗内斯·马西亚斯,尤金尼奥 2 丹·宋 1 米盖尔·安杰尔·阿巴纳德斯(Miguel Angel Abánades) 1 安文雅 1 詹姆斯·哈罗德·达文波特 1 杰恩·达维德·盖内沃 1 法杜阿·古拉比 1 汉斯·格特·格拉贝 1 韩,杰西·迈克尔 1 马库斯·霍恩瓦特 1 侯晓荣 1 艾达、铁雄 1 蒋磊 1 亚塞姆·卡塞姆 1 瑞安·克鲁格 1 李洪波 1 李丽云 1 韦斯纳·马林科维奇 1 朱利安·纳布克斯 1 姆拉丹·尼科利奇 1 伊万·彼得罗维奇 1 托马斯·雷西奥 1 帕斯卡·施雷克 1 丹尼尔·塞尔萨姆 1 菲利普·托德。 1 尼古拉斯·范·拉贝克 1 西蒙·魏茨霍弗 1 弗兰茨·温克勒 1 杨璐 1 赵婷 全部的 前5名9篇连载文章中引用 2 模拟中的数学和计算机 2 自动推理杂志 2 计算机科学中的数学 1 数学信使 1 符号计算杂志 1 计算几何 1 数学与人工智能年鉴 1 系统科学与复杂性杂志 1 计算机科学课堂讲稿 全部的 前5名在7个字段中引用 28 计算机科学(68至XX) 10 几何图形(51至XX) 2 数学教育(97-XX) 1 总体主题;集合(00-XX) 1 数学逻辑和基础(03-XX) 1 场论和多项式(12-XX) 1 数值分析(65-XX) 按年份列出的引文