Verified Computer Algebra in Acl2. Grbner Bases Computation.

Inmaculada Medina-Bulo, Francisco Palomo-Lozano, Jos A. Alonso-Jimnez, Jos-Luis Ruiz-Reina

Browse the full AISC paper archive.