Concepedia

Jeremy Avigad

JA

Statistics

Publications

47

Citations

1.5K

H-Index

23

Active since

1996

Affiliations

Carnegie Mellon University(Current)

Jeremy Avigad is an author at Carnegie Mellon University specializing in mathematics, natural sciences, and computer science.

Publications per year

1996–2024

47

Publications

47

A FORMAL SYSTEM FOR EUCLID’S<i>ELEMENTS</i>

Jeremy Avigad, Edward Dean, John Mumma · The Review of Symbolic Logic · 2009 · 144 citations · Full text

Computing, Computer Science, Diagramming +12

Formally verified mathematics

Jeremy Avigad, John Harrison · Communications of the ACM · 2014 · 95 citations

Computing, Computer Science, Mathematics +13

Local stability of ergodic averages

Jeremy Avigad, Philipp Gerhardy, Henry Towsner · Transactions of the American Mathematical Society · 2009 · 95 citations · Full text

Natural Sciences, Mathematics, Dynamical Systems +14

Delta-Decidability over the Reals

Sicun Gao, Jeremy Avigad, Edmund M. Clarke · 2012 · 79 citations

Computing, Computer Science, Mathematics +15

A metaprogramming framework for formal verification

Gabriel Ebner, Sebastian Ullrich, Jared Roesch et al. · Proceedings of the ACM on Programming Languages · 2017 · 79 citations · Full text

Computing, Computer Science, Formal Methods +16

1–5 of 47