◍wovepaper
SearchResearchersInstitutions
Sign in
institution

Lambda Science (United States)

United States

8 papers here5 citations across 8
fields
  • cs.LO2
  • astro-ph.IM1
  • cond-mat.supr-con1
  • cs.NI1
  • cs.PL1
  • math.GT1
  • math.PR1
ROR 04wae4s50OpenAlex

affiliations via OpenAlex

output
20082024
most citedDiscrete Jordan Curve Theorem: A proof formalized in Coq with hypermaps

3 citations

researchers with a paper here
  • Jean-François Dufourd2 · h 15
  • A. Duda1 · h 35
  • A. Jalobeanu1 · h 13
  • Arnaud Guillin1 · h 3
  • Boris Nectoux1 · h 4
  • B. Sonntag1 · h 4
  • C. Collet1 · h 26
  • C. J. van der Beek1 · h 11
  • C. Oliveira1 · h 7
  • Dahlia teams1 · h 0
  • D. Colson1 · h 38
  • D.-I. Lu1 · h 1
collaborating institutions
  • Centre National de la Recherche ScientifiqueFR2 papers
  • Université de StrasbourgFR2 papers
  • American Industrial Partners (United States)US1 paper
  • American Institute of PhysicsUS1 paper
  • Balseiro InstituteAR1 paper
  • Bariloche Atomic CentreAR1 paper
  • CEA Paris-SaclayFR1 paper
  • Centre de Recherche Astrophysique de LyonFR1 paper
  • Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR1 paper
  • Dalian University of TechnologyCN1 paper
  • Harbin Institute of TechnologyCN1 paper
  • Institute of MiningRU1 paper
Showing math.PRShow all

1 paper · 1 filter

math.PR2024

Generalized Langevin And Nos{é}-hoover Processes Absorbed At The Boundary Of A Metastable Domain

Arnaud Guillin, D I Lu, Boris Nectoux +1

In this paper, we prove in a very weak regularity setting existence and uniqueness of quasi-stationary distributions as well as exponential conver- gence towards the quasi-stationa…

◍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.