×

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文件

按年份列出的引文