Pages that link to "Item:Q2866734"
From MaRDI portal
The following pages link to Computerizing Mathematical Text with MathLang (Q2866734):
Displaying 6 items.
- Mathematical knowledge representation: semantic models and formalisms (Q2263116) (← links)
- Spreadsheet Interaction with Frames: Exploring a Mathematical Practice (Q3637290) (← links)
- MathLang Translation to Isabelle Syntax (Q3637293) (← links)
- A User-friendly Interface for a Lightweight Verification System (Q5170234) (← links)
- Translating between Language and Logic: What Is Easy and What Is Difficult (Q5200012) (← links)
- Methods and means for semantic structuring of electronic mathematical documents (Q5892023) (← links)
