On Duplication in Mathematical Repositories

DOI10.1007/978-3-642-14128-7_26zbMath1286.68429arXiv1005.0950OpenAlexW2953284898MaRDI QIDQ3582716

Christoph Schwarzweller, Adam Grabowski

Publication date: 24 August 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1005.0950

Mathematics Subject Classification ID

Knowledge representation (68T30) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Related Items (8)

Readable Formalization of Euler’s Partition Theorem in Mizar ⋮ Theory Presentation Combinators ⋮ Developing complementary rough inclusion functions ⋮ Tarski geometry axioms. II ⋮ Sequences of prime reciprocals. Preliminaries ⋮ Accessing the Mizar Library with a Weakly Strict Mizar Parser ⋮ Formal development of rough inclusion functions ⋮ Formalizing two generalized approximation operators

Uses Software

• Coq
• MoMM
• Mizar
• HOL Light

This page was built for publication: On Duplication in Mathematical Repositories