GtkMathView

MaRDI QIDQ17498swMATHFDO

Official website http://helm.cs.unibo.it/mml-widget/

Cited in

(9)

• Enabling collaboration on semiformal mathematical knowledge by semantic web integration
• Natural Deduction Environment for Matita
• scientific article; zbMATH DE number 1951630 (Why is no real title available?)
• foaf
• LAD
• jsMath
• NNexus
• STEX+
• Formulator MathML

This page was built for software: GtkMathView