Designing mathematical libraries based on requirements for theorems

DOI10.1023/A:1022924032739zbMath1023.68130MaRDI QIDQ1810919

Christoph Schwarzweller

Publication date: 9 June 2003

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

generic algorithmsmechanized reasoningmathematical librariesrequirements for theoremsreuse of theoremsthe Mizar system

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• Theorema
• Mizar