◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Vincent Martin

5 papers hereh-index 7122 citations13 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • first author1
  • middle author2
  • last author2

Across the 5 of 5 papers where every author was matched, so the position is known.

fields
  • cs.LO4
  • quant-ph1
same name
  • Vincent Martin — 3 papers, h 1
  • Vincent Martin — 2 papers, h 2
  • Vincent Martin — 2 papers, h 1
  • Vincent Martin — 1 paper, h 25
  • Vincent Martin — 1 paper, h 6

Either other researchers who publish under this name, or the same person where the external sources have not merged their records.

identity via Semantic Scholar / OpenAlex

activity
20162022
most citedThe Lax-Milgram Theorem. A detailed proof to be formalized in Coq

4 citations · 6 across the 5 of their papers we have counts for

collaborators
Showing 2016Show all

1 paper · 1 filter

cs.LO2016★ 4 cited

The Lax-Milgram Theorem. A detailed proof to be formalized in Coq

François Clément, Vincent Martin

To obtain the highest confidence on the correction of numerical simulation programs implementing the finite element method, one has to formalize the mathematical notions and result…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.