The entries in this category are:

• Sheafhom

  Sheafhom is a package for large-scale mathematical computations. Its front end is a language for problems in algebraic topology and number theory. These problems come down to large sparse systems of linear equations over integral domains, especially the integers. Sheafhom's back end solves the sparse systems.