3 results
3 - Algorithmic randomness and constructive/computable measure theory
-
-
- Book:
- Algorithmic Randomness
- Published online:
- 07 May 2020
- Print publication:
- 07 May 2020, pp 58-114
-
- Chapter
- Export citation
A FORMAL PROOF OF THE KEPLER CONJECTURE
- Part of
-
- Journal:
- Forum of Mathematics, Pi / Volume 5 / 2017
- Published online by Cambridge University Press:
- 29 May 2017, e2
-
- Article
-
- You have access
- Open access
- Export citation
Oscillation and the mean ergodic theorem for uniformly convex Banach spaces
-
- Journal:
- Ergodic Theory and Dynamical Systems / Volume 35 / Issue 4 / June 2015
- Published online by Cambridge University Press:
- 10 January 2014, pp. 1009-1027
- Print publication:
- June 2015
-
- Article
- Export citation