dc.creator | Medina Bulo, Inmaculada | es |
dc.creator | Palomo Lozano, Francisco | es |
dc.creator | Alonso Jiménez, José Antonio | es |
dc.creator | Ruiz Reina, José Luis | es |
dc.date.accessioned | 2019-05-17T07:48:24Z | |
dc.date.available | 2019-05-17T07:48:24Z | |
dc.date.issued | 2004 | |
dc.identifier.citation | Medina Bulo, I., Palomo Lozano, F., Alonso Jiménez, J.A. y Ruiz Reina, J.L. (2004). Verified Computer Algebra in ACL2 (Gröbner Bases Computation). En AISC 2004: 7th International Conference on Artificial Intelligence and Symbolic Computation (171-184), Linz, Austria: Springer. | |
dc.identifier.isbn | 978-3-540-23212-4 | es |
dc.identifier.issn | 0302-9743 | es |
dc.identifier.uri | https://hdl.handle.net/11441/86466 | |
dc.description.abstract | In this paper, we present the formal verification of a Common
Lisp implementation of Buchberger’s algorithm for computing
Gröbner bases of polynomial ideals. This work is carried out in the Acl2
system and shows how verified Computer Algebra can be achieved in an
executable logic. | es |
dc.format | application/pdf | es |
dc.language.iso | eng | es |
dc.publisher | Springer | es |
dc.relation.ispartof | AISC 2004: 7th International Conference on Artificial Intelligence and Symbolic Computation (2004), p 171-184 | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.title | Verified Computer Algebra in ACL2 (Gröbner Bases Computation) | es |
dc.type | info:eu-repo/semantics/conferenceObject | es |
dcterms.identifier | https://ror.org/03yxnpp24 | |
dc.type.version | info:eu-repo/semantics/submittedVersion | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | es |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial | es |
dc.relation.publisherversion | https://link.springer.com/chapter/10.1007/978-3-540-30210-0_15 | es |
dc.identifier.doi | 10.1007/978-3-540-30210-0_15 | es |
dc.contributor.group | Universidad de Sevilla. TIC137: Lógica, Computación e Ingeniería del Conocimiento | es |
idus.format.extent | 14 | es |
dc.publication.initialPage | 171 | es |
dc.publication.endPage | 184 | es |
dc.eventtitle | AISC 2004: 7th International Conference on Artificial Intelligence and Symbolic Computation | es |
dc.eventinstitution | Linz, Austria | es |
dc.relation.publicationplace | Berlin | es |
dc.identifier.sisius | 6522406 | es |