Florian Stecker florian
  • Joined on 2022-06-12
Updated 2025-10-30 20:24:42 +00:00
Find the geodesic automaton for any Coxeter group
Updated 2023-01-04 22:41:12 +00:00