High-performance tools for combinatorics and computational mathematics
