Francisco Jesús Martín-Mateos

Available identifiers

zbMath Open martin-mateos.francisco-jesusMaRDI QIDQ438547

List of research outcomes

Publication	Date of Publication	Type
Using abstract stobjs in ACL2 to compute matrix normal forms	2018-01-04	Paper
Certified symbolic manipulation	2017-02-10	Paper
Formally verified tableau-based reasoners for a description logic	2015-06-23	Paper
Modelling algebraic structures and morphisms in ACL2	2015-06-22	Paper
Verifying the bridge between simplicial topology and algebra: the Eilenberg-Zilber algorithm	2015-02-12	Paper
Formalization of a normalization theorem in simplicial topology	2012-12-28	Paper
Proof pearl: a formal proof of Higman's lemma in ACL2	2012-07-31	Paper
Applying ACL2 to the Formalization of Algebraic Topology: Simplicial Polynomials	2011-08-17	Paper
Verification in ACL2 of a Generic Framework to Synthesize SAT-Provers	2011-03-04	Paper
https://portal.mardi4nfdi.de/entity/Q3062057	2011-01-03	Paper
https://portal.mardi4nfdi.de/entity/Q3408130	2010-02-24	Paper
ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System	2009-07-09	Paper
A Formally Verified Prover for the $\mathcal{ALC\,}$ Description Logic	2008-09-02	Paper
Formal correctness of a quadratic unification algorithm	2007-05-03	Paper
Computer Aided Systems Theory – EUROCAST 2005	2006-11-01	Paper
Theorem Proving in Higher Order Logics	2006-07-06	Paper
Formal verification of a generic framework to synthesize SAT-provers	2006-01-16	Paper
Logic Based Program Synthesis and Transformation	2005-12-27	Paper
https://portal.mardi4nfdi.de/entity/Q3021901	2005-06-21	Paper
https://portal.mardi4nfdi.de/entity/Q4664924	2005-04-09	Paper
https://portal.mardi4nfdi.de/entity/Q4471942	2004-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4437091	2003-12-07	Paper
https://portal.mardi4nfdi.de/entity/Q4433996	2003-11-03	Paper
Formal proofs about rewriting using ACL2	2002-08-19	Paper

Research outcomes over time

This page was built for person: Francisco Jesús Martín-Mateos