Bases de Grobner desarrollo formal en Coq

Aquesta tesi apareix a les col·leccions següents