About DML-CZ | FAQ | Conditions of Use | Math Archives | Contact Us
  Previous |  Up |  Next

Article

First Page Preview
Lam, C. W. H.
Jak spolehlivý je počítačový důkaz?. (Czech) [How reliable is a computer-based proof?]. Pokroky matematiky, fyziky a astronomie, vol. 36 (1991), issue 4, pp. 209-216
MSC: 00A30, 00A35 | MR 1132656 | Zbl 0742.00005
Note: Vyšlo v The Mathematical Intelligencer 12 (1990), č. 1, 8-12. Přeložila H. Nešetřilová.
Note: Appeared in The Mathematical Intelligencer 12 (1990), No. 1, 8-12. Translated by H. Nešetřilová.
Partner of
EuDML logo