Formal proofs for theoretical properties of Newton's method

  • Ioana Pasca
  • Published 2011 in Mathematical Structures in Computer Science


We discuss a formal development for the certification of Newton’s method. We address several issues encountered in the formal study of numerical algorithms: developing the necessary libraries for our proofs, adapting paper proofs to suit the features of a proof assistant, and designing new proofs based on the existing ones to deal with optimizations of the… (More)
DOI: 10.1017/S0960129511000077


2 Figures and Tables

Cite this paper

@article{Pasca2011FormalPF, title={Formal proofs for theoretical properties of Newton's method}, author={Ioana Pasca}, journal={Mathematical Structures in Computer Science}, year={2011}, volume={21}, pages={683-714} }