Matemáticas y Computación
Fachbereich
Chalmers University of Technology
Gotemburgo, SueciaPublikationen in Zusammenarbeit mit Forschern von 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