Jónathan Heras

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
ACL2(ml): machine-learning for ACL2	2024-08-19	Paper
Monomial resolutions for efficient computation of simplicial homology Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation	2020-09-10	Paper
Proof mining with dependent types (available as arXiv preprint)	2017-07-21	Paper
scientific article; zbMATH DE number 6720737 (Why is no real title available?)	2017-05-18	Paper
Exploiting parallelism in coalgebraic logic programming (available as arXiv preprint)	2016-05-06	Paper
Computing persistent homology within Coq/SSReflect ACM Transactions on Computational Logic	2015-09-17	Paper
A certified reduction strategy for homological image processing ACM Transactions on Computational Logic	2015-09-17	Paper
Modelling algebraic structures and morphisms in ACL2 Applicable Algebra in Engineering, Communication and Computing	2015-06-22	Paper
Recycling proof patterns in Coq: case studies Mathematics in Computer Science	2014-11-26	Paper
Effective Homology of the Pushout of Simplicial Sets	2014-10-14	Paper
Proof-pattern recognition and lemma discovery in ACL2 Logic for Programming, Artificial Intelligence, and Reasoning	2014-01-17	Paper
ML4PG in computer algebra verification Lecture Notes in Computer Science	2013-08-09	Paper
Verifying an algorithm computing discrete vector fields for digital imaging Lecture Notes in Computer Science	2012-09-07	Paper
Towards a certified computation of homology groups for digital images Computational Topology in Image Context	2012-07-23	Paper
scientific article; zbMATH DE number 5976765 (Why is no real title available?)	2011-11-22	Paper
A system for computing and reasoning in algebraic topology Lecture Notes in Computer Science	2011-07-29	Paper
Incidence simplicial matrices formalized in Coq/SSReflect Lecture Notes in Computer Science	2011-07-29	Paper
Proving with ACL2 the correctness of simplicial sets in the Kenzo system Logic-Based Program Synthesis and Transformation	2011-05-27	Paper
fKenzo: a user interface for computations in algebraic topology Journal of Symbolic Computation	2011-04-05	Paper
Integrating Multiple Sources to Answer Questions in Algebraic Topology Lecture Notes in Computer Science	2010-08-24	Paper
Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems Lecture Notes in Computer Science	2009-07-09	Paper
Mediated Access to Symbolic Computation Systems Lecture Notes in Computer Science	2009-01-27	Paper

Research outcomes over time

This page was built for person: Jónathan Heras