几何定理证明的前推法能够产生传统形式的可读证明,在定理机器证明领域占有重要的地位。
The forward reasoning for geometry theorem proving can produce the traditional readable proving, thus plays a special role in the mechanical theorem proving.
在几何定理机器证明方法中,常用的有几何代数方法、演绎数据库方法和例证法等方法。
Methods, including geometric algebraic method, deductive database method and paradigmatic prove method have been widely applied in the geometric theorem prove field.
定理机器证明的研究已有将近50年的历史,并已经在数理逻辑、初等代数和几何学等学科取得显著成功。
There has been a lot of success in the study of automated theorem proving during the past 50 years.
应用推荐