Gauss Realisability Conditions - From Error Correction to Formalization

Explore the fascinating world of Gauss Realisability conditions in this 45-minute lecture by Alexei Lisitsa at the Hausdorff Center for Mathematics. Delve into the journey from error correction to formalization, gaining insights into this complex mathematical concept. Discover how Gauss Realisability conditions are applied in various fields, including coding theory and formal verification. Learn about the latest research and developments in this area, referencing recent publications in arXiv and the Journal of Knot Theory and Its Ramifications. Gain a deeper understanding of the mathematical principles underlying these conditions and their practical applications in modern technology and theoretical mathematics.

Alexei Lisitsa: "Gauss Realisability conditions: from error correction to formalization"