Towards a Self-Reflective, Context-Aware Semantic Representation of Mathematical Specifications

DOI10.1007/978-3-642-23592-4_2zbMath1247.68282OpenAlexW66728531MaRDI QIDQ2917380

Peter Schodl, Ferenc Domes, Arnold Neumaier, Kevin Kofler, Hermann Schichl

Publication date: 28 September 2012

Published in: Algebraic Modeling Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-23592-4_2

Mathematics Subject Classification ID

Knowledge representation (68T30) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• AMPL
• TPTP
• Mizar
• GF

This page was built for publication: Towards a Self-Reflective, Context-Aware Semantic Representation of Mathematical Specifications