Zobrazeno 1 - 10
of 95
pro vyhledávání: '"Jeremy Avigad"'
Publikováno v:
Journal of Logic and Analysis, Vol 4, Iss 0 (2012)
Externí odkaz:
https://doaj.org/article/d6ae813f1af34ad19b5bb7cfabcf3399
Autor:
Jeremy Avigad, Harvey Friedman
Publikováno v:
Logical Methods in Computer Science, Vol Volume 2, Issue 4 (2006)
We address the general problem of determining the validity of boolean combinations of equalities and inequalities between real-valued expressions. In particular, we consider methods of establishing such assertions using only restricted forms of distr
Externí odkaz:
https://doaj.org/article/85445df18c4f4f9cac111aec937a9965
Autor:
STEPHEN MACKERETH, JEREMY AVIGAD
Publikováno v:
The Review of Symbolic Logic. :1-34
Neo-Fregean logicists claim that Hume’s Principle (HP) may be taken as an implicit definition of cardinal number, true simply by fiat. A long-standing problem for neo-Fregean logicism is thatHPis not deductively conservative over pure axiomatic sec
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783031308192
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 amenable to solution by these methods. We develop a framework for des
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7b7ee933ea2673d51bad314f1ea62456
https://doi.org/10.1007/978-3-031-30820-8_8
https://doi.org/10.1007/978-3-031-30820-8_8
Autor:
Jeremy Avigad
This new book on mathematical logic by Jeremy Avigad gives a thorough introduction to the fundamental results and methods of the subject from the syntactic point of view, emphasizing logic as the study of formal languages and systems and their proper
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f07cd943abc718bb27a4d65cb36aa31f
https://doi.org/10.1017/9781108778756
https://doi.org/10.1017/9781108778756
Autor:
Jeremy Avigad
Publikováno v:
Bulletin of the American Mathematical Society. 59:99-117
Autor:
Jeremy Avigad
Publikováno v:
Synthese. 198:7377-7399
Of all the demands that mathematics imposes on its practitioners, one of the most fundamental is that proofs ought to be correct. It has been common since the turn of the twentieth century to take correctness to be underwritten by the existence of fo
Cryptographic interactive proof systems provide an efficient and scalable means of verifying the results of computation on blockchain. A prover constructs a proof, off-chain, that the execution of a program on a given input terminates with a certain
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c68d77b4f2654a521afcd5fbc0de8cc9
http://arxiv.org/abs/2109.14534
http://arxiv.org/abs/2109.14534
Autor:
Jeremy Avigad, Floris van Doorn
Publikováno v:
2021 IEEE International Conference on Autonomous Systems (ICAS).
We consider a perimeter surveillance problem introduced by Kingston, Beard, and Holt in 2008 and studied by Davis, Humphrey, and Kingston in 2019. In this problem, $n$ drones surveil a finite interval, moving at uniform speed and exchanging informati