Verified Computer Algebra in ACL2 (Gröbner Bases Computation)

Medina Bulo, Inmaculada; Palomo Lozano, Francisco; Alonso Jiménez, José Antonio; Ruiz Reina, José Luis

doi:10.1007/978-3-540-30210-0_15

Ponencia

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

Ficheros	Tamaño	Formato	Ver	Descripción
Verified Computer Algebra in ...	257.2Kb	[PDF]	Ver/Abrir

Este registro aparece en las siguientes colecciones

Ponencias (Ciencias de la Computación e Inteligencia Artificial)

Mostrar el registro sencillo del ítem

Excepto si se señala otra cosa, la licencia del ítem se describe como: Attribution-NonCommercial-NoDerivatives 4.0 Internacional