scientific article; zbMATH DE number 2079832

MaRDI QIDQ4471939zbMATH OpenFDO

Authors Martijn Oostdijk, Olga Caprotti

Publication date 30 July 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/1930/19300053.htm

Mathematics Subject Classification ID

General and miscellaneous specific topics (00A99) Symbolic computation and algebraic computation (68W30)

Recommendations

• Interactive Mathematical Documents
• On the role of OpenMath in interactive mathematical documents
• scientific article; zbMATH DE number 1961549
• Certified and portable mathematical documents from formal contexts
• Mathematical context in interactive documents

Cited in

(13)

• Certified and portable mathematical documents from formal contexts
• A scalable module system
• scientific article; zbMATH DE number 1262427 (Why is no real title available?)
• scientific article; zbMATH DE number 1114513 (Why is no real title available?)
• scientific article; zbMATH DE number 1765686 (Why is no real title available?)
• Interactive Mathematical Documents
• Mathematical Knowledge Management
• Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors
• Mathematical Knowledge Management
• On the role of OpenMath in interactive mathematical documents
• Electronic communication of mathematics and the interaction of computer algebra systems and proof assistants
• Formal and efficient primality proofs by use of computer algebra oracles
• Mathematical context in interactive documents

Describes a project that uses

Uses Software

• Nuprl
• OMRS
• Cinderella

This page was built for publication:

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