Bialowieza, Poland, 2004 Sept 18
Proceedings
Each title leads to the abstract and article.
Scope
The
impact of mathematical knowledge management on user interfaces is only begininning
to show. In interactive proof construction, the system is able to suggest suitable
theorems to apply to subgoals by harvesting online libraries; in computer algebra,
folding/unfolding and automatic completion of terms helps the user with the
input of complex expressions. Paradigms on how to use third-party software
from within a preferred GUI are emerging 
and promise to innovate the notion
of mathematical workspace.
This workshop wants to focus on novel aspects of UI brought forward by the
developments in MKM. It would like to bring together researchers and practioneers
working with contemporary mathematical user-interfaces, including, but not
limited to
:
- mathematical knowledge presentation
- interactivity with mathematical objects
- interactive simulations
- mathematical objects input and manipulations.
- access to mathematical knowledge
Invited Talk
The workshop has invited Joris
van der Hoeven to present about TeXMacs,
an open-source WYSYWYG editor for mathematical publications.
Programme Committee
- Paul Cairns
UCL Interaction Center, University College London, Great Britain
- Olga Caprotti
Research Institute for Symbolic Computation, Linz, Austria
- Norbert Kajler
École Nationale Supérieure des Mines de Paris, France
- Paul Libbrecht (organizer)
Competence Center for E-Learning, DFKI GmbH, Saarbrücken, Germany
- Robert Miner
Design Science Inc., Long Beach, California,
USA
Advertizing
Find the ASCII call for papers and the
call for software demonstrations.
You are welcome to forward it to communities with an interest, or simply to
colleagues.
An A4 poster is available for you to
print and display.
References
This page:
http://www.activemath.org/~paul/MathUI/
Mathematical Knowledge Conference 2004:
http://mizar.org/MKM2004