Parameterized Type Definitions in Mathematica: Methods and Advantages

Alina Andreica

The theme of symbolic computation in algebraic categories has become of utmost importance in the last decade since it enables the automatic modeling of modern algebra theories. On…