Formal Proofs for Theoretical Properties of Newton's Method

Mathematical Structures in Computer Science - United Kingdom
doi 10.1017/s0960129511000077
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Cambridge University Press (CUP)

Related search

Newton's Method for Multiobjective Optimization

SIAM Journal on Optimization
Theoretical Computer ScienceSoftware
2009English

Formal Proofs of Code Generation and Verification Tools

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Multiple Attractors in Newton's Method

Ergodic Theory and Dynamical Systems
MathematicsApplied Mathematics
1986English

From Formal Proofs to Mathematical Proofs: A Safe, Incremental Way for Building in First-Order Decision Procedures

IFIP International Federation for Information Processing
English

Generalized Quasilinearization Versus Newton's Method for Convex-Concave Functions

Journal of Mathematics Research
2010English

Properties of Co-Operations: Diagrammatic Proofs

Mathematical Structures in Computer Science
MathematicsComputer Science Applications
2012English

Algebraic Proofs of Properties of Objects

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1994English

A Fast Newton's Method for a Nonsymmetric Algebraic Riccati Equation

SIAM Journal on Matrix Analysis and Applications
Analysis
2008English

Preconditioning Techniques for Newton's Method for the Incompressible Navier–Stokes Equations

BIT Numerical Mathematics
Computer NetworksApplied MathematicsSoftwareComputational MathematicsCommunications
2003English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy