Automated generation of readable proofs with geometric invariants. II: Theorem proving with full-angles (Q5961493)
From MaRDI portal
scientific article; zbMATH DE number 980901
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automated generation of readable proofs with geometric invariants. II: Theorem proving with full-angles |
scientific article; zbMATH DE number 980901 |
Statements
Automated generation of readable proofs with geometric invariants. II: Theorem proving with full-angles (English)
0 references
20 February 1997
0 references
automated geometry theorem proving
0 references
forward chaining
0 references
backward chaining
0 references
full-angle method
0 references
0 references
