01:07:11
publiée le 23 décembre 2025
Organising large proofs: techniques, tools, and future
De Georges Gonthier
Apparaît dans la collection : Mathematics on the Crossroad of Centuries - A Conference in Honor of Maxim Kontsevich's 60th Birthday
There is a new family of homological mirror pairs, for which homological mirror symmetry can be understood as explicitly as in the simplest known examples. They categorify braid group representation coming from quantum groups. One application is to categorification of quantum link invariants.