Automated reasoning tools in GeoGebra discovery (Q5102014)
From MaRDI portal
scientific article; zbMATH DE number 7581915
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automated reasoning tools in GeoGebra discovery |
scientific article; zbMATH DE number 7581915 |
Statements
Automated reasoning tools in GeoGebra discovery (English)
0 references
6 September 2022
0 references
