#### Filter Results:

#### Publication Year

1999

2005

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- Arjeh M. Cohen, Hans Cuypers, Ernesto Reinaldo Barreiro, Hans Sterk
- Algebra, Geometry, and Software Systems
- 2003

This paper deals with our work on interactive mathematical documents. These documents accomodate various sources, users, and mathematical services. Communication of mathematics between these entities is based on the OpenMath standard and Java technology. But, for the management of the communication, more protocols and tools are needed. We describe an… (More)

- O. Caprotti, A. M. Cohen, H. Cuypers, M. N. Riem, H. Sterk
- 2000

This paper presents OpenMath servers and their role in an architecture for distributing mathematical computations. Such an architecture is needed in the context of mathematical problems whose solution is best achieved by use of techniques from different areas. We describe such a setting integrating various computational engines. Finally we provide case… (More)

- Hans Cuypers, Hans Sterk
- 2001

New technologies such as xml, xsl and both MathML and Open-Math make it possible to bring mathematics to the Internet. Indeed, Open-Math, a markup language for mathematical content, and OmDoc, its extension to mathematical documents, open a way of communicating mathematics between computers, between software applications and over the Internet without losing… (More)

- A. M. Cohen, H. Cuypers, +6 authors Dorina Jibetean
- 2005

This section deals with our work on interactive mathematical documents that make use of the World Wide Web. These documents take input from various sources, users, and mathematical services. Communication between these different entities can be realized using OpenMath. But, such communication and the interactivity inside the mathematical document take place… (More)

- D Patterson, J Hennessy, +19 authors D M Ritchie
- 2003

PURPOSE OF THE COURSE: The course teaches the basic concepts and techiques of infinitesimal and integral calculus in a way that is concise and suitable for applications. The theory is presented at a decent level of formal rigour in the statements and in those proofs that are worked out in detail. Students are trained at calculus, above all with… (More)

- ‹
- 1
- ›