Combining local consistency, symbolic rewriting and interval methods
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 144-159
- https://doi.org/10.1007/3-540-61732-9_55
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- Interval constraint logic programmingPublished by Springer Nature ,1995
- Safe starting regions by fixed points and tighteningComputing, 1994
- Constraint reasoning based on interval arithmetic: the tolerance propagation approachArtificial Intelligence, 1992
- Ideals, Varieties, and AlgorithmsPublished by Springer Nature ,1992
- A class of interval-Newton-operatorsComputing, 1986
- Gröbner Bases: An Algorithmic Method in Polynomial Ideal TheoryPublished by Springer Nature ,1985
- An interval Newton methodApplied Mathematics and Computation, 1983
- Bounding solutions of systems of equations using interval analysisBIT Numerical Mathematics, 1981
- Consistency in networks of relationsArtificial Intelligence, 1977
- Newton-Algorithmen zur Bestimmung von Nullstellen mit FehlerschrankenComputing, 1969