Formal proofs for theoretical properties of Newton s method

Ioana Pasca. Formal proofs for theoretical properties of Newton s method. Mathematical Structures in Computer Science, 21(4):683-714, 2011. [doi]

Abstract

Abstract is missing.