Verified computer algebra in ACL2 (Grobner bases computation)

TitleVerified computer algebra in ACL2 (Grobner bases computation)
Publication TypeJournal Article
Year of Publication2004
AuthorsMedina-Bulo, I, Palomo-Lozano, F, Alonso-Jiménez, J-A, Ruiz-Reina, J-L
JournalLecture Notes in Computer Science
Volume3249
Start Page171
Pagination184