Author:
Domínguez César,Rubio Julio
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Lecture Notes in Artificial Intelligence;M. Andrés,2007
2. Aransay, J., Ballarin, C., Rubio, J.: A Mechanized Proof of the Basic Perturbation Lemma. J. Autom. Reason. 40(4), 271–292 (2008)
3. Aransay, J., Ballarin, C., Rubio, J.: Generating certified code from formal proofs: a case study in homological algebra. Form. Asp. Comput. 22, 193–213 (2010)
4. Lecture Notes in Computer Science;J. Aransay,2009
5. Bertot, Y., Castéran, P.: Interactive Theorem Proving and Program Development. In: Coq’Art: The Calculus of Inductive Constructions. Springer, Heidelberg (2004)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Modelling algebraic structures and morphisms in ACL2;Applicable Algebra in Engineering, Communication and Computing;2015-01-29
2. On the Role of Formalization in Computational Mathematics;Bulletin of the Belgian Mathematical Society - Simon Stevin;2013-08-01
3. Formalization of a normalization theorem in simplicial topology;Annals of Mathematics and Artificial Intelligence;2012-01