RegularNGons

swMATH26521MaRDI QIDQ38252FDOQ38252

Author name not available (Why is that?)

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