Computability of Probability Distributions and Characteristic Functions
DOI10.2168/LMCS-9(3:9)2013zbMath1284.03218arXiv1307.6357OpenAlexW2138501113MaRDI QIDQ2846581
Mariko Yasugi, Takakazu Mori, Yoshiki Tsujii
Publication date: 6 September 2013
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1307.6357
characteristic functioncomputable functioncomputable probability distributioneffective convergence of functionseffective convergence of probability distributions
Central limit and other weak theorems (60F05) Distribution theory (60E99) Theory of numerations, effectively presented structures (03D45) Computation over the reals, computable analysis (03D78)
Related Items (1)
This page was built for publication: Computability of Probability Distributions and Characteristic Functions