Pages that link to "Item:Q2866734"
From MaRDI portal
The following pages link to Computerizing mathematical text with MathLang (Q2866734):
Displaying 18 items.
- Learning and using mathematics software the natural way (Q1861811) (← links)
- A refinement of de Bruijn's formal language of mathematics (Q1876109) (← links)
- Mathematical knowledge representation: semantic models and formalisms (Q2263116) (← links)
- A web-based toolkit for mathematical word processing applications with semantics (Q2364686) (← links)
- Part-of-math tagging and applications (Q2364695) (← links)
- Semantic preserving bijective mappings of mathematical formulae between document preparation systems and computer algebra systems (Q2364705) (← links)
- The features of realization of high level language for mathematical texts specification (Q2745000) (← links)
- MathLang: experience-driven development of a new mathematical language (Q2847398) (← links)
- The language of formal mathematics Russell (Q2899004) (← links)
- Spreadsheet Interaction with Frames: Exploring a Mathematical Practice (Q3637290) (← links)
- MathLang Translation to Isabelle Syntax (Q3637293) (← links)
- (Q3989061) (← links)
- (Q4474349) (← 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)
- Mathematical Knowledge Management (Q5313054) (← links)
- Mathematical Knowledge Management (Q5313055) (← links)
- Methods and means for semantic structuring of electronic mathematical documents (Q5892023) (← links)