Back to the CFP
Call for Papers/Participation (Overview)
ECAI-96 Workshop on
Representation of mathematical knowledge
Budapest, Hungary
August 13th. 1996 (to be determined)
(http://www8.informatik.uni-erlangen.de/IMMD8/ECAI96/)
INTRODUCTION:
The goal of the QED project is to build a computer system that
effectively represents all important mathematical knowledge and
technics.
This workshop is about representation formalisms for mathematical
knowledge and can therefore be linked to the QED project.
In order to represent mathematics in its entirety, several views on
mathematics need to be taken into account, such as:
- mathematics at the formal level
- mathematics at the concept level
- mathematics at the heuristic level
- mathematics at the process/algorithmic level
- mathematics at the constraints level
Mathematicians live from switching to different views whenever
needed. Existing basic formalisms for representing knowledge, taken
separately, are not strong enough to represent mathematical knowledge
in its different facets. Each representation formalism emphasizes only
one view of mathematical knowledge.
The goal of the workshop is to gather researchers actively working in
the area of knowledge representation in the field of mathematics, to
exchange ideas and foster collaborations and new research directions.
The aims of the workshop are to:
- define requirements/criteria for representation languages
(including non-linguistic representations) for the different
aspects of mathematics,
- determine/explain the strengthens/shortcomings of existing
representations,
- suggest augmentations/modifications to existing representation
formalisms,
- guide future research work.
Contributions are encouraged which focus on the representation of
mathematical knowledge and its application on areas like teaching,
discovery, proving, and hypertext authoring etc.
ORGANIZERS:
WWW PAGE:
Information about this workshop is also available via WWW at URL:
http://www8.informatik.uni-erlangen.de/IMMD8/ECAI96/
CFP Overview (plain text)