Some mathematical software that I use in my work
- AlVin: a realisation of Vinberg’s algorithm for finding the group of units of a Lorentzian quadratic form (for diagonal forms over certain number fields)
- CoxIter: a program to compute invariants of hyperbolic Coxeter groups
- SnapPy and Orb: computing geometric structures on manifolds and orbifolds
- Plantri, Fulgen and Nauty: graph generation and finding graph automorphism groups
- Polymake: a tool to study the combinatorics and geometry of convex polytopes
- A SAGE worksheet to compute growth functions of Coxeter groups