Sciweavers

118 search results - page 2 / 24
» A simple proof of Bazzi's theorem
Sort
View
CJ
2006
78views more  CJ 2006»
13 years 5 months ago
A Very Mathematical Dilemma
Mathematics is facing a dilemma at its heart: the nature of mathematical proof. We have known since Church and Turing independently showed that mathematical provability was undeci...
Alan Bundy
ICFP
1999
ACM
13 years 9 months ago
A Simple Proof Technique for Certain Parametricity Results
Many properties of parametric, polymorphic functions can be determined simply by inspection of their types. Such results are usually proven using Reynolds's parametricity the...
Karl Crary
ORL
2006
85views more  ORL 2006»
13 years 5 months ago
A simple proof of diffusion approximations for LBFS re-entrant lines
For a re-entrant line operating under the last-buffer
Jiankui Yang, J. G. Dai, Jian-Gong You, Hanqin Zha...