Mechanizing Mathematical Reasoning

DOI10.1007/B106663MaRDI QIDQ5717451zbMATH OpenOpenAlexFDO

Authors Bernd Krieg-Brückner

Publication date 10 January 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b106663

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Problem books, competitions, examinations (aspects of mathematics education) (97U40) Technological tools, calculators (aspects of mathematics education) (97U70)

Recommendations

• The multimedia project MM*STAT for teaching statistics
• scientific article; zbMATH DE number 1728421
• scientific article; zbMATH DE number 732294
• scientific article; zbMATH DE number 2089008
• A method for developing interactive multimedia from their semantic content

Cites work

• MAYA

Cited in

(2)

• Multimedia representation of matrix computations and data
• scientific article; zbMATH DE number 2089008 (Why is no real title available?)

Describes a project that uses

Uses Software

• MAYA
• CoFI
• OMDoc
• CASL

This page was built for publication: Mechanizing Mathematical Reasoning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5717451)