Jónathan Heras

Available identifiers

zbMath Open heras.jonathanMaRDI QIDQ280197

List of research outcomes

Publication	Date of Publication	Type
ACL2(ml): machine-learning for ACL2	2024-08-19	Paper
Monomial Resolutions for Efficient Computation of Simplicial Homology	2020-09-10	Paper
Proof mining with dependent types	2017-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q2988093	2017-05-18	Paper
Exploiting parallelism in coalgebraic logic programming	2016-05-06	Paper
Computing persistent homology within Coq/SSReflect	2015-09-17	Paper
A Certified Reduction Strategy for Homological Image Processing	2015-09-17	Paper
Modelling algebraic structures and morphisms in ACL2	2015-06-22	Paper
Recycling proof patterns in Coq: case studies	2014-11-26	Paper
Effective Homology of the Pushout of Simplicial Sets	2014-10-14	Paper
Proof-Pattern Recognition and Lemma Discovery in ACL2	2014-01-17	Paper
ML4PG in Computer Algebra Verification	2013-08-09	Paper
Verifying an Algorithm Computing Discrete Vector Fields for Digital Imaging	2012-09-07	Paper
Towards a Certified Computation of Homology Groups for Digital Images	2012-07-23	Paper
https://portal.mardi4nfdi.de/entity/Q3101174	2011-11-22	Paper
A system for computing and reasoning in algebraic topology	2011-07-29	Paper
Incidence simplicial matrices formalized in Coq/SSReflect	2011-07-29	Paper
Proving with ACL2 the correctness of simplicial sets in the Kenzo system	2011-05-27	Paper
fKenzo: a user interface for computations in algebraic topology	2011-04-05	Paper
Integrating Multiple Sources to Answer Questions in Algebraic Topology	2010-08-24	Paper
Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems	2009-07-09	Paper
Mediated Access to Symbolic Computation Systems	2009-01-27	Paper

Research outcomes over time

This page was built for person: Jónathan Heras