Automated generation of readable proofs with geometric invariants. I: Multiple and shortest proof generation (Q5961492)
From MaRDI portal
scientific article; zbMATH DE number 980900
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automated generation of readable proofs with geometric invariants. I: Multiple and shortest proof generation |
scientific article; zbMATH DE number 980900 |
Statements
Automated generation of readable proofs with geometric invariants. I: Multiple and shortest proof generation (English)
0 references
1996
0 references
automated reasoning
0 references
automated geometry theorem proving
0 references
multiple proof
0 references
shortest proof
0 references
Ceva-Menelaus configurations
0 references
