Automated generation of readable proofs with geometric invariants. I: Multiple and shortest proof generation (Q5961492)
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. I: Multiple and shortest proof generation |
scientific article; zbMATH DE number 980900
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.8627279996871948
0 references
0.8200035691261292
0 references
0.8192242980003357
0 references
0.8183979988098145
0 references
0.814546525478363
0 references
