Pages that link to "Item:Q5756753"
From MaRDI portal
The following pages link to From Notation to Semantics: There and Back Again (Q5756753):
Displaying 7 items.
- Towards semantic mathematical editing (Q2348287) (← links)
- User interaction with the Matita proof assistant (Q2462635) (← links)
- Notation selection in mathematical computing environments (Q3568152) (← links)
- Natural Deduction Environment for Matita (Q3637307) (← links)
- Mathematical vernacular and conceptual well-formedness in mathematical language (Q4263084) (← links)
- Mathematical Knowledge Management (Q5313055) (← links)
- Notations for Living Mathematical Documents (Q5505528) (← links)