solve algebraic, geometric, combinatorial problems
4ti2 is a software package for algebraic, geometric and combinatorial problems on linear spaces. It computes Graver basis, Groebner basis, in case of a linear , matrix or more general lattice program and a lot more programs in linear spaces.
Homepage: https://4ti2.github.io/