Sciweavers

118 search results - page 3 / 24
» A simple proof of Bazzi's theorem
Sort
View
EJC
2008
15 years 6 months ago
A simple proof for open cups and caps
Let X be a set of points in general position in the plane. General position means that no three points lie on a line and no two points have the same x-coordinate. Y X is a cup, r...
Jakub Cerný
CSL
2007
Springer
16 years 6 days ago
From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic
Abstract. Probably the most significant result concerning cut-free sequent calculus proofs in linear logic is the completeness of focused proofs. This completeness theorem has a n...
Dale Miller, Alexis Saurin
LCC
1994
209views Algorithms» more  LCC 1994»
15 years 10 months ago
On Herbrand's Theorem
We firstly survey several forms of Herbrand's theorem. What is commonly called "Herbrand's theorem" in many textbooks is actually a very simple form of Herbrand...
Samuel R. Buss
IPL
2000
77views more  IPL 2000»
15 years 5 months ago
Simplified proof of the Fourier Sampling Theorem
We give a short and simple proof of Hales and Hallgren's Fourier Sampling Theorem ["Quantum Fourier Sampling Simplified", Proceedings of the Thirty-First Annual ACM...
Peter Høyer
ISCAS
2005
IEEE
139views Hardware» more  ISCAS 2005»
15 years 11 months ago
The missing observations theorem and a new proof of Levinson's recursion
— A principle of linear mean-square estimation which we call the “missing observations theorem” is presented here and used to provide a simple alternative derivation of Levin...
Charles W. Therrien