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