S

SageMath

An interactive living book and software repository dedicated to reconstructing Archimedes' circle measurement ("Circvli Dimensio") using original geometric proportions. Leveraging SageMath for symbolic validation and Python/Perl for high-precision numerical computation via decimal/big-number libraries, this project bypasses modern algebraic transformations to prove the flawless accuracy of antike geometric frameworks.

Numerical implementations, mainly using SageMath, of formulas from Measures for the summation of Irwin series. For the gitlab front page see https://burnolmath.gitlab.io/irwin. See also the sibling Kempner repository for mpmath code implementing the formulas from Moments in the exact summation of the curious series of Kempner type.

Construction for any graph, a logical expression that describes the conditions under which the graph is 3-colourable using AWK

This repository contains additional data to the SageMath trac ticket #30352.