地质公园

将莫尔利定理和其它定理推广到自动实现中。一种新的方法表明,机械地证明平面几何中的各种定理,在约束满足条件下重铸它们。Python 3的实现被称为GEOPAR,它提供了著名定理和新定理的透明证明,包括莫尔利定理的推广。

本软件关键词

这里的任何东西都将在支持画布元素的浏览器上被替换。


ZBMaCT中的参考文献(1篇文章中提到)

显示1的结果1。
按年份排序(引文

  1. 布劳德,埃里克;Abdyldayev,SATBEK:莫尔利定理及其他定理的自动实现(2018)