( en | de | ru )

 

Disambiguation of "Goualard, Frédéric"

Author of the publication

copydeleteadd this publication to your clipboard
An Extension of the WAM for Hybrid Interval Solvers.

, , and . J. Funct. Log. Program., (1999)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Frédéric Ruckert

Frédéric Roux

Frédéric Robin

Frédéric Leroux

Frédéric Ziebarth

 

Other publications of authors with the same name

An Extension of the WAM for Hybrid Interval Solvers., , and . J. Funct. Log. Program., (1999)On the Selection of a Transversal to Solve Nonlinear Systems with Interval Arithmetic., and . International Conference on Computational Science (1), volume 3991 of Lecture Notes in Computer Science, page 332-339. Springer, (2006)Un outil de débogage du store pour la programmation par contraintes., and . JFPLC, page 281-296. Hermes, (1999)Interval Constraint Solving for Camera Control and Motion Planning, , , and . CoRR, (2000)Component Programming and Interoperability in Constraint Solver Design. CoRR, (2001)How do you compute the midpoint of an interval?. ACM Trans. Math. Softw., 40 (2): 11:1-11:25 (2014)Debugging Constraint Programs by Store Inspection., and . Analysis and Visualization Tools for Constraint Programming, volume 1870 of Lecture Notes in Computer Science, page 273-297. Springer, (2000)A Visualization Tool for Constraint Program Debugging., and . ASE, page 110-. IEEE Computer Society, (1999)Box Consistency through Weak Box Consistency., , and . ICTAI, page 373-380. IEEE Computer Society, (1999)Universally Quantified Interval Constraints., and . CP, volume 1894 of Lecture Notes in Computer Science, page 67-82. Springer, (2000)