How to set a plex order in Maple with the number of variables to be determined by input?...

Deriving Heron's formula with Sympy using Groebner basis...

Using div() on multivariate polynomials in Sympy: incorrect remainder?...

Unexpected effect of smt.arith.nl.gb on reasoning with (syntactic) equality - bug?...

Measure and bound time spent in arithmetic sub-solvers...

Solving a system of cubic polynomials (to find intersection of Bezier curves)...