Login / Signup
A Quantitative Ergodic Theory Proof of Szemerédi's Theorem.
Terence Tao
Published in:
Electron. J. Comb. (2006)
Keyphrases
</>
von neumann
interactive theorem proving
qualitative and quantitative
theoretical basis
markov chain
theoretical framework
image processing
case study
quantitative and qualitative
expert systems
computational model
theorem prover
qualitative models