Enrico Tassi

From MaRDI portal
Person:205581

Available identifiers

zbMath Open tassi.enricoWikidataQ122209904 ScholiaQ122209904MaRDI QIDQ205581

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q58754412023-02-03Paper
Superposition as a logical glue2021-03-03Paper
Nonuniform coercions via unification hints2021-03-03Paper
Implementing type theory in higher order constraint logic programming2019-10-09Paper
Hamiltonian fluid reductions of electromagnetic drift-kinetic equations for an arbitrary number of moments2016-09-02Paper
ELPI: fast, embeddable, \(\lambda \)Prolog interpreter2016-01-12Paper
Asynchronous processing of Coq documents: from the kernel up to the user interface2015-09-14Paper
A Computer-Algebra-Based Formal Proof of the Irrationality of ζ(3)2014-09-08Paper
An Interactive Driver for Goal-directed Proof Strategies2014-06-27Paper
Tinycals: step by step tacticals2013-12-20Paper
Pervasive parallelism in highly-trustable interactive theorem proving systems2013-08-09Paper
A machine-checked proof of the odd order theorem2013-08-07Paper
Canonical structures for the working Coq user2013-08-07Paper
Formal metatheory of programming languages in the Matita interactive theorem prover2013-04-17Paper
A Language of Patterns for Subterm Selection2012-09-20Paper
A bi-directional refinement algorithm for the calculus of (co)inductive constructions2012-04-03Paper
Formalising overlap algebras in Matita2011-10-21Paper
The Matita interactive theorem prover2011-07-29Paper
Smart matching2010-08-24Paper
A compact kernel for the calculus of inductive constructions2009-11-23Paper
Hints in Unification2009-10-20Paper
A constructive and formal proof of Lebesgue's dominated convergence theorem in the interactive theorem prover Matita2009-07-27Paper
Natural Deduction Environment for Matita2009-07-09Paper
Crafting a Proof Assistant2009-03-10Paper
A Modular Formalisation of Finite Group Theory2008-09-02Paper
Working with Mathematical Structures in Type Theory2008-06-03Paper
User interaction with the Matita proof assistant2007-12-03Paper
Higher order Proof Reconstruction from Paramodulation-Based Refutations: The Unit Equality Case2007-11-28Paper
Types for Proofs and Programs2006-11-13Paper
Event indexing systems for efficient selection and analysis of HERA data2001-10-10Paper

Research outcomes over time

This page was built for person: Enrico Tassi