Pages that link to "Item:Q2364686"
From MaRDI portal
The following pages link to A web-based toolkit for mathematical word processing applications with semantics (Q2364686):
Displaying 4 items.
- webLurch (Q32738) (← links)
- Semantic preserving bijective mappings of mathematical formulae between document preparation systems and computer algebra systems (Q2364705) (← links)
- Using camlp4 for presenting dynamic mathematics on the web (Q5176980) (← links)
- Calculational relation-algebraic proofs in the teaching tool \textsc{CalcCheck} (Q5919026) (← links)