Mathematical Knowledge Management

DOI10.1007/11618027zbMATH Open1151.97300OpenAlexW2480281325MaRDI QIDQ5898528FDOQ5898528

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

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

• Interactive Mathematical Documents
• scientific article; zbMATH DE number 2079832
• On dynamically presenting a topology course
• On dynamically presenting a topology course
• Formalized mathematical content in lecture notes on modelling and analysis

Mathematics Subject Classification ID

Knowledge representation (68T30) Problem books, competitions, examinations (aspects of mathematics education) (97U40)

Cited In (2)

• Proof assistants: history, ideas and future
• On dynamically presenting a topology course

Uses Software

• C-CoRN

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 Q5898528)