Vincent Martin

Available identifiers

zbMath Open martin.vincentMaRDI QIDQ654263

List of research outcomes

Publication	Date of Publication	Type
Stabilization of approximate GHZ state with quasi-local couplings	2024-07-08	Paper
A Coq formalization of Lebesgue induction principle and Tonelli's theorem	2023-08-17	Paper
A Coq formalization of Lebesgue integration of nonnegative functions	2022-06-09	Paper
Lebesgue Induction and Tonelli's Theorem in Coq	2022-02-10	Paper
A posteriori estimates distinguishing the error components and adaptive stopping criteria for numerical approximations of parabolic variational inequalities	2021-04-26	Paper
A Coq Formalization of Lebesgue Integration of Nonnegative Functions	2021-04-12	Paper
Lebesgue integration. Detailed proofs to be formalized in Coq	2021-01-14	Paper
A posteriori error estimates for a compositional two-phase flow with nonlinear complementarity constraints	2020-08-18	Paper
Adaptive inexact semismooth Newton methods for the contact problem between two membranes	2020-08-07	Paper
A stabilized Lagrange multiplier finite-element method for flow in porous media with fractures	2019-08-23	Paper
A Lagrange multiplier method for a discrete fracture model for flow in porous media	2019-05-28	Paper
Analysis of a stabilized finite element method for fluid flows through a porous interface	2011-12-28	Paper
Projection Schemes for Fluid Flows through a Porous Interface	2011-10-28	Paper
Numerical simulation of blood flows through a porous interface	2008-11-21	Paper
Elements of general acoustics. Some common places of acoustics for a first experience with sound fields	2007-09-06	Paper
Parameter identification for a one-dimensional blood flow model	2005-10-12	Paper
Modeling Fractures and Barriers as Interfaces for Flow in Porous Media	2005-09-22	Paper
https://portal.mardi4nfdi.de/entity/Q3154575	2005-01-14	Paper
Flow chart for numerical coupling of dynamic problems in elastic media	1995-09-10	Paper

Research outcomes over time

This page was built for person: Vincent Martin