✦ LIBER ✦

Ordering in mechanical geometry theorem proving

✍ Scribed by Hongbo Li

Publisher: SP Science China Press
Year: 1997
Tongue: English
Weight: 534 KB
Volume: 40
Category: Article
ISSN: 1674-7283
DOI: 10.1007/bf02874514

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Mechanical theorem proving in differenti

Mechanical theorem proving in differential geometry

✍ Hongbo Li 📂 Article 📅 1997 🏛 SP Science China Press 🌐 English ⚖ 292 KB

Mechanical geometry theorem proving base

Mechanical geometry theorem proving based on groebner bases

✍ Jinzhao Wu 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 394 KB

Transcendental functions and mechanical

Transcendental functions and mechanical theorem proving in elementary geometries

✍ Xiaoshan Gao 📂 Article 📅 1990 🏛 Springer Netherlands 🌐 English ⚖ 635 KB

Mechanical theorem proving of differenti

Mechanical theorem proving of differential geometries and some of its applications in mechanics

✍ Wu Wen-Tsun 📂 Article 📅 1991 🏛 Springer Netherlands 🌐 English ⚖ 954 KB

Proving geometry theorems with rewrite r

Proving geometry theorems with rewrite rules

✍ Shang-Ching Chou; William F. Schelter 📂 Article 📅 1986 🏛 Springer Netherlands 🌐 English ⚖ 1016 KB

Preface to First order theorem proving

✍ Peter Baumgartner; Hantao Zhang 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 23 KB

First-order theorem proving (FTP) is among the most traditional disciplines in Artificial Intelligence. Its roots date back to the 1960s, which brought us milestones like the Davis-Putnam-Logemann-Loveland procedure for propositional logic and the resolution calculus for the first order logic. Since