◍wovepaper
SearchResearchersInstitutions
Sign in
institution

New York Times

United States

8 papers here123 citations across 8
fields
  • astro-ph.IM1
  • cs.HC1
  • cs.LG1
  • cs.LO1
  • cs.NI1
  • cs.SE1
  • physics.ins-det1
  • physics.med-ph1
ROR 011w6k548OpenAlex

affiliations via OpenAlex

output
20092025
most citedTowards Space-like Photometric Precision from the Ground with Beam-Shaping Diffusers

102 citations

researchers with a paper here
  • P. Schiavone2 · h 17
  • Adam Coscia1 · h 5
  • A. D. Marco1 · h 2
  • Adrien Pavão1
  • A. Endert1 · h 40
  • B. Morris1 · h 27
  • C. Bender1 · h 35
  • C. Gray1 · h 8
  • Daan Oppenhuis1 · h 1
  • Daniel R. Utter1 · h 1
  • D. Caress1 · h 35
  • E. Promayon1 · h 18
collaborating institutions
  • California Institute of TechnologyUS2 papers
  • ArtCenter College of DesignUS1 paper
  • CEA GrenobleFR1 paper
  • Centre National de la Recherche ScientifiqueFR1 paper
  • Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR1 paper
  • École des hautes études en sciences socialesFR1 paper
  • École Normale Supérieure de LyonFR1 paper
  • Foresight Science & Technology (United States)US1 paper
  • Georgia Institute of TechnologyUS1 paper
  • Harvard University PressUS1 paper
  • Hobart and William Smith CollegesUS1 paper
  • Institut de génétique et de développement de RennesFR1 paper
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2018

Formalizing the Cox-Ross-Rubinstein pricing of European derivatives in Isabelle/HOL

Mnacho Echenim, Hervé Guiol, Nicolas Peltier

We formalize in the proof assistant Isabelle essential basic notions and results in financial mathematics. We provide generic formal definitions of concepts such as markets, portfo…

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