New proofs of Khinchin's law of large numbers and Lindeberg's central limit theorem -PDE's approach.

Xue Meng Miaomiao Gao Feng Hu

Published in: Math. Found. Comput. (2023)

Keyphrases

central limit theorem
partial differential equations
probability distribution
theorem proving
heavy traffic
anisotropic diffusion
level set
theorem prover
legal reasoning
image processing
image denoising