Skip to search formSkip to main contentSkip to account menu

Matita

Known as: Matita proof assistant 
Matitais an experimental proof assistant under development at the Computer Science Department of the University of Bologna. It is a tool aiding the… 
Wikipedia (opens in a new tab)

Related topics

Related topics

14 relations
Calculus of constructionsCoq (software)Curry–Howard correspondenceDependent type

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Further Formalization of the Process Algebra CCS in HOL4
In this project, we have extended previous work on the formalization of the process algebra CCS in HOL4. We have added full… 
Review
2017
Review
2017
L’oblio del censore. Censurato dalla critica
Taking tuition from the work conducted by Tzvetan Todorov, Paul Ricoeur, Umberto Eco and Harald Weinrich on the theme of oblivion… 
2014
2014
Città ‘altre’. Le miniere come metafora della rappresentazione.
The study is focused on the representation of a sulphur mine located in the heart of Sicily. The link between the outside plants… 
2013
2013
Texturing e ottimizzazione dei modelli digitali reality based: la chiesa della Compañía de Jesús
Nell’ ambito delle ricerche scientifiche sui beni culturali le tecniche di modellazione 3D applicate ai dati provenienti da… 
2013
2013
L'avvio del Collegio Romano di Santa Maria
l’articolo tratta del progetto relativo al Centro internazionale di studi per la formazione delle donne dell’Opus Dei, promosso… 
2010
2010
RIFLESSIONE METACOGNITIVA IN AMBIENTI ONLINE E AUTOREGOLAZIONE NELL'ATTIVITÀ DI STUDIO NEI CORSI UNIVERSITARI
The metacognitive processes of critical thinking, regulation and guiding of cognitive mechanisms are fundamental in promoting… 
Review
2010
Review
2010
Matita e mouse. Il disegno nell'era digitale
This contribution examines the role occupied by the teaching of freehand drawing following reform of Italy’s secondary school… 
2009
2009
Natural Deduction Environment for Matita
Matita is a proof assistant characterised by a rich, user extensible, output facility based on a widget for the rendering of… 
2008
2008
Spurious Disambiguation Errors and How to Get Rid of Them
Abstract.The disambiguation approach to the input of formulae enables users of mathematical assistants to type correct formulae… 
Review
2007
Review
2007
Visualization of the architecture through simplified models: strategies for knowledge sharing - Pieve a Socana, Casentino, Toscana.
The problem of the quality of architectural representation, in a dynamic use finalized in web or database publication, represents… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)