Didier Bondyfalat

Controlled iterative methods for solving polynomial systems

Victor Y. Pan, Bernard Mourrain, Didier Bondyfalat, 1998, ISSAC '98.

Imposing Euclidean Constraints During Self-Calibration Processes

Didier Bondyfalat, Sylvain Bougnoux, 1998, SMILE.

Interaction entre symbolique et numérique : application à la vision artificielle. (Interaction between Symbolic and numerical Computation; Application to Computer Vision)

Didier Bondyfalat, Didier Bondyfalat, 2000 .

Using scene constraints during the calibration procedure

Bernard Mourrain, Théodore Papadopoulo, Didier Bondyfalat, 2001, Proceedings Eighth IEEE International Conference on Computer Vision. ICCV 2001.

Chirurgie, Informatique, Robotique

Ève Coste-Manière, Louaï Adhami, Grégoire Malandain, 2002 .

An Application of Automatic Theorem Proving in Computer Vision

Bernard Mourrain, Théodore Papadopoulo, Didier Bondyfalat, 1998, Automated Deduction in Geometry.