Automated Deduction in Geometry (Q5902023)
From MaRDI portal
scientific article; zbMATH DE number 5561579
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automated Deduction in Geometry |
scientific article; zbMATH DE number 5561579 |
Statements
Automated Deduction in Geometry (English)
0 references
4 June 2009
0 references
geometry software
0 references
automated reasoning
0 references
geometric theorem proving
0 references
geometric theorem discovering
0 references
geometric diagram generation
0 references
intelligent dynamic geometry
0 references
\texttt{MMP/Geometer}
0 references
