Mathematical Knowledge Management

DOI10.1007/11618027MaRDI QIDQ5898528zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cited in

(3)

• Formalized mathematical content in lecture notes on modelling and analysis
• Proof assistants: history, ideas and future
• On dynamically presenting a topology course

Describes a project that uses

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)