The following pages link to Micaela Mayero (Q352950):
Displayed 14 items.
- Wave equation numerical resolution: a comprehensive mechanized proof of a C program (Q352952) (← links)
- Formally verified certificate checkers for hardest-to-round computation (Q2352500) (← links)
- Trusting computations: a mechanized proof from partial differential equations to actual program (Q2398899) (← links)
- Dealing with algebraic expressions over a field in Coq using Maple (Q2456560) (← links)
- A Coq formalization of Lebesgue integration of nonnegative functions (Q2673304) (← links)
- (Q2766807) (← links)
- (Q2852041) (← links)
- Formal Proof of SCHUR Conjugate Function (Q3582705) (← links)
- (Q4484344) (← links)
- Experimenting Formal Proofs of Petri Nets Refinements (Q5403468) (← links)
- Formal Proof of a Wave Equation Resolution Scheme: The Method Error (Q5747647) (← links)
- A Coq formalization of Lebesgue induction principle and Tonelli's theorem (Q6174524) (← links)
- A Coq Formalization of Lebesgue Integration of Nonnegative Functions (Q6365053) (← links)
- Lebesgue Induction and Tonelli's Theorem in Coq (Q6390730) (← links)