可读证明相关论文
近30年来，随着人工智能领域中定理机器证明之可读证明方法的突破，基于可读证明技术的计算机辅助教学工具的研制已经成为CAI领域的主......
几何定理机器证明的研究在最近20年来取得了一系列令人瞩目的成果,特别是计算机自动推理可读证明的突破,使几何定理机器证明的研究......
在目前的平面几何教学软件中,没有实现对表达式的推理.本文提出一种表达式推理的方法,是向这个方向的一个尝试,能对一般的结论为齐......
可读证明是不等式机器证明领域中的热点问题.针对具有对称零点的实轮换对称型,文章提出了其线性空间的一组基以及分拆算法和两种分......
