GeoThms -- a web system for Euclidean constructive geometry (Q2867934)
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: GeoThms -- a web system for Euclidean constructive geometry |
scientific article; zbMATH DE number 6241757
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | GeoThms -- a web system for Euclidean constructive geometry |
scientific article; zbMATH DE number 6241757 |
Statements
20 December 2013
0 references
web interfaces for proof systems
0 references
automated geometry theorem proving
0 references
dynamic geometry software
0 references
0 references
GeoThms -- a web system for Euclidean constructive geometry (English)
0 references