Mathematical Knowledge Management

DOI10.1007/11618027MaRDI QIDQ5898513zbMATH OpenOpenAlexFDO

Authors Manfred Kerber, Martin Pollet

Publication date 12 February 2007

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

Full work available at URL https://doi.org/10.1007/11618027

Mathematics Subject Classification ID

Knowledge representation (68T30)

Recommendations

• Formal representation issues in an open mathematical knowledge base. (Extended abstract)
• An interactive solution to the n x n mutilated checkerboard problem
• Mathematical knowledge representation. (Extended abstract)
• scientific article; zbMATH DE number 1951625
• Mathematical knowledge representation: semantic models and formalisms

Cited in

(4)

• Math Literate Knowledge Management via Induced Material
• Spreadsheet Interaction with Frames: Exploring a Mathematical Practice
• Can an A.I. win a medal in the mathematical olympiad? -- Benchmarking mechanized mathematics on pre-university problems
• Revisiting the mutilated chessboard or the many roles of a picture

This page was built for publication: Mathematical Knowledge Management

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