Automated generation of geometry proof problems based on point geometry identity (Q6552506)
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 geometry proof problems based on point geometry identity |
scientific article; zbMATH DE number 7862270
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automated generation of geometry proof problems based on point geometry identity |
scientific article; zbMATH DE number 7862270 |
Statements
Automated generation of geometry proof problems based on point geometry identity (English)
0 references
10 June 2024
0 references
automated generation of problems
0 references
geometry proof problem
0 references
point geometry
0 references
point geometry identity
0 references
automated discovery of geometric theorems
0 references
0 references
0 references
