@article{KYB_1976_12_5_a0,
author = {Havr\'anek, Tom\'a\v{s}},
title = {Statistics and computability},
journal = {Kybernetika},
pages = {303--315},
year = {1976},
volume = {12},
number = {5},
mrnumber = {0445897},
zbl = {0375.62001},
language = {en},
url = {http://geodesic.mathdoc.fr/item/KYB_1976_12_5_a0/}
}
Havránek, Tomáš. Statistics and computability. Kybernetika, Tome 12 (1976) no. 5, pp. 303-315. http://geodesic.mathdoc.fr/item/KYB_1976_12_5_a0/
[1] J. Andel: On interactions in contingency tables. Aplikace matematiky 18 (1973), 99-109. | MR | Zbl
[2] G. Aussiello M. Protasi: On the comparison of notions of approximation. Mathematical Foundations of Computer Science 75 (ed. J. Bečvář), Lecture Notes in Computer Science 32, Springer Heidelberg 1975, 172-178. | MR
[3] COMPSTAT 74 - Proceedings in Computational Statistics. Ed. G. Bruckmann, F. Ferschl, L. Schmetterer, Physica Verlag, Wien 1974. | MR
[4] B. P. Demidovich I. A. Maron: Computational mathematics. Mir, Moskva 1973. | MR
[5] W. Freiberger U. Grenader: A short course in computational probability and statistics. Applied mathematical science 6, Springer, New York 1971.
[6] P. Hájek: Problém obecného pojetí metody GUHA. Kybernetika 4 (1968), 505-515.
[7] P. Hájek: Automatic listing of important observational statements I-III. Kybernetika 9 (1973) and 10 (1974), 187-205, 251-271, 95-124. | MR
[8] P. Hájek: On logic of discovery. Mathematical Foundations of Computer Science 75 (ed. J. Bečvář), Lecture Notes in Computer Science 32, Springer, Heidelberg 1975, 30-45. | MR
[9] P. Hájek I. Havel M. Chytil: GUHA - a method of automatic determination of hypotheses I, II. Kybernetika 2 (1966) and 3 (1967), 31-47, 430-437. | MR
[10] P. Hájek T. Havránek: Mechanized Hypothesis Formation. Book in preparation.
[11] T. Havránek: The approximation problem in computational statistics. Mathematical Foundations of Computer Science (ed. J. Bečvář), Lecture Notes in Computer Science 32, Springer, Heidelberg 1975, 258-265. | MR
[12] S. C. Kleene: Mathematical logic. J. Wiley, New York 1967. | MR | Zbl
[13] W. Miller: Toward abstract numerical analysis. Journal of ACM 20 (1973), 399-408. | MR | Zbl
[14] J. G. Oxtoby: Measure and category. Springer, Heidelberg 1971. | Zbl
[15] A. J. van Reeken: Report of the Dutch working party on statistical computing. Applied Statistics (JRSS-C) 20 (1971), 73-79.
[16] A. Ralston H. S. Wilf, ed.: Mathematical methods for digital computers. J. Wiley, New York, vol. I 1960, vol. II 1967. | MR
[17] A. Ralston: First course in numerical analysis. McGraw-Hill, New York 1965. | MR | Zbl
[18] M. Rogers: Theory of recursive functions and effective computability. McGraw-Hill, New York 1967. | MR | Zbl
[19] V. Strassen: Evaluation of rational functions. In: Complexity of Computations (R. E. Miller, J. W. Thatcher, eds.), Plenum Press, New York. 1972, 1-10. | MR