发布时间：2013-09-25 | 来源：
王定康，研究员
自动推理与符号计算
1993年获中科院系统科学研究所博士学位。研究领域包括：在几何定理自动证明中解决了所谓”金字塔问题“，被外国学者称为”北京定理“; 用参数Groebner系统，提出几何定理自动发现的一种新方法、几何命题在假设条件的部分分支成立的判定方法。在符号计算中，提出计算参数多项式系统全局Groebner系统/基的高效算法、参数Groebner系统等价性的判别方法、在可解多项式代数中基于签名的Groebner基算法及一种多项式矩阵的分解方法。曾任中国数学会计算机数学专业委员会秘书长。
【代表性论文】
[1] "Automated Reducible Geometric Theorem Proving and Discovery by Groebner Basis Method", Journal of Autotamed Reasoning, (2017) 59:331-344.
[2] "Computing Comprehensive Groebner Systems and Comprehensive Groebner Bases Simultaneously", Proceedings of ISSAC 2011, 193-200.
[3] "A New Algorithm for Computing Comprehensive Groebner Systems", Proceedings of ISSAC 2010, 29-36.
