A Polymorphic Functional Language Applied to Symbolic Computation. - Stéphane Dalmas (ISSAC, 1992)

Distributed Computer Algebra: the Central Control Approach. - Stéphane Dalmas; Marc Gaëtano; Alain Sausse (PASCO, 1994)

Making Systems Communicate and Cooperate: The Central Control Approach. - Stéphane Dalmas; Marc Gaëtano (DISCO, 1996)

A Deductive Database for Mathematical Formulas. - Stéphane Dalmas; Marc Gaëtano; Claude Huchet (DISCO, 1996)

A Distributed and Cooperative Environment for Computer Algebra. - Stéphane Dalmas; Marc Gaëtano; Alain Sausse (J. Symb. Comput., 1996)

An OpenMath 1.0 Implementation. - Stéphane Dalmas; Marc Gaëtano; Stephen M. Watt (ISSAC, 1997)

Algorithm animation with Agat. - Olivier Arsac; Stéphane Dalmas; Marc Gaëtano (Computer-Human Interaction in Symbolic Computation, 1998)

Erratum to: Design principles of Mathpert: software to support education in algebra and calculus. - Olivier Arsac; Stéphane Dalmas; Marc Gaëtano (Computer-Human Interaction in Symbolic Computation, 1998)

Design of a Customizable Component to Display and Edit Formulas. - Olivier Arsac; Stéphane Dalmas; Marc Gaëtano (ISSAC, 1999)

Mathematica as an OpenMath application. - Hélène Prieto; Stéphane Dalmas; Yves Papegay (SIGSAM Bull., 2000)