A certified algorithm for translating formulas into polynomials. An ACL2 approach

TitleA certified algorithm for translating formulas into polynomials. An ACL2 approach
Publication TypeConference Proceedings
Year of Conference2001
AuthorsMedina-Bulo, I, Palomo-Lozano, F, Alonso-Jiménez, JA
Conference NameInternational Joint Conference on Automated Reasoning (CADE + FTP + TABLEAUX) , Siena (Italy)