• Publications
  • Influence
Mathematical Markup Language (MathML) Version 3.0
This specification defines the Mathematical Markup Language, or MathML. MathML is an XML application for describing mathematical notation and capturing both its structure and content. The goal ofExpand
  • 237
  • 20
  • Open Access
Automatic differentiation in Odyssée
This paper describes the design of  Odyssee , a system for fortran programs manipulations and its application to automatic differentiation. The  Odyssee system manipulates fortran programs asExpand
  • 128
  • 8
An OpenMath 1.0 implementation
tl;dr
The first official version of the OpenMath specification was released in December. Expand
  • 53
  • 5
  • Open Access
ASAP : a protocol for symbolic computation systems
tl;dr
This report describes the conception and the implementation of a simple protocol for exchanging mathematical data between processes. Expand
  • 18
  • 1
A Deductive Database for Mathematical Formulas
tl;dr
We present mfd2, a deductive database for mathematical formulas that can run as a server in a client/server environment. Expand
  • 12
Mathematica as an OpenMath application
tl;dr
Several computer algebra teams around the world have been working on OpenMath since 1994, but in spite of more than six years of work (including a dedicated three years European project), there are not yet any widely available OpenMath applications. Expand
  • 6
Making Systems Communicate and Cooperate: The Central Control Approach
tl;dr
We present the Central Control, a software component designed to be the kernel of environments for scientific computation and which can offer a common and concurrent access to many tools needed by the scientist and the engineer. Expand
  • 5
A polymorphic functional language applied to symbolic computation
  • S. Dalmas
  • Computer Science
  • ISSAC '92
  • 1 August 1992
tl;dr
The programming language in which to describe mathematical objects and algorithms is a fundamental issue in the design of a symbolic computation system. Expand
  • 4
Recommandations concernant la mise en place, la gestion, l’utilisation et l’évaluation d’une salle d’accueil des urgences vitales pédiatriques☆
Resume La salle d’accueil des urgences vitales pediatriques (SAUV), ou salle de dechocage, est un lieu d’accueil, au sein du service d’urgence, des patients ayant une detresse vitale existante ouExpand
  • 9
Design of a customizable component to display and edit formulas
tl;dr
This paper describes the design and implementation of Emath, a highly customizable component t.he Emacs t,est editor. Expand
  • 8