C. Faure

According to our database, C. Faure authored at least 4 papers between 1989 and 1998.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1998

Sparse Jacobian Computation in Automatic Differentiation by Static Program Analysis.

Mohamed Tadjouddine, F. Eyssette, C. Faure

Proceedings of the Static Analysis, 5th International Symposium, 1998

1992

The Extensions of the Sisyphe Computer Algebra System: ulysse and athena.

C. Faure, André Galligo, J. Grimm, Loic Pottier

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1992

1990

A Meta Simplifier.

C. Faure

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 1990

1989

On Gateway for Internetworking through ISDN: Architecture and Formal Modelling with Petri Nets.

Guy Juanole, C. Faure

Proceedings of the Proceedings IEEE INFOCOM '89, 1989