Sfoglia per Autore
Efficient Ambiguous Parsing of Mathematical Formulae
2004 SACERDOTI COEN, Claudio; Zacchiroli, Stefano
SchemaPath, a Minimal Extension to XML Schema for Conditional Constraints
2004 Marinelli, Paolo; SACERDOTI COEN, Claudio; Vitali, Fabio
Mathematical Libraries as Proof Assistant Environments
2004 SACERDOTI COEN, Claudio
A Generative Approach to the Implementation of Language Bindings for the Document Object Model
2004 L.Padovani; C.Sacerdoti Coen; S.Zacchiroli
A content based mathematical search engine: Whelp
2005 A.Asperti; F.Guidi; C.Sacerdoti Coen; E.Tassi; S.Zacchiroli
A semi-reflexive tactic for (sub-)equational reasoning
2006 SACERDOTI COEN, Claudio
Explanation in Natural language of lambda-bar-mu-mu-tilde-terms
2006 Sacerdoti Coen, C.
An Interactive Algebra Course with Formalised Proofs and Definitions
2006 Asperti, Andrea; Geuvers, H.; Loeb, I.; Mamane, L. E.; SACERDOTI COEN, Claudio
A Formal Correspondence between OMDoc with Alternative Proofs and the lambda-bar-mu-mu-tilde-Calculus
2006 S. Autexier; C. Sacerdoti Coen
Spurious Disambiguation Error Detection
2007 SACERDOTI COEN, Claudio; Zacchiroli, Stefano
User Interaction with the Matita Proof Assistant
2007 A.Asperti; C.Sacerdoti Coen; E. Tassi; S.Zacchiroli
Crafting a Proof Assistant
2007 A.Asperti; C.Sacerdoti Coen; E.Tassi; S.Zacchiroli
A Note on Formalizing Undefined Terms in Real Analysis
2007 C. Sacerdoti Coen; E. Zoli
Declarative Representation of Proof Terms
2007 C. Sacerdoti Coen
Matita
2007 A.Asperti; C.Sacerdoti Coen; E.Tassi; S.Zacchiroli
Reduction and Conversion Strategies for the Calculus of (co)Inductive Construtions: Part I
2007 C. Sacerdoti Coen
Tinycals: Step by Step Tacticals
2007 SACERDOTI COEN, Claudio; Tassi, Enrico; Zacchiroli, Stefano
Working with Mathematical Structures in Type Theory
2008 SACERDOTI COEN, Claudio; Tassi, Enrico
Matita 0.5.7
2008 A.Asperti; C.Sacerdoti Coen; W. Ricciotti; E.Tassi; S.Zacchiroli
A constructive and formal proof of Lebesgue’s Dominated Convergence Theorem in the interactive theorem prover Matita
2008 C. Sacerdoti Coen; E. Tassi
Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
---|---|---|---|---|---|---|
Efficient Ambiguous Parsing of Mathematical Formulae | SACERDOTI COEN, Claudio; Zacchiroli, Stefano | 2004-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
SchemaPath, a Minimal Extension to XML Schema for Conditional Constraints | Marinelli, Paolo; SACERDOTI COEN, Claudio; Vitali, Fabio | 2004-01-01 | - | ACM Press | 4.01 Contributo in Atti di convegno | - |
Mathematical Libraries as Proof Assistant Environments | SACERDOTI COEN, Claudio | 2004-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
A Generative Approach to the Implementation of Language Bindings for the Document Object Model | L.Padovani; C.Sacerdoti Coen; S.Zacchiroli | 2004-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
A content based mathematical search engine: Whelp | A.Asperti; F.Guidi; C.Sacerdoti Coen; E.Tassi; S.Zacchiroli | 2005-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
A semi-reflexive tactic for (sub-)equational reasoning | SACERDOTI COEN, Claudio | 2006-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
Explanation in Natural language of lambda-bar-mu-mu-tilde-terms | Sacerdoti Coen, C. | 2006-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
An Interactive Algebra Course with Formalised Proofs and Definitions | Asperti, Andrea; Geuvers, H.; Loeb, I.; Mamane, L. E.; SACERDOTI COEN, Claudio | 2006-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
A Formal Correspondence between OMDoc with Alternative Proofs and the lambda-bar-mu-mu-tilde-Calculus | S. Autexier; C. Sacerdoti Coen | 2006-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
Spurious Disambiguation Error Detection | SACERDOTI COEN, Claudio; Zacchiroli, Stefano | 2007-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
User Interaction with the Matita Proof Assistant | A.Asperti; C.Sacerdoti Coen; E. Tassi; S.Zacchiroli | 2007-01-01 | JOURNAL OF AUTOMATED REASONING | - | 1.01 Articolo in rivista | - |
Crafting a Proof Assistant | A.Asperti; C.Sacerdoti Coen; E.Tassi; S.Zacchiroli | 2007-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
A Note on Formalizing Undefined Terms in Real Analysis | C. Sacerdoti Coen; E. Zoli | 2007-01-01 | - | s.n | 4.01 Contributo in Atti di convegno | - |
Declarative Representation of Proof Terms | C. Sacerdoti Coen | 2007-01-01 | - | RISC Report Series, University of Linz | 4.01 Contributo in Atti di convegno | - |
Matita | A.Asperti; C.Sacerdoti Coen; E.Tassi; S.Zacchiroli | 2007-01-01 | - | - | 7.04 Software | - |
Reduction and Conversion Strategies for the Calculus of (co)Inductive Construtions: Part I | C. Sacerdoti Coen | 2007-01-01 | ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | - | 4.01 Contributo in Atti di convegno | - |
Tinycals: Step by Step Tacticals | SACERDOTI COEN, Claudio; Tassi, Enrico; Zacchiroli, Stefano | 2007-01-01 | ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | - | 4.01 Contributo in Atti di convegno | - |
Working with Mathematical Structures in Type Theory | SACERDOTI COEN, Claudio; Tassi, Enrico | 2008-01-01 | LECTURE NOTES IN COMPUTER SCIENCE | - | 4.01 Contributo in Atti di convegno | - |
Matita 0.5.7 | A.Asperti; C.Sacerdoti Coen; W. Ricciotti; E.Tassi; S.Zacchiroli | 2008-01-01 | - | - | 7.04 Software | - |
A constructive and formal proof of Lebesgue’s Dominated Convergence Theorem in the interactive theorem prover Matita | C. Sacerdoti Coen; E. Tassi | 2008-01-01 | JOURNAL OF FORMALIZED REASONING | - | 1.01 Articolo in rivista | - |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile