Vincent Martin

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Stabilization of approximate GHZ state with quasi-local couplings Journal of Physics A: Mathematical and Theoretical	2024-07-08	Paper
A Coq formalization of Lebesgue induction principle and Tonelli's theorem Formal Methods	2023-08-17	Paper
A Coq formalization of Lebesgue integration of nonnegative functions Journal of Automated Reasoning	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 Computer Methods in Applied Mechanics and Engineering	2021-04-26	Paper
A Coq Formalization of Lebesgue Integration of Nonnegative Functions (available as arXiv preprint)	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 Computational Geosciences	2020-08-18	Paper
Adaptive inexact semismooth Newton methods for the contact problem between two membranes Journal of Scientific Computing	2020-08-07	Paper
A stabilized Lagrange multiplier finite-element method for flow in porous media with fractures GEM - International Journal on Geomathematics	2019-08-23	Paper
A Lagrange multiplier method for a discrete fracture model for flow in porous media Computational Geosciences	2019-05-28	Paper
Analysis of a stabilized finite element method for fluid flows through a porous interface Applied Mathematics Letters	2011-12-28	Paper
Projection Schemes for Fluid Flows through a Porous Interface SIAM Journal on Scientific Computing	2011-10-28	Paper
Numerical simulation of blood flows through a porous interface ESAIM: Mathematical Modelling and Numerical Analysis	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 ESAIM: Proceedings	2005-10-12	Paper
Modeling Fractures and Barriers as Interfaces for Flow in Porous Media SIAM Journal on Scientific Computing	2005-09-22	Paper
scientific article; zbMATH DE number 2127652 (Why is no real title available?)	2005-01-14	Paper
Flow chart for numerical coupling of dynamic problems in elastic media International Journal for Numerical Methods in Engineering	1995-09-10	Paper

Research outcomes over time

This page was built for person: Vincent Martin