Jeremy Avigad Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSicun Gao, Jeremy Avigad, Edmund M. Clarke: Delta-Complete Decision Procedures for Satisfiability over the Reals CoRR abs/1204.3513: (2012)
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSicun Gao, Jeremy Avigad, Edmund M. Clarke: Delta-Decidability over the Reals CoRR abs/1204.6671: (2012)
2011
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeremy Avigad: Type inference in mathematics CoRR abs/1111.5885: (2011)
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMurali Sitaraman, Bruce M. Adcock, Jeremy Avigad, Derek Bronish, Paolo Bucci, David Frazier, Harvey M. Friedman, Heather K. Harton, Wayne D. Heym, Jason Kirschenbaum, Joan Krone, Hampton Smith, Bruce W. Weide: Building a push-button RESOLVE verifier: Progress and challenges. Formal Asp. Comput. 23(5): 607-626 (2011)
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Asperti, Jeremy Avigad: Zen and the art of formalisation. Mathematical Structures in Computer Science 21(4): 679-682 (2011)
2010
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeremy Avigad: Handbook of Practical Logic and Automated Reasoning, John Harrison, Cambridge University Press, 2009. Hardcover, ISBN-13: 978-0-521-89957-4, 681 pp. + xix, $135.00. TPLP 10(2): 237-241 (2010)
2009
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeremy Avigad: The metamathematics of ergodic theory. Ann. Pure Appl. Logic 157(2-3): 64-76 (2009)
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeremy Avigad, Henry Towsner: Functional interpretation and inductive definitions. J. Symb. Log. 74(4): 1100-1120 (2009)
2008
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteven Kieffer, Jeremy Avigad, Harvey Friedman: A language for mathematical language management CoRR abs/0805.1386: (2008)
2007
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeremy Avigad, Kevin Donnelly, David Gray, Paul Raff: A formally verified proof of the prime number theorem. ACM Trans. Comput. Log. 9(1): (2007)
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeremy Avigad, Kevin Donnelly: A decision procedure for linear "big O" equations CoRR abs/cs/0701073: (2007)
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeremy Avigad, Kevin Donnelly: A Decision Procedure for Linear "Big O" Equations. J. Autom. Reasoning 38(4): 353-373 (2007)
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeremy Avigad, Yimu Yin: Quantifier elimination for the reals with a predicate for the powers of two. Theor. Comput. Sci. 370(1-3): 48-59 (2007)
2006
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeremy Avigad, Ksenija Simic: Fundamental notions of analysis in subsystems of second-order arithmetic. Ann. Pure Appl. Logic 139(1-3): 138-184 (2006)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeremy Avigad, Harvey Friedman: Combining decision procedures for the reals CoRR abs/cs/0601134: (2006)
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeremy Avigad, Yimu Yin: Quantifier elimination for the reals with a predicate for the powers of two CoRR abs/cs/0610117: (2006)
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeremy Avigad, Harvey Friedman: Combining decision procedures for the reals. Logical Methods in Computer Science 2(4): (2006)
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeremy Avigad: Mathematical Method and Proof. Synthese 153(1): 105-159 (2006)
2005
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArnold Beckmann, Jeremy Avigad, Georg Moser: Preface. Ann. Pure Appl. Logic 136(1-2): 1-2 (2005)
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeremy Avigad, Kevin Donnelly, David Gray, Paul Raff: A formally verified proof of the prime number theorem CoRR abs/cs/0509025: (2005)
2004
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeremy Avigad, Kevin Donnelly: Formalizing O Notation in Isabelle/HOL. IJCAR 2004: 357-371
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeremy Avigad: Forcing in proof theory. Bulletin of Symbolic Logic 10(3): 305-333 (2004)
2003
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeremy Avigad: Eliminating definitions and Skolem functions in first-order logic. ACM Trans. Comput. Log. 4(3): 402-415 (2003)
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeremy Avigad: Erratum to "Saturated models of universal theories": [Ann. Pure Appl. Logic 118 (2002) 219-234]. Ann. Pure Appl. Logic 121(2-3): 285- (2003)
2002
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeremy Avigad: Saturated models of universal theories. Ann. Pure Appl. Logic 118(3): 219-234 (2002)
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeremy Avigad: Update Procedures and the 1-Consistency of Arithmetic. Math. Log. Q. 48(1): 3-13 (2002)
2001
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeremy Avigad: Eliminating Definitions and Skolem Functions in First-Order Logic. LICS 2001: 139-146
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeremy Avigad: Algebraic proofs of cut elimination. J. Log. Algebr. Program. 49(1-2): 15-30 (2001)
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeremy Avigad: Review of "Basic proof theory: second edition" by A. S. Troelstra and H. Schwichtenberg. Cambridge University Press. SIGACT News 32(2): 15-19 (2001)
2000
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeremy Avigad: Interpreting Classical Theories in Constructive Ones. J. Symb. Log. 65(4): 1785-1812 (2000)
1999
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeremy Avigad, Richard Sommer: The Model-Theoretic Ordinal Analysis of Theories of Predicative Strength. J. Symb. Log. 64(1): 327-349 (1999)
1998
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeremy Avigad: Predicative Functionals and an Interpretation of ID<omega. Ann. Pure Appl. Logic 92(1): 1-34 (1998)
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeremy Avigad: An effective proof that open sets are Ramsey. Arch. Math. Log. 37(4): 235-240 (1998)
1997
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeremy Avigad, Richard Sommer: A model-theoretic approach to ordinal analysis. Bulletin of Symbolic Logic 3(1): 17-52 (1997)
1996
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeremy Avigad: Formalizing Forcing Arguments in Subsystems of Second-Order Arithmetic. Ann. Pure Appl. Logic 82(2): 165-191 (1996)
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeremy Avigad: On the Relationship Between ATR0 and ID<omega. J. Symb. Log. 61(3): 768-779 (1996)

Coauthor Index

1Bruce M. Adcock [33]
2Andrea Asperti [32]
3Arnold Beckmann [18]
4Derek Bronish [33]
5Paolo Bucci [33]
6Edmund M. Clarke [35] [36]
7Kevin Donnelly [16] [17] [25] [26] [27]
8David Frazier [33]
9Harvey M. Friedman (Harvey Friedman) [20] [22] [28] [33]
10Sicun Gao [35] [36]
11David Gray [17] [27]
12Heather K. Harton [33]
13Wayne D. Heym [33]
14Steven Kieffer [28]
15Jason Kirschenbaum [33]
16Joan Krone [33]
17Georg Moser [18]
18Paul Raff [17] [27]
19Ksenija Simic [23]
20Murali Sitaraman [33]
21Hampton Smith [33]
22Richard Sommer [3] [6]
23Henry Towsner [29]
24Bruce W. Weide [33]
25Yimu Yin [21] [24]

Colors in the list of coauthors

Last update Thu May 24 01:13:30 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page