YoVDO

Gauss Realisability Conditions - From Error Correction to Formalization

Offered By: Hausdorff Center for Mathematics via YouTube

Tags

Knot Theory Courses Mathematical logic Courses Topology Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
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.

Syllabus

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


Taught by

Hausdorff Center for Mathematics

Related Courses

From Hyperbolic Geometry to Data Clustering
Open Data Science via YouTube
Knots and Surfaces I - Algebraic Topology - NJ Wildberger
Insights into Mathematics via YouTube
Primes and Knots - Akshay Venkatesh
Institute for Advanced Study via YouTube
Knotty Problems - Marc Lackenby
University of Oxford via YouTube
Khovanov Homology and Surfaces in Four-Manifolds
Joint Mathematics Meetings via YouTube