构造语句相关论文
为实现构造性几何定理机器证明的数值并行法,作者提供了一个证明机,它适用于由所谓"直线程序"构造的语句.......
如何根据用户输入的已知条件生成几何图形是几何定理机器可读证明过程中首先要解决的问题。针对几何定理机器证明过程中图形的生成......
