Mathematical Knowledge Management

DOI10.1007/11618027zbMath1151.97300OpenAlexW2480281325MaRDI QIDQ5898528

Andrea Asperti, Claudio Sacerdoti Coen, Herman Geuvers, Iris Loeb, Lionel Elie Mamane

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) Problem books, competitions, examinations (aspects of mathematics education) (97U40)

Related Items

Proof assistants: history, ideas and future

Uses Software

• C-CoRN