The following pages link to Laurent Granvilliers (Q227665):
Displaying 29 items.
- A conservative scheme for parallel interval narrowing (Q294755) (← links)
- On continuation methods for non-linear bi-objective optimization: towards a certified interval-based approach (Q905750) (← links)
- A new framework for sharp and efficient resolution of NCSP with manifolds of solutions (Q968347) (← links)
- Automatic generation of numerical redundancies for nonlinear constraint solving (Q1371177) (← links)
- An interval component for continuous constraints. (Q1421218) (← links)
- On the combination of interval constraint solvers (Q1597635) (← links)
- Constraint propagation using dominance in interval branch \& bound for nonlinear biobjective optimization (Q1753511) (← links)
- (Q1849566) (redirect page) (← links)
- Horner's rule for interval evaluation revisited (Q1849567) (← links)
- Symbolic-interval cooperation in constraint programming (Q2958925) (← links)
- Algorithm 852 (Q3549165) (← links)
- (Q4353619) (← links)
- (Q4471947) (← links)
- (Q4473051) (← links)
- (Q4473379) (← links)
- (Q4475107) (← links)
- (Q4475670) (← links)
- (Q4518861) (← links)
- (Q4520736) (← links)
- Simultaneous automated design of structured QFT controller and prefilter using nonlinear programming (Q4588813) (← links)
- Parameter Estimation Using Interval Computations (Q4652342) (← links)
- (Q4737129) (← links)
- (Q4939288) (← links)
- Logic Programming (Q5191487) (← links)
- Numerical Software with Result Verification (Q5308360) (← links)
- Certified Parallelotope Continuation for One-Manifolds (Q5397617) (← links)
- Accelerating Consistency Techniques and Prony’s Method for Reliable Parameter Estimation of Exponential Sums (Q5450795) (← links)
- Artificial Intelligence and Symbolic Computation (Q5464696) (← links)
- Progress in the solving of a circuit design problem (Q5954664) (← links)
