Publication/Citation: A Proof-Theoretic Approach to Mathematical Knowledge Management*

DOI10.1007/978-94-007-0714-6_9zbMATH Open1314.68303OpenAlexW2055314740MaRDI QIDQ5261298FDOQ5261298

Authors Dexter Kozen, Ganesh Ramanarayanan 

Publication date 3 July 2015

Published in Games, Norms and Reasons (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-94-007-0714-6_9

Mathematics Subject Classification ID

Knowledge representation (68T30) Proof theory in general (including proof-theoretic semantics) (03F03) Logic in artificial intelligence (68T27)

Recommendations

• A Review of Mathematical Knowledge Management
• Mechanizing Mathematical Reasoning
• Mathematical Knowledge Management
• scientific article; zbMATH DE number 622674
• scientific article; zbMATH DE number 1951636
• Proceedings of the mathematical knowledge management symposium, Edinburgh, UKNEWLINENovember 25--29, 2003
• Contribution of the ontology engineering to mathematical knowledge management
• Representing, archiving, and searching the space of mathematical knowledge
• Mathematical knowledge representation. (Extended abstract)
• Formalizability and knowledge ascriptions in mathematical practice

Cited In (3)

• Mathematical knowledge management: MKM 2001. Electronic proceedings of the 1st international workshop, RISC, Schloß Hagenberg, Austria, September 24--26, 2001
• KAT-ML: an interactive theorem prover for Kleene algebra with tests
• Mathematical Knowledge Management

Uses Software

• Mizar
• Nuprl

This page was built for publication: Publication/Citation: A Proof-Theoretic Approach to Mathematical Knowledge Management*

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5261298)