Numerical certification: Difference between revisions

Content deleted Content added
Interval Newton: corrected link
Interval arithmetic: a little expansion
Line 58:
{{Main|Interval arithmetic}}
 
Interval arithmetic can be used to provide an ''a priori'' numerical certificate by computing intervals containing unique solutions. By using intervals instead of plain numeric types during path tracking, resulting candidates are represented by intervals. The candidate solution-interval is itself the certificate, in the sense that the solution is guaranteed to be inside the interval.
 
=== Condition numbers ===