The following pages link to Vincent Martin (Q654263):
Displayed 18 items.
- Analysis of a stabilized finite element method for fluid flows through a porous interface (Q654264) (← links)
- Adaptive inexact semismooth Newton methods for the contact problem between two membranes (Q785598) (← links)
- A posteriori estimates distinguishing the error components and adaptive stopping criteria for numerical approximations of parabolic variational inequalities (Q2021152) (← links)
- A posteriori error estimates for a compositional two-phase flow with nonlinear complementarity constraints (Q2192775) (← links)
- A stabilized Lagrange multiplier finite-element method for flow in porous media with fractures (Q2320410) (← links)
- A Lagrange multiplier method for a discrete fracture model for flow in porous media (Q2418668) (← links)
- A Coq formalization of Lebesgue integration of nonnegative functions (Q2673304) (← links)
- Projection Schemes for Fluid Flows through a Porous Interface (Q3095073) (← links)
- (Q3154575) (← links)
- Numerical simulation of blood flows through a porous interface (Q3536746) (← links)
- Flow chart for numerical coupling of dynamic problems in elastic media (Q4698175) (← links)
- Modeling Fractures and Barriers as Interfaces for Flow in Porous Media (Q5318321) (← links)
- Parameter identification for a one-dimensional blood flow model (Q5695357) (← links)
- (Q5756972) (← links)
- A Coq formalization of Lebesgue induction principle and Tonelli's theorem (Q6174524) (← links)
- Lebesgue integration. Detailed proofs to be formalized in Coq (Q6358295) (← links)
- A Coq Formalization of Lebesgue Integration of Nonnegative Functions (Q6365053) (← links)
- Lebesgue Induction and Tonelli's Theorem in Coq (Q6390730) (← links)