Automated detection of interesting properties in regular polygons (Q1995811)
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: Automated detection of interesting properties in regular polygons |
scientific article; zbMATH DE number 7315542
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automated detection of interesting properties in regular polygons |
scientific article; zbMATH DE number 7315542 |
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
