Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal

Details:

   
TitleVerified computer algebra in ACL2 (Gr\"obner bases computation).
Author(s) J.A. Alonso-Jimenez, Inmaculada Medina-Bulo, Francisco Palomo-Lozano, Ruiz-Reina
TypeBook, Chapter in Book, Conference Proceeding
ISBN3-540-23212-5/pbk
URL http://link.springer.com/book/10.1007%2Fb100361
LanguageEnglish
Pages171--184
PublisherBerlin: Springer
Year2004
Edition0
Translation No
Refereed No
Webmaster