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
    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
    0 references
    0 references
    0 references

    Identifiers