探索者

自动几何不等式的发现和证明。给出了求解系统TSG的完整理论和有效算法。基于这些结果,作者实现了一个证明器EXPLORER,它可以自动发现许多几何不等式。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换


zbMATH中的参考文献,1标准件)

显示结果1/1。
按年份排序(引用)

  1. 自动证明(发现几何不等式)