Title:
|
Statistics and computability (English) |
Author:
|
Havránek, Tomáš |
Language:
|
English |
Journal:
|
Kybernetika |
ISSN:
|
0023-5954 |
Volume:
|
12 |
Issue:
|
5 |
Year:
|
1976 |
Pages:
|
(303)-315 |
. |
Category:
|
math |
. |
MSC:
|
02E15 |
MSC:
|
62-04 |
MSC:
|
62A99 |
MSC:
|
68A20 |
MSC:
|
68Q25 |
idZBL:
|
Zbl 0375.62001 |
idMR:
|
MR0445897 |
. |
Date available:
|
2009-09-24T16:52:16Z |
Last updated:
|
2012-06-05 |
Stable URL:
|
http://hdl.handle.net/10338.dmlcz/124743 |
. |
Reference:
|
[1] J. Andel: On interactions in contingency tables.Aplikace matematiky 18 (1973), 99-109. Zbl 0259.62051, MR 0375629 |
Reference:
|
[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 0389571 |
Reference:
|
[3]
: COMPSTAT 74 - Proceedings in Computational Statistics.Ed. G. Bruckmann, F. Ferschl, L. Schmetterer, Physica Verlag, Wien 1974. MR 0345251 |
Reference:
|
[4] B. P. Demidovich I. A. Maron: Computational mathematics.Mir, Moskva 1973. MR 0347036 |
Reference:
|
[5] W. Freiberger U. Grenader: A short course in computational probability and statistics.Applied mathematical science 6, Springer, New York 1971. |
Reference:
|
[6] P. Hájek: Problém obecného pojetí metody GUHA.Kybernetika 4 (1968), 505-515. |
Reference:
|
[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 0401460 |
Reference:
|
[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 0411942 |
Reference:
|
[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 0202606 |
Reference:
|
[10] P. Hájek T. Havránek: Mechanized Hypothesis Formation.Book in preparation. |
Reference:
|
[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 0428802 |
Reference:
|
[12] S. C. Kleene: Mathematical logic.J. Wiley, New York 1967. Zbl 0149.24309, MR 0216930 |
Reference:
|
[13] W. Miller: Toward abstract numerical analysis.Journal of ACM 20 (1973), 399-408. Zbl 0277.68020, MR 0494815 |
Reference:
|
[14] J. G. Oxtoby: Measure and category.Springer, Heidelberg 1971. Zbl 0217.09201 |
Reference:
|
[15] A. J. van Reeken: Report of the Dutch working party on statistical computing.Applied Statistics (JRSS-C) 20 (1971), 73-79. |
Reference:
|
[16] A. Ralston H. S. Wilf, ed.: Mathematical methods for digital computers.J. Wiley, New York, vol. I 1960, vol. II 1967. MR 0117906 |
Reference:
|
[17] A. Ralston: First course in numerical analysis.McGraw-Hill, New York 1965. Zbl 0139.31603, MR 0191070 |
Reference:
|
[18] M. Rogers: Theory of recursive functions and effective computability.McGraw-Hill, New York 1967. Zbl 0183.01401, MR 0224462 |
Reference:
|
[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 0395328 |
. |