Mathematical Knowledge Management
From MaRDI portal
Publication:5898513
DOI10.1007/11618027zbMATH Open1151.68665OpenAlexW2480281325MaRDI QIDQ5898513FDOQ5898513
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
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)
- 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
- Spreadsheet Interaction with Frames: Exploring a Mathematical Practice
- 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)
