Repositorio de producción científica de la Universidad de Sevilla

Certified Symbolic Manipulation: Bivariate Simplicial Polynomials

 

Advanced Search
 
Opened Access Certified Symbolic Manipulation: Bivariate Simplicial Polynomials
Cites

Show item statistics
Icon
Export to
Author: Lambán Pardo, Laureano
Martín Mateos, Francisco Jesús
Rubio, Julio
Ruiz Reina, José Luis
Department: Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial
Date: 2013
Published in: ISAAC'13: 38th International Symposium on Symbolic and Algebraic Computation (2013), p 243-250
ISBN/ISSN: 978-1-4503-2059-7
Document type: Presentation
Abstract: Certified symbolic manipulation is an emerging new field where programs are accompanied by certificates that, suitably interpreted, ensure the correctness of the algorithms. In this paper, we focus on algebraic algorithms implemented in the proof...
[See more]
Cite: Lambán Pardo, L., Martín Mateos, F.J., Rubio, J. y Ruiz Reina, J.L. (2013). Certified Symbolic Manipulation: Bivariate Simplicial Polynomials. En ISAAC'13: 38th International Symposium on Symbolic and Algebraic Computation (243-250), Boston, Maine, USA: ACM.
Size: 484.5Kb
Format: PDF

URI: https://hdl.handle.net/11441/86250

DOI: 10.1145/2465506.2465515

See editor´s version

This work is under a Creative Commons License: 
Attribution-NonCommercial-NoDerivatives 4.0 Internacional

This item appears in the following Collection(s)