scientific article; zbMATH DE number 1927426
From MaRDI portal
Publication:4484344
zbMATH Open1013.68203MaRDI QIDQ4484344FDOQ4484344
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
Title of this publication is not available (Why is that?)
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)
- Formally verified approximations of definite integrals
- Title not available (Why is that?)
- Wave equation numerical resolution: a comprehensive mechanized proof of a C program
- Title not available (Why is that?)
- Title not available (Why is that?)
- Formal proof of a wave equation resolution scheme: the method error
Uses Software
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)
