✦ LIBER ✦

Proving geometry theorems with rewrite rules

✍ Scribed by Shang-Ching Chou; William F. Schelter

Publisher: Springer Netherlands
Year: 1986
Tongue: English
Weight: 1016 KB
Volume: 2
Category: Article
ISSN: 0168-7433
DOI: 10.1007/bf02328448

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Ordering in mechanical geometry theorem

Ordering in mechanical geometry theorem proving

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

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

Term-rewriting systems with rule priorit

Term-rewriting systems with rule priorities

✍ J.C.M. Baeten; J.A. Bergstra; J.W. Klop; W.P. Weijland 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 463 KB

Interactive Theorem Proving with Tempora

Interactive Theorem Proving with Temporal Logic

✍ Amy Felty; Laurent Théry 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 721 KB

In this paper, we present a theorem prover for linear temporal logic. Our goal is to extend the capabilities of existing interactive and automatic systems for verifying temporal properties of software and hardware systems. We focus on increasing the effectiveness of user interaction in such systems.