Marelle Project, INRIA Sophia Antipolis;
Marelle Project, INRIA Sophia Antipolis;
Marelle Project, INRIA Sophia Antipolis;
decision procedure; nullstellensatz; geometry theorem proving; proof assistant;
机译:自动定理证明多重半精算的新代数工具:一种提高时间逻辑证明者效率的结构
机译:由文本和图表自动证明平面几何定理
机译:自动证明文本和图表中规定的平面几何定理
机译:在动态几何环境中自动验证和自动发现基本几何定理
机译:不同证明策略对学习几何定理证明的影响。
机译:自动合成流式细胞仪数据可视化的定理证明方法
机译:代数证明证书及其在自动几何定理证明中的应用
机译:用数字计算机证明平面几何中的定理