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 |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.8319711089134216
0 references
0.7933539748191833
0 references
0.786366879940033
0 references
0.7839934825897217
0 references
