E-LIB Suche - Ergebnisse für: Avigad, Jeremy - Sprache DE

Personensuche X

Sortierung: Relevanz

Sortierung: Jahr

1

Mathematical logic and computation:

Avigad, Jeremy , 2023

Link: https://doi.org/10.1017/..

2

Verified Encodings for SAT Solvers:

, In: 2023 Formal Methods in Computer-Aided Design (FMCAD),

Codel, Cayden R. ; Avigad, Jeremy ; Heule, Marijn J. H. - p. 141-151 , 2023

Link: https://doi.org/10.34727..

3

An Impossible Asylum:

Avigad, Jeremy ; Baek, Seulkee ; Bentkamp, Alexander..
The American Mathematical Monthly. , 2023

Link: https://doi.org/10.1080/..

4

What We Talk About When We Talk About Mathematics:

, In: Archimedes; The Richness of the History of Mathematics,

Avigad, Jeremy - p. 651-658 , 2023

Link: https://doi.org/10.1007/..

5

Verified reductions for optimization:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Bentkamp, Alexander ; Mir, Ramon Fernández ; Avigad, Jeremy - p. 74-92 , 2023

Link: https://doi.org/10.1007/..

6

The Edinburgh Companion to Twentieth-Century Philosophies:

Boundas, Constantin ; Ames, Roger T. ; Angelova, Emilia... , [2022]

Link: https://doi.org/10.1515/..

7

A verified algebraic representation of cairo program execut..:

, In: Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs,

Avigad, Jeremy ; Goldberg, Lior ; Levit, David.. - p. 153-165 , 2022

Link: https://dl.acm.org/doi/1..

8

TWO-SORTED FREGE ARITHMETIC IS NOT CONSERVATIVE:

MACKERETH, STEPHEN ; AVIGAD, JEREMY
The Review of Symbolic Logic. 16 (2022) 4 - p. 1199-1232 , 2022

Link: https://doi.org/10.1017/..

9

Preface: Selected Extended Papers from Interactive Theorem ..:

Avigad, Jeremy ; Mahboubi, Assia
Journal of Automated Reasoning. 64 (2020) 5 - p. 793-794 , 2020

Link: https://doi.org/10.1007/..

10

Reliability of mathematical inference:

Avigad, Jeremy
Synthese. 198 (2020) 8 - p. 7377-7399 , 2020

Link: https://doi.org/10.1007/..

11

The Mechanization of Mathematics:

, In: The Best Writing on Mathematics 2019,

Avigad, Jeremy - p. 150-170 , 2019

Link: https://doi.org/10.1515/..

12

Algorithmic barriers to representing conditional independen..:

, In: Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science,

Ackerman, Nathanael L. ; Avigad, Jeremy ; Freer, Cameron E... - p. 1-13 , 2019

Link: https://dl.acm.org/doi/1..

13

Learning Logic and Proof with an Interactive Theorem Prover:

, In: Proof Technology in Mathematics Research and Teaching; Mathematics Education in the Digital Era,

Avigad, Jeremy - p. 277-290 , 2019

Link: https://doi.org/10.1007/..

14

The Mechanization of Mathematics:

, In: The Best Writing on Mathematics 2019,

Avigad, Jeremy - p. 150-170 , 2019

Link: https://doi.org/10.2307/..

15

Interactive Theorem Proving

9th International Conference, ITP 2018, Held as Part of the... Lecture Notes in Computer Science ; 10895;Theoretical Computer Science and General Issues ; 10895;SpringerLink, Bücher

Avigad, Jeremy ; Mahboubi, Assia , 2018

Link: http://dx.doi.org/10.100..

1-15