Finding and proving new geometry theorems in regular polygons with dynamic geometry and automated reasoning tools

DOI10.1007/978-3-319-96812-4_15zbMath1417.68188OpenAlexW2883100729MaRDI QIDQ1798965

Zoltán Kovács

Publication date: 18 October 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-96812-4_15

zbMATH Keywords

Chebyshev polynomialscomputer algebraautomated theorem provingGeoGebraregular polygonsregular 11-gon

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Polynomials in number theory (11C08)

Related Items (1)

Automated detection of interesting properties in regular polygons

Uses Software

• GeoGebra
• RegularNGons

This page was built for publication: Finding and proving new geometry theorems in regular polygons with dynamic geometry and automated reasoning tools