Proceedings of MathUI 2007
George Goguadze
, and Jan Tsigler
Authoring Interactive Exercises in ActiveMath
[
ABSTRACT
] [
PDF
]
Documents with flexible Notation Contexts as Interfaces to Mathematical Knowledge
[
ABSTRACT
] [
PDF
]
SWIM –A Semantic Wiki for Mathematical Knowledge Management
[
ABSTRACT
] [
PDF
]
A cross-applicationarchitecture for pen-based mathematical interfaces
[
ABSTRACT
] [
PDF
]
Combining Mizar and TPTP Semantic Presentation Tools
[
ABSTRACT
] [
PDF
]
MathEX: A Direct-Manipulation Structural Editor for Compound XML Documents
[
ABSTRACT
] [
PDF
]
Xpress: A Novice Interfacefor the Real-Time Communication of Mathematical Expressions
[
ABSTRACT
] [
PDF
]
Natural Editing of Algebraic Expressions
[
ABSTRACT
] [
PDF
]
Last updated on Thu Jun 21 2007