Pursuit of truth and beauty in Lean 4 : Formally verified theory of grammars, optimization, matroids
M. Dvorak, Pursuit of Truth and Beauty in Lean 4f: Formally Verified Theory of Grammars, Optimization, Matroids, Institute of Science and Technology Austria, 2026.

Overcoming degeneracy and singularity : Techniques for semidefinite programs and homotopy continuation endgames
J. Zapata, Overcoming Degeneracy and Singularityf: Techniques for Semidefinite Programs and Homotopy Continuation Endgames, Institute of Science and Technology Austria, 2026.

Complexity of constraint satisfaction
M. Rolinek, Complexity of Constraint Satisfaction, Institute of Science and Technology Austria, 2017.