[Contents]
Type
library for type checking and mathematical properties
MuPAD Combinat, an open source algebraic combinatorics package