Solving Nonlinear Equations by Abstraction, Gaussian Elimination, and Interval Methods

This publication has 8 references indexed in Scilit:

• Symbolic-interval cooperation in constraint programming
  Published by Association for Computing Machinery (ACM) ,2001
• Algorithmic Power from Declarative Use of Redundant Constraints
  Constraints, 1999
• Interval solution of nonlinear equations using linear programming
  BIT Numerical Mathematics, 1998
• Applying interval arithmetic to real, integer, and boolean constraints
  The Journal of Logic Programming, 1997
• Numerica
  Published by MIT Press ,1997
• Solving Polynomial Systems Using a Branch and Prune Approach
  SIAM Journal on Numerical Analysis, 1997
• A DISTRIBUTED COOPERATING CONSTRAINTS SOLVING SYSTEM
  International Journal on Artificial Intelligence Tools, 1995
• The CLP( ℛ ) language and system
  ACM Transactions on Programming Languages and Systems, 1992