#computational algebraic geometry #algorithms #gröbner bases #symbolic computation