|
4
|
Testing computational complementarity for Mermin automata
– C S Calude, Elena Calude, Terry Chiu, Monica Dumitrescu, R Nicolescu
|
|
2
|
Statistical Surveys and Applications, Editura Tehnica
– M Dumitrescu
- 2000
|
|
24
|
On the Number of Distinct Languages Accepted by Finite Automata with n States
– Michael Domaratzki, Derek Kisman, Jeffrey Shallit
- 2001
|
|
100
|
Automata and Computability
– D Kozen
- 1997
|
|
408
|
Formal Languages
– Ning Yu
- 1973
|
|
81
|
WG: Sampling Techniques 3rd edition
– Cochran
|
|
347
|
B: Nonparametric Regression and Generalized Linear Modes: A Roughness Penalty Approach Chapman and Hall
– P Green, Silverman
- 1994
|
|
83
|
Mathematics by Experiment: Plausible Reasoning
– J M Borwein, D H Bailey
- 2008
|
|
10
|
A version of Ω for which ZF C can not predict a single bit
– R M Solovay
- 2000
|
|
6
|
Computers, Paradoxes and the Foundations of Mathematics
– G.J. Chaitin
|
|
108
|
Information and Randomness — An Algorithmic Perspective
– C Calude
- 1994
|
|
6
|
The journey of the four colour theorem through time
– Andreea S. Calude
|
|
10
|
Theory and practice
– D E Knuth
- 1985
|
|
91
|
Social processes and proofs of theorems and programs
– Richard A De Millo, Richard J Lipton, Alan J Perlis
- 1979
|
|
58
|
The Limits of Mathematics
– G. J. Chaitin
- 1994
|
|
49
|
Information and Randomness: An Algorithmic Perspective, 2nd edn. Revised and Extended
– C S Calude
- 2002
|
|
2
|
What is the value of T axicab(6
– C S Calude, Elena Calude, M J Dinneen
|
|
32
|
Mathematics by Experiment: Plausible Reasoning in the 21st Century, extended second edition, A K
– Jonathan M. Borwein
- 2008
|
|
45
|
Computation and Automata
– A Salomaa
- 1985
|
