56 search results - page 7 / 12 » Complex Interval Arithmetic Using Polar Form |
116
click to vote
ECAI
2000
Springer
15 years 5 months ago
2000
Springer
Many complex real-world decision problems, such as planning, contain an underlying constraint reasoning problem. The feasibility of a solution candidate then depends on the consis...
106
click to vote
CP
2008
Springer
15 years 3 months ago
2008
Springer
It is acknowledged that the symbolic form of the equations is crucial for interval-based solving techniques to efficiently handle systems of equations over the reals. However, only...
FOCM
2010
15 years 2 days ago
2010
Abstract. An automated method of general purpose is introduced for computing a rigorous estimate of a bounded region in Rn whose points satisfy a given property. The method is base...
114
click to vote
ICALP
2004
Springer
15 years 7 months ago
2004
Springer
We present a domain-theoretic version of Picard’s theorem for solving classical initial value problems in Rn . For the case of vector fields that satisfy a Lipschitz condition, ...
119
click to vote
CORR
2008
Springer
15 years 1 months ago
2008
Springer
High confidence in floating-point programs requires proving numerical properties of final and intermediate values. One may need to guarantee that a value stays within some range, ...