Techniqueresearch
Selberg's sieve
Also called Selberg upper bound sieve, Selberg lambda-squared sieve.
Upper-bound sieve that optimises quadratic weights, giving sharper bounds than Brun's sieve.
Upper-bound sieve that optimises quadratic weights, giving sharper bounds than Brun's sieve.
About this page
The build computes these levels from the evidence in the repository. Each row says what the next level needs. Read what the levels mean.
| Ladder | Level | What the next level needs |
|---|---|---|
| Human proof | H0 no proof |
|
| Lean | L0 no Lean part |
|
| Visual | V0 none |
|
| Writing | W0 stub |
|
Tag R9GF09 Edit this page History Report an error