Three Cuts for Accelerated Interval Propagation
This paper addresses the problem of nonlinear multivariate root finding. In an earlier paper we described a system called Newton which finds roots of systems of nonlinear equations using refinements of interval methods. The refinements are inspired by AI constraint propagation techniques. New...
Main Authors: | McAllester, D., Henlenryck, P. Van, Kapur, T. |
---|---|
Language: | en_US |
Published: |
2004
|
Online Access: | http://hdl.handle.net/1721.1/6642 |
Similar Items
-
A Three Valued Truth Maintenance System
by: McAllester, David A.
Published: (2004) -
Automatic Recognition of Tractability in Inference Relations
by: McAllester, David
Published: (2004) -
Observations on Cognitive Judgments
by: McAllester, David
Published: (2004) -
Grammar Rewriting
by: McAllester, David
Published: (2004) -
The Use of Equality in Deduction and Knowledge Representation
by: McAllester, David Allen
Published: (2004)