Loading...
Please wait, while we are loading the content...
Similar Documents
Algorithm xxx: alphacertified: certifying solutions to polynomial systems (2011).
| Content Provider | CiteSeerX |
|---|---|
| Author | Hauenstein, Jonathan D. Sottile, Frank |
| Abstract | Smale’s α-theory uses estimates related to the convergence of Newton’s method to certify that Newton iterations will converge quadratically to solutions to a square polynomial system. The program alphaCertified implements algorithms based on α-theory to certify solutions of polynomial systems using both exact rational arithmetic and arbitrary precision floating point arithmetic. It also implements algorithms that certify whether a given point corresponds to a real solution, and algorithms to heuristically validate solutions to overdetermined systems. Examples are presented to demonstrate the algorithms. |
| File Format | |
| Publisher Date | 2011-01-01 |
| Access Restriction | Open |
| Subject Keyword | Certifying Solution Polynomial System Algorithm Xxx Arbitrary Precision Polynomial System Exact Rational Arithmetic Implement Algorithm Overdetermined System Point Corresponds Newton Iteration Square Polynomial System Smale Theory Real Solution Newton Method |
| Content Type | Text |
