STEX+

MaRDI QIDQ19714swMATHFDO

Official website http://dl.acm.org/citation.cfm?id=1839712

Cited in

(9)

• Enabling collaboration on semiformal mathematical knowledge by semantic web integration
• Dimensions of formality: a case study for MKM in software engineering
• foaf
• GtkMathView
• jsMath
• MathDox
• STEXIDE
• Formulator MathML
• An Integrated Development Environment for Collections

This page was built for software: STEX+