PROYECTOS I+D
Projet MTM2006-06513 RESYCOSYS
Sistemas de cálculo simbólico: nuevos desarrollos en topología algebráica y fiabilidad
Sphère National.
Chercheurs
Publications liées au projet
Montrer par annualitéChapitre d'ouvrage
-
Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems
2009
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
-
Formal Modelling of a Coordination System: from Practice to Theory, and back again
2007
Lecture Notes in Computer Science, 2007, Volume 4457
Article
-
Modelling differential structures in proof assistants: The graded case
2009
Lecture Notes in Computer Science
-
A mechanized proof of the Basic Perturbation Lemma
2008
Journal of Automated Reasoning
-
Mechanized Reasoning in Homological Algebra
2008
AI Communications
-
Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems
2008
Lecture Notes in Computer Science
-
Mediated access to Symbolic Computation Systems
2008
Lecture Notes in Computer Science
-
Object Oriented Institutions to Specify Symbolic Computation System
2007
RAIRO - Informatique Théorique et Applications
-
Executing in Common Lisp, Proving in ACL2.
2007
Lecture Notes in Computer Science
-
Formal Reasoning on a Web Coordination System
2007
Lecture Notes in Computational Science and Engineering
-
Modeling Inheritance as coercion in the Kenzo System.
2006
Journal of Universal Computer Science