Automated detection of interesting properties in regular polygons (Q1995811)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automated detection of interesting properties in regular polygons |
scientific article |
Statements
Automated detection of interesting properties in regular polygons (English)
0 references
25 February 2021
0 references
The author gives an automated way of a discovery of a large number of new geometry theorems on regular polygons.
0 references
automated theorem proving
0 references
computer algebra
0 references
regular polygons
0 references
elimination
0 references
minimal polynomials
0 references
approximations
0 references
\( \pi \)
0 references
webassembly
0 references
geogebra
0 references
0 references
0 references
