Travelled to:1 × Croatia
1 × Germany
1 × Ireland
1 × USA
1 × United Kingdom
Collaborated with:S.Gao E.M.Clarke K.Donnelly ∅ L.M.d.Moura S.Kong F.v.Doorn J.v.Raumer
Talks about:real (2) procedur (1) function (1) theorem (1) satisfi (1) isabell (1) definit (1) complet (1) skolem (1) prover (1)
Person: Jeremy Avigad
DBLP: Avigad:Jeremy
Contributed to:
2015
2012
201220042001Wrote 5 papers:
- CADE-2015-MouraKADR #agile #proving #theorem proving
- The Lean Theorem Prover (LMdM, SK, JA, FvD, JvR), pp. 378–388.
- IJCAR-2012-GaoAC #satisfiability
- δ-Complete Decision Procedures for Satisfiability over the Reals (SG, JA, EMC), pp. 286–300.
- LICS-2012-GaoAC
- Delta-Decidability over the Reals (SG, JA, EMC), pp. 305–314.
- IJCAR-2004-AvigadD #formal method #higher-order
- Formalizing O Notation in Isabelle/HOL (JA, KD), pp. 357–371.
- LICS-2001-Avigad #first-order #logic
- Eliminating Definitions and Skolem Functions in First-Order Logic (JA), pp. 139–146.