Author:
Lambán Laureano,Martín–Mateos Francisco-Jesús,Rubio Julio,Ruiz–Reina José-Luis
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Artificial Intelligence
Reference24 articles.
1. Andrés, M., Lambán, L., Rubio, J., Ruiz-Reina, J.L.: Formalizing simplicial topology in ACL2. In: Proceedings ACL2 Workshop 2007, pp. 34–39. University of Austin (2007)
2. Aransay, C., Ballarin, C., Rubio, J.: A mechanized proof of the basic perturbation lemma. J. Autom. Reason. 40(4), 271–292 (2008)
3. Aransay, C., Ballarin, C., Rubio, J.: Generating certified code from formal proofs: a case study in homological algebra. Form. Asp. Comput. 22(2), 193–213 (2010)
4. Coquand, T., Spiwack, A.: Towards constructive homological algebra in type theory. In: Calculemus 2007, Lecture Notes in Artificial Intelligence, vol. 4573, pp. 40–54. Springer (2007)
5. De Loera, J.A., Rambau, J., Santos, F.: Triangulations. Structures for Algorithms and Applications. Springer (2010)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献