搜索结果: 1-2 共查到“数学 Geometry theorem proving”相关记录2条 . 查询时间(0.156 秒)
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...