An Application of Automatic Theorem Proving in Computer Vision. - Didier Bondyfalat; Bernard Mourrain; Théodore Papadopoulo (Automated Deduction in Geometry, 1998)

Controlled Iterative Methods for Solving Polynomial Systems. - Didier Bondyfalat; Bernard Mourrain; Victor Y. Pan (ISSAC, 1998)

Imposing Euclidean Constraints During Self-Calibration Processes. - Didier Bondyfalat; Sylvain Bougnoux (SMILE, 1998)

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

Using Scene Constraints during the Calibration Procedure. - Didier Bondyfalat; Théodore Papadopoulo; Bernard Mourrain (ICCV, 2001)