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)

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

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)