2025-11-06 Computer Assisted Mathematics: A Case Study in Discrete Geometry