Certified symbolic manipulation: bivariate simplicial polynomials.

Laureano Lambn, Francisco-Jess Martn-Mateos, Julio Rubio, Jos-Luis Ruiz-Reina

Browse the full ISSAC paper archive.