José Santiago
Jorge Castro
Profesor Permanente Laboral
José Luis
Freire Nistal
Publicacións nas que colabora con José Luis Freire Nistal (4)
2009
-
Certifying properties of an efficient functional program for computing Gröbner bases
Journal of Symbolic Computation, Vol. 44, Núm. 5, pp. 571-582
2005
-
Towards a certified and efficient computing of gröbrier bases
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2001
-
Prove and then execute
EACA 2001 : 7 Encuentro de álgebra computacional y aplicaciones: del 12 al 14 de septiembre de 2001, Ezcaray, La Rioja
1997
-
From sequential to distributed formal proofs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)