◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Franccois Cl'ement

18 papers hereh-index 449 citations21 works total

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

author position
  • sole author2
  • first author10
  • middle author6

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

fields
  • cs.LO6
  • math.CO4
  • cs.LG2
  • math.CA2
  • cs.CG1
  • math.NA1

identity via Semantic Scholar / OpenAlex

activity
20212026
most citedLebesgue integration. Detailed proofs to be formalized in Coq

1 citations · 2 across the 18 of their papers we have counts for

collaborators
Showing 2021Show all

1 paper · 1 filter

cs.LO2021★ 1 cited

Lebesgue integration. Detailed proofs 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.