Matemáticas y Computación
Department
Chalmers University of Technology
Gotemburgo, SueciaPublications in collaboration with researchers from Chalmers University of Technology (2)
2013
-
Computing persistent homology within coq/ssreflect
ACM Transactions on Computational Logic, Vol. 14, Núm. 4
-
Proof-pattern recognition and lemma discovery in ACL2
Lecture Notes in Computer Science, Vol. 8312 LNCS, pp. 389-406