Automated generation of readable proofs with geometric invariants. II: Theorem proving with full-angles (Q5961493)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Automated generation of readable proofs with geometric invariants. II: Theorem proving with full-angles |
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
