Certified Polynomial Computation

Description
Group members
Senior PostDoc researcher