质点法相关论文
几何定理机器证明已经成为自动推理领域内的一个研究热点,它具有十分重要的理论意义与实践应用价值。自“吴法”发表以来,研究者又......
几何定理的机器证明是自动推理领域的热门课题之一,尤其是近些年来,研究者在研究几何定理机器证明方面取得了丰硕的成果。吴文俊先......
爆炸和火山喷发的动画场景包含复杂的涡流,其间伴随着空间气压和温度的变化。为了模拟这种非均匀流体的湍流动态形态,提出了一个简......
优化并发展了质点法机器证明算法的核心程序,用Mathematica创建了新的几何定理证明器。拓展了机器证明的研究范畴,首次实现了近世......
基于Lagrange思想提出一种界面质点受力法模型用于描述气液界面的动态演化过程,该模型将气液界面离散成一系列的质点,对各质点建立......
可持续发展的几何自动推理平台（sustainable geometry automated reasoning platform,SGARP）支持用户按需添加或修改几何定理机器证......
