scientific article; zbMATH DE number 1927426

MaRDI QIDQ4484344zbMATH OpenFDO

Authors Micaela Mayero

Publication date 12 June 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2410/24100246.htm

Mathematics Subject Classification ID

Numerical differentiation (65D25)

Recommendations

• scientific article; zbMATH DE number 2151186
• Formalization of real analysis: a survey of proof assistants and libraries
• Formal verification of numerical programs: from C annotated programs to mechanical proofs
• scientific article; zbMATH DE number 1259143
• Formal proofs for theoretical properties of Newton's method

Cited in

(6)

• scientific article; zbMATH DE number 2151186 (Why is no real title available?)
• Formally verified approximations of definite integrals
• scientific article; zbMATH DE number 3870469 (Why is no real title available?)
• Wave equation numerical resolution: a comprehensive mechanized proof of a C program
• scientific article; zbMATH DE number 804601 (Why is no real title available?)
• Formal proof of a wave equation resolution scheme: the method error

Describes a project that uses

Uses Software

• Coq
• PVS

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4484344)