MMP/几何计

MMP/Geometer–用于自动几何推理的软件包。我们介绍了一个由我们开发的软件包MMP/Geometer,它可以自动完成一些基本的几何活动,包括几何定理证明、几何定理发现和几何图形生成。作为一个定理证明器,MMP/Geometer实现了吴的欧几里德几何和微分几何、面积法和几何演绎数据库法。利用这些方法,我们不仅可以证明困难的几何定理,而且还可以发现新的定理并生成简短易读的证明。MMP/Geometer作为一种几何图形编辑器,结合动态几何的思想和自动生成图形的方法,可以方便、交互式地输入和操作几何图形


参考文献中的数学14条,1标准件)

显示第1至14个结果,共14个。
按年份排序(引用)

  1. 克鲁格,瑞安;韩,杰西·迈克尔;塞尔萨姆,丹尼尔:为奥林匹亚几何问题自动建立图表(2021)
  2. 博塔纳,旧金山;霍亨瓦特,马库斯;贾尼契奇,普雷特拉格;科瓦茨,佐坦;彼得罗维奇,伊万;累西奥,汤玛斯;西蒙•韦茨霍夫:《GeoGebra中的自动定理证明:当前成就》(2015)
  3. 博塔纳,旧金山;Kovács,Zoltán:用于几何计算的单一web服务(2015)
  4. 高新燕;周宁;吴金钊;Li,Dakui:Wu's characteristic set method for SystemVerilog断言验证(2013)
  5. 范,团明;贝托特,伊夫:动态几何软件与交互式形式证明助手的结合(2012)
  6. 吉涅瓦,让大卫;纳布克斯,朱利安;Schreck,Pascal:吴的简单方法在Coq中的形式化(2011)
  7. 夸雷斯马,佩德罗:几何定理证明者的数千个几何问题(TGTP)(2011)
  8. Janičić,Predrag:几何结构语言(2010)
  9. 叶,郑;周尚卿;高小山:平面几何证明的视觉动态呈现。一: 基本特性和手动输入法(2010)
  10. 贾尼契奇,普雷特拉格;Quaresma,Pedro:动态几何系统中规则结构的自动验证(2007)
  11. Narboux,Julien:几何中形式证明的图形用户界面(2007)
  12. 夸雷斯马,佩德罗;Janičić,Predrag:GeoThms——欧几里德构造几何的网络系统(2007)
  13. 高小山;林强;张桂芳:二维和三维几何约束求解的C树分解算法(2006)
  14. 高小山;林强:MMP/Geometer——自动几何推理软件包(2004)