Towards the Automatic Discovery of Theorems in GeoGebra (Q2819196)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Towards the Automatic Discovery of Theorems in GeoGebra |
scientific article |
Statements
Towards the Automatic Discovery of Theorems in GeoGebra (English)
0 references
28 September 2016
0 references
automatic discovery
0 references
dynamic geometry
0 references
GeoGebra
0 references
computational algebraic geometry
0 references
