Toolboxes for parameter continuation and bifurcation analysis.
Python Calculator on Number Theory, three-birds-one learning material
A textbook on informal homotopy type theory
Statistical Rethinking course and book package
A Numerical System controlled by algorithms.
chinese remainder theorem - progressive solving, n-soln, extras