A certified algorithm for translating formulas into polynomials. An ACL2 approach
| Title | A certified algorithm for translating formulas into polynomials. An ACL2 approach |
| Publication Type | Conference Proceedings |
| Year of Conference | 2001 |
| Authors | Medina-Bulo, I, Palomo-Lozano, F, Alonso-Jiménez, JA |
| Conference Name | International Joint Conference on Automated Reasoning (CADE + FTP + TABLEAUX) , Siena (Italy) |