MathUI 2010
Mitsushi Fujimoto
, and
Stephen Watt
An Interface for Math e-Learning on Pen-Based MobileDevices
[
ABSTRACT
] [
PDF
]
Ivelina Stoyanova
Towards Intelligent Summarising and Browsing of Mathematical Expressions
[
ABSTRACT
] [
PDF
]
Jesse Alama
Playing Lorenzen dialogue games on theweb
[
ABSTRACT
] [
PDF
] [
web site
]
Karol Pąk
The Methods of Improving and Reorganizing Natural Deduction Proofs
[
ABSTRACT
] [
PDF
]
Last updated on Thu Jul 01 2010