Formal proofs for theoretical properties of Newton's method (Q3094171)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formal proofs for theoretical properties of Newton's method |
scientific article |
Statements
Formal proofs for theoretical properties of Newton's method (English)
0 references
21 October 2011
0 references
Newton's method
0 references
Kantorovitch's theorem
0 references
proof assistant \texttt{Coq}
0 references
numerical algorithm including rounding
0 references
