An Approach for Certifying Homotopy Continuation Paths (Q5120222)
From MaRDI portal
scientific article; zbMATH DE number 7245542
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An Approach for Certifying Homotopy Continuation Paths |
scientific article; zbMATH DE number 7245542 |
Statements
An Approach for Certifying Homotopy Continuation Paths (English)
0 references
9 September 2020
0 references
certified computation
0 references
homotopy continuation
0 references
interval arithmetic
0 references
well-isolated roots
0 references
