[Contents]

Type --

library for type checking and mathematical properties

[Contents]


MuPAD Combinat, an open source algebraic combinatorics package