GitHub repository: kantp/ice
Primary language: Haskell
Description: ice -- the Ibp ChoosEr  Given a number of integration-by-parts identities, this program will filter a maximal linearly independent subset.