Pages that link to "Item:Q2767915"
From MaRDI portal
The following pages link to Certified and portable mathematical documents from formal contexts (Q2767915):
Displaying 6 items.
- Mathematical context in interactive documents (Q626936) (← links)
- Semantic preserving bijective mappings of mathematical formulae between document preparation systems and computer algebra systems (Q2364705) (← links)
- Generation and presentation of formal mathematical documents (Q2760868) (← links)
- Meta stylesheets for the conversion of mathematical documents into multiple forms (Q2767929) (← links)
- Mathematical, interactive exercise generation from static documents (Q2847401) (← links)
- View of Computer Algebra Data from Coq (Q5200109) (← links)