在固定尺规模型下研究最少作图步数:提供正十七边形 17E 与正257边形 69E 构造的精确证书、SageMath 验证、搜索记录和 Manim 动画。
reproducible-research computational-geometry sagemath computer-assisted-proof euclidean-geometry manim mathematical-optimization exact-arithmetic straightedge-and-compass regular-polygons geometric-construction heptadecagon
-
Updated
Sep 11, 2026 - Python