◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

J. Avigad

39 papers hereh-index 304.6k citations173 works total

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

author position
  • sole author9
  • first author21
  • middle author6
  • last author3

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

fields
  • math.LO11
  • cs.LO10
  • math.HO5
  • math.DS3
  • cs.MS2
  • math.FA2
same name
  • J. Avigad — 1 paper, h 0

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
20052025
most citedA formal system for Euclid's Elements

149 citations · 517 across the 29 of their papers we have counts for

collaborators
Showing 2023 · cs.LOShow all

1 paper · 2 filters

cs.LO2023

Verified reductions for optimization

Alexander Bentkamp, Ramon Fernández Mir, Jeremy Avigad

Numerical and symbolic methods for optimization are used extensively in engineering, industry, and finance. Various methods are used to reduce problems of interest to ones that are…

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