Jean Mainguené

According to our database, Jean Mainguené authored at least 1 paper in 1994.

Collaborative distances:

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

1994

Examples of Automatic Theorem Proving a Real Geometry.

Ahmed Guergueb, Jean Mainguené, Marie-Françoise Roy

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