PROYECTOS I+D
Proiektua MTM2006-06513 RESYCOSYS
Sistemas de cálculo simbólico: nuevos desarrollos en topología algebráica y fiabilidad
Nazioarteko-arlokoak.
Ikertzaileak
(12) proiektuarekin lotutako argitalpenak
Erakutsi tipologiaren arabera2009
-
Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems
Lectures Notes in Computer Science: Intelligent Computer Mathematics16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings
-
Modelling differential structures in proof assistants: The graded case
Lecture Notes in Computer Science
2008
-
Intelligent Computer Mathematics: 9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International Conference, MKM 2008 Birmingham, UK, July 28 - August 1, 2008, Proceedings
Springer
-
A mechanized proof of the Basic Perturbation Lemma
Journal of Automated Reasoning
-
Mechanized Reasoning in Homological Algebra
AI Communications
-
Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems
Lecture Notes in Computer Science
-
Mediated access to Symbolic Computation Systems
Lecture Notes in Computer Science
2007
-
Formal Modelling of a Coordination System: from Practice to Theory, and back again
Lecture Notes in Computer Science, 2007, Volume 4457
-
Object Oriented Institutions to Specify Symbolic Computation System
RAIRO - Informatique Théorique et Applications
-
Executing in Common Lisp, Proving in ACL2.
Lecture Notes in Computer Science
-
Formal Reasoning on a Web Coordination System
Lecture Notes in Computational Science and Engineering
2006
-
Modeling Inheritance as coercion in the Kenzo System.
Journal of Universal Computer Science