MathUI 2008
Marc Wagner
, and Henri Lesourd
Using TEXMACS in Math Education: An exploratory Study
[
ABSTRACT
] [
PDF
]
Eliot Setzer
Distributed Tagging and Annotation of Computer-Checked Proofs
[
ABSTRACT
] [
PDF
]
Birendra Keshari, and Stephen M. Watt
Online Mathematical Symbol Recognition using SVMs with Features from Functional Approximation
[
ABSTRACT
] [
PDF
]
Jonathan Fine
, and Christoph Hafemeister
MathTran and TeX as a web service
[
ABSTRACT
] [
URL
] [
PDF
]
Éric Andrès
,
Michael Dietrich
, and
Paul Libbrecht
Discovering How toWrite Semantic Math with new Symbols
[
ABSTRACT
] [
PDF
]
Su Wei, Paul S. Wang, and Lian Li
Entering and Editing MathematicalExpressions on the Web
[
ABSTRACT
] [
PDF
]
Christoph Lange
, and
Alberto González Palomo
Easily Editing and Browsing Complex OpenMath Markup withSWiM
[
ABSTRACT
] [
PDF
]
Last updated on Sun Jul 27 2008