7 search results - page 1 / 2 » An OpenMath 1.0 Implementation |
ISSAC
1997
Springer
13 years 8 months ago
1997
Springer
MKM
2009
Springer
13 years 11 months ago
2009
Springer
In this short communication we want to give an overview of how OpenMath is used in the European project “SCIEnce” [12]. The main aim of this project is to allow unified commun...
AISC
2006
Springer
13 years 8 months ago
2006
Springer
This paper deals with our work on interactive mathematical documents. These documents accomodate various sources, users, and mathematical services. Communication of mathematics bet...
DAGSTUHL
2003
13 years 6 months ago
2003
This paper deals with our work on interactive mathematical documents. These documents accomodate various sources, users, and mathematical services. Communication of mathematics bet...
AISC
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. Notations are central for understanding mathematical discourse. Readers would like to read notations that transport the meaning well and prefer notations that are familia...