Home
|
Quick Search
|
Advanced Search
|
Bibliography submission
|
Bibliography submission using bibtex
|
Bibliography submission using bibtex file
|
Links
|
Help
|
Internal
Details:
Title
Verified computer algebra in ACL2 (Gr\"obner bases computation).
Author(s)
J.A. Alonso-Jimenez
,
Inmaculada Medina-Bulo
,
Francisco Palomo-Lozano
,
Ruiz-Reina
Type
Book, Chapter in Book, Conference Proceeding
ISBN
3-540-23212-5/pbk
URL
http://link.springer.com/book/10.1007%2Fb100361
Language
English
Pages
171--184
Publisher
Berlin: Springer
Year
2004
Edition
0
Translation
No
Refereed
No
Webmaster