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