Statistical approach to proof theory
Ivan Kramosil (1979)
Kybernetika
Similarity:
Displaying similar documents to “Parallel probabilistic searching and sorting algorithms”
Statistical approach to proof theory
Recursive classification of pseudo-random sequences
Ivan Kramosil (1984)
Kybernetika
Similarity:
A method for random sampling of formulas of an elementary theory and statistical estimation of their deducibility equipped by a program. II. A method for statistical testing of an at random sampled formula
Ivan Kramosil (1973)
Kybernetika
Similarity:
Computing a glimpse of randomness.
Calude, Cristian S., Dinneen, Michael J., Shu, Chi-Kou (2002)
Experimental Mathematics
Similarity:
An Algorithm for Generating Random Numbers With Binomial Distribution
Dorin Bocu (2000)
The Yugoslav Journal of Operations Research
Similarity:
A method for random sampling of well-formed formulas. (A method for random sampling of formulas of an elementary theory and statistical estimation of their deducibility equipped by a program. I.)
Ivan Kramosil (1972)
Kybernetika
Similarity: