江苏大学学报（自然科学版）2002，Vol.23Issue(1)：44-48,5.
基于多项式组主项解耦消元法的几何定理机器证明
Mechanical Geometry Theorem Proving Based on the Elimination Method with Decoupling of Leading Terms for Polynomial Set
摘要
关键词
消元法/多项式组/几何定理/机器证明分类
数理科学引用本文复制引用
杨廷力..基于多项式组主项解耦消元法的几何定理机器证明[J].江苏大学学报（自然科学版）,2002,23(1):44-48,5.基金项目
国家自然科学基金资助项目(59875084) （59875084）
