Mathematical knowledge management in HELM
From MaRDI portal
Publication:1810904
DOI10.1023/A:1022907629104zbMath1025.68080OpenAlexW1503493677MaRDI QIDQ1810904
Claudio Sacerdoti Coen, Ferruccio Guidi, Andrea Asperti, Irene Schena, Luca Padovani
Publication date: 9 June 2003
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1022907629104
Related Items
Innovations in computational type theory using Nuprl, \textit{Theorema}: Towards computer-aided mathematical theory exploration, Procedural representation of CIC proof terms, Crystal: Integrating structured queries into a tactic language, User interaction with the Matita proof assistant, A User Interface for a Mathematical System that Allows Ambiguous Formulae, View of Computer Algebra Data from Coq, Combining Source, Content, Presentation, Narration, and Relational Representation, A Logically Saturated Extension of ${{\bar\lambda\mu\tilde{\mu}}}$, Merging Procedural and Declarative Proof, A fine-tuning retrieval system for mathematical information
Uses Software
