1322 search results - page 34 / 265 » Unsound Theorem Proving |
JCT
2010
13 years 6 months ago
2010
We prove a generalization of Pr¨omel’s theorem to finite structures with both relations and functions.
ECCC
2007
13 years 7 months ago
2007
We give a self-contained exposition of selected results in additive combinatorics over the group GF(2)n = {0, 1}n. In particular, we prove the celebrated theorems known as the Bal...
STACS
2012
Springer
12 years 3 months ago
2012
Springer
The Denjoy-Young-Saks Theorem from classical analysis states that for an arbitrary function f : R → R, the Denjoy alternative holds outside a null set, i.e., for almost every re...
JSYML
2006
13 years 7 months ago
2006
Abstract. Let T be a positive L1-L contraction. We prove that the following statements are equivalent in constructive mathematics.
SODA
2010
ACM
14 years 5 months ago
2010
ACM
The linear deterministic model of relay channels is a generalization of the traditional directed network model which has become popular in the study of the flow of information ove...