A Machine-Checked Implementation of Buchberger's Algorithm
Journal of Automated Reasoning
STMM: A Set Theory for Mechanized Mathematics
Journal of Automated Reasoning
Reasoning and change management in modular ontologies
Data & Knowledge Engineering
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
Spreadsheet Interaction with Frames: Exploring a Mathematical Practice
Calculemus '09/MKM '09 Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics
A Mathematical Approach to Ontology Authoring and Documentation
Calculemus '09/MKM '09 Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics
Ascertaining Mathematical Theorems
Electronic Notes in Theoretical Computer Science (ENTCS)
A case study on formalizing algebra in a module system
Proceedings of the 1st Workshop on Modules and Libraries for Proof Assistants
A unified framework and a transparent name-space for the Coq module system
Proceedings of the 1st Workshop on Modules and Libraries for Proof Assistants
Ontology Verification with Repositories
Proceedings of the 2010 conference on Formal Ontology in Information Systems: Proceedings of the Sixth International Conference (FOIS 2010)
Structured formal development with quotient types in Isabelle/HOL
AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
Towards MKM in the large: modular representation and scalable software architecture
AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
Representing model theory in a type-theoretical logical framework
Theoretical Computer Science
Interpretation of locales in isabelle: theories and proof contexts
MKM'06 Proceedings of the 5th international conference on Mathematical Knowledge Management
A tough nut for mathematical knowledge management
MKM'05 Proceedings of the 4th international conference on Mathematical Knowledge Management
Gröbner bases: theory refinement in the mizar system
MKM'05 Proceedings of the 4th international conference on Mathematical Knowledge Management
Enhanced theorem reuse by partial theory inclusions
AISC'06 Proceedings of the 8th international conference on Artificial Intelligence and Symbolic Computation
A scheme for defining partial higher-order functions by recursion
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
Modular first-order ontologies via repositories
Applied Ontology - Modularity in Ontologies
Theory presentation combinators
CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics
Management of change in declarative languages
CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics
Information and Computation
A universal machine for biform theory graphs
CICM'13 Proceedings of the 2013 international conference on Intelligent Computer Mathematics
Locales: A Module System for Mathematical Theories
Journal of Automated Reasoning
| Hi-index | 0.00 |