Designing mathematical libraries based on requirements for theorems
From MaRDI portal
Publication:1810919
DOI10.1023/A:1022924032739zbMath1023.68130MaRDI QIDQ1810919
Publication date: 9 June 2003
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
generic algorithmsmechanized reasoningmathematical librariesrequirements for theoremsreuse of theoremsthe Mizar system
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