MMP/几何仪 swMATH ID: 584 软件作者: 高小山;林强(Lin,Qiang) 描述: MMP/Geometer–用于自动几何推理的软件包。我们介绍了一个由我们开发的软件包MMP/Geometer,用于自动化一些基本的几何活动,包括几何定理证明、几何定理发现和几何图生成。作为一个定理证明器,MMP/Geometer实现了吴的欧几里德几何和微分几何方法、面积法和几何演绎数据库法。利用这些方法,我们不仅可以证明困难的几何定理,还可以发现新的定理,并生成简短易读的证明。作为一种几何图形编辑器,MMP/Geometer是一种智能的动态几何软件工具,它结合了动态几何的思想和自动图形生成的方法,可以方便、交互式地输入和操作几何图形 主页: http://rd.springer.com/chapter/10.1007%2F978-3-540-24616-9_4#第1页 关键词: 几何软件;自动推理;几何定理证明;几何定理发现;几何图生成;智能动态几何;{\tMMP/几何仪} 相关软件: GEX公司;GCLC公司;GeoGebra公司;地理视图;GeoThms公司;地理1.1;地理证明;灰姑娘;Coq公司;GCL校准仪;几何画板;日本国债交易所;Pcoq公司;gcl公司;枣灰蝶属;TPTP公司;CHYPRE公司;几何(Geometrix);Giac公司;单一 引用于: 15文件 标准条款 1出版物描述软件,包括1出版物在zbMATH中 年份 MMP/Geometer–用于自动几何推理的软件包。 Zbl 1202.68378号高小山;林强(Lin,Qiang) 2004 全部的 前5名被25位作者引用 5 贾尼契奇,普雷德拉格 三 高晓山 三 朱利安·纳布克斯 三 佩德罗·夸雷斯马 2 弗朗西斯科·博塔纳 2 Kovács,佐尔坦 2 林强(Lin,Qiang) 1 伊夫·贝托特 1 周尚卿 1 高新燕 1 杰恩·达维德·盖内沃 1 韩,杰西·迈克尔 1 马库斯·霍恩瓦特 1 瑞安·克鲁格 1 李大奎 1 伊万·彼得罗维奇 1 范、团明 1 托马斯·雷西奥 1 帕斯卡·施雷克 1 丹尼尔·塞尔萨姆 1 西蒙·魏茨霍弗 1 吴金钊 1 叶,郑 1 张桂芳 1 周宁 引用于4个系列 4 自动推理杂志 2 数学与人工智能年鉴 1 CAD。计算机辅助设计 1 应用数学杂志 全部的 前5名在6个字段中引用 13 计算机科学(68至XX) 5 几何图形(51至XX) 2 数学逻辑和基础(03-XX) 1 数值分析(65-XX) 1 信息与通信理论、电路(94-XX) 1 数学教育(97-XX) 按年份列出的引文