共 50 条
- [41] A new approach for automatic theorem proving in real geometry[J]. JOURNAL OF AUTOMATED REASONING, 1998, 21 (03) : 357 - 380Dolzmann, ASturm, TWeispfenning, V
- [42] PLANE GEOMETRY THEOREM PROVING USING FORWARD CHAINING[J]. ARTIFICIAL INTELLIGENCE, 1975, 6 (01) : 1 - 23NEVINS, AJ
- [43] Portfolio theorem proving and prover runtime prediction for geometry[J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2019, 85 (2-4) : 119 - 146Nikolic, MladenMarinkovic, VesnaKovacs, ZoltanJanicic, Predrag
- [44] A New Approach for Automatic Theorem Proving in Real Geometry[J]. Journal of Automated Reasoning, 1998, 21 : 357 - 380Andreas DolzmannThomas SturmVolker Weispfenning
- [45] Portfolio theorem proving and prover runtime prediction for geometry[J]. Annals of Mathematics and Artificial Intelligence, 2019, 85 : 119 - 146Mladen NikolićVesna MarinkovićZoltán KovácsPredrag Janičić
- [46] Mechanical theorem proving in the surfaces using the characteristic set method and Wronskian determinant[J]. Science China Mathematics, 2008, (10) : 1763 - 1774FENG RuYong1 & YU JianPing2 1 Key Lab of Mathematics Mechanization
- [47] Mechanical theorem proving in the surfaces using the characteristic set method and Wronskian determinant[J]. Science in China Series A: Mathematics, 2008, 51 : 1763 - 1774RuYong FengJianPing Yu
- [48] Mechanical theorem proving in the surfaces using the characteristic set method and Wronskian determinant[J]. SCIENCE IN CHINA SERIES A-MATHEMATICS, 2008, 51 (10): : 1763 - 1774Feng RuYongYu JianPing
- [49] MECHANICAL THEOREM-PROVING BY MODEL ELIMINATION[J]. JOURNAL OF THE ACM, 1968, 15 (02) : 236 - &LOVELAND, DW
- [50] A case of automatic theorem proving in Euclidean geometry: The Maclane 8(3) theorem[J]. APPLIED ALGEBRA, ALGEBRAIC ALGORITHMS AND ERROR-CORRECTING CODES, 1995, 948 : 183 - 193Conti, PTraverso, C