MPEI Algebraic Abstractions Library