01:07:11
published on December 23, 2025
Organising large proofs: techniques, tools, and future
By Georges Gonthier
58:49
published on December 17, 2025
Traversing regions of supersolvable hyperplane arrangements and their lattice quotients
By Torsten Mütze
01:00:58
published on December 17, 2025
Extending the ab-index for braid and reflection arrangements
By Christian Stump