RegularNGons

MaRDI QIDQ38252swMATHFDO

Official website https://github.com/kovzol/RegularNGons

Source code repository https://github.com/kovzol/RegularNGons

Cited in

(1)

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

This page was built for software: RegularNGons