Enrico Tassi

Available identifiers

zbMath Open tassi.enricoWikidataQ122209904 ScholiaQ122209904MaRDI QIDQ205581

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5875441	2023-02-03	Paper
Superposition as a logical glue	2021-03-03	Paper
Nonuniform coercions via unification hints	2021-03-03	Paper
Implementing type theory in higher order constraint logic programming	2019-10-09	Paper
Hamiltonian fluid reductions of electromagnetic drift-kinetic equations for an arbitrary number of moments	2016-09-02	Paper
ELPI: fast, embeddable, \(\lambda \)Prolog interpreter	2016-01-12	Paper
Asynchronous processing of Coq documents: from the kernel up to the user interface	2015-09-14	Paper
A Computer-Algebra-Based Formal Proof of the Irrationality of ζ(3)	2014-09-08	Paper
An Interactive Driver for Goal-directed Proof Strategies	2014-06-27	Paper
Tinycals: step by step tacticals	2013-12-20	Paper
Pervasive parallelism in highly-trustable interactive theorem proving systems	2013-08-09	Paper
A machine-checked proof of the odd order theorem	2013-08-07	Paper
Canonical structures for the working Coq user	2013-08-07	Paper
Formal metatheory of programming languages in the Matita interactive theorem prover	2013-04-17	Paper
A Language of Patterns for Subterm Selection	2012-09-20	Paper
A bi-directional refinement algorithm for the calculus of (co)inductive constructions	2012-04-03	Paper
Formalising overlap algebras in Matita	2011-10-21	Paper
The Matita interactive theorem prover	2011-07-29	Paper
Smart matching	2010-08-24	Paper
A compact kernel for the calculus of inductive constructions	2009-11-23	Paper
Hints in Unification	2009-10-20	Paper
A constructive and formal proof of Lebesgue's dominated convergence theorem in the interactive theorem prover Matita	2009-07-27	Paper
Natural Deduction Environment for Matita	2009-07-09	Paper
Crafting a Proof Assistant	2009-03-10	Paper
A Modular Formalisation of Finite Group Theory	2008-09-02	Paper
Working with Mathematical Structures in Type Theory	2008-06-03	Paper
User interaction with the Matita proof assistant	2007-12-03	Paper
Higher order Proof Reconstruction from Paramodulation-Based Refutations: The Unit Equality Case	2007-11-28	Paper
Types for Proofs and Programs	2006-11-13	Paper
Event indexing systems for efficient selection and analysis of HERA data	2001-10-10	Paper

Research outcomes over time

This page was built for person: Enrico Tassi