Automated generation of illustrated proofs in geometry and beyond (Q6185789)
From MaRDI portal
scientific article; zbMATH DE number 7785121
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automated generation of illustrated proofs in geometry and beyond |
scientific article; zbMATH DE number 7785121 |
Statements
Automated generation of illustrated proofs in geometry and beyond (English)
0 references
8 January 2024
0 references
proofs illustration
0 references
synthetic geometry
0 references
automated deduction
0 references
diagrams
0 references
sketches
0 references
abstract term rewriting
0 references
0 references
0 references
0 references
0 references
