搜索结果: 1-3 共查到“理学 Geometry theorem proving”相关记录3条 . 查询时间(0.093 秒)
A method for mechanical geometry theorem proving is presented. By using this method, if the ascending chains derived via Wu-Ritt's well ordering algorithm satisfy a condition, all the irreducible char...
A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering
deductive database automated geometry theorem proving and discovering search strategies redundant deduction Skolemization structured database
2013/9/9
We report our effort to build a geometry deductive database, which can be used to find thefixpointfor a geometric configuration. The system can find all the properties of the configuration that can be...
A Class of Geometry Statements of Constructive Type and Geometry Theorem Proving
Geometry theorem proving Wu’s method non-degenerate condition generally true constructive geometry statement Euclidean geometry metric geometry algebraically closed field
2013/9/9
This paper presents a method to generate non-degenerate conditions in geometric form for a class of geometry statements of constructive type,called Class C. We prove a mathematical theorem that in the...
