Automatic generation of numerical redundancies for nonlinear constraint solving
From MaRDI portal
Publication:1371177
DOI10.1023/A:1009943413814zbMath0889.65052MaRDI QIDQ1371177
Laurent Granvilliers, Frédéric Benhamou
Publication date: 2 June 1998
Published in: Reliable Computing (Search for Journal in Brave)
consistency; symbolic computation; redundant constraint; performances; interval algorithms; redundant polynomials
68W30: Symbolic computation and algebraic computation
65H10: Numerical computation of solutions to systems of equations
65G30: Interval and finite arithmetic
Related Items
Interval constraint propagation with application to bounded-error estimation, Solving interval constraints by linearization in computer-aided design, Accelerating filtering techniques for numeric CSPs, An interval global optimization algorithm combining symbolic rewriting and componentwise Newton method applied to control a class of queueing systems