×

zbMATH — the first resource for mathematics

Algorithmic power from declarative use of redundant constraints. (English) Zbl 0949.68041
Summary: Interval constraints can be used to solve problems in numerical analysis. In this paper we show that one can improve the performance of such an interval constraint program by the declarative use of constraints that are redundant in the sense of not needed to define the problem. The first example shows that computation of an unstable recurrence relation can be improved. The second example concerns a solver of nonlinear equations. It shows that, by adding as redundant constraints instances of Taylor’s theorem, one can obtain convergence that appears to be quadratic.

MSC:
68N17 Logic programming
Software:
XSB
PDF BibTeX XML Cite
Full Text: DOI