共 50 条
- [41] Proofs of theorems based on the use of computers BOLLETTINO DELLA UNIONE MATEMATICA ITALIANA, 1999, 2A (01): : 69 - 81
- [43] The importance of non-theorems and counterexamples in program verification VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 491 - 495
- [44] Variational principle in the Dirac theory: Theorems, examples and counterexamples QUANTUM SYSTEMS IN CHEMISTRY AND PHYSICS, VOL 1: BASIC PROBLEMS AND MODEL SYSTEMS, 2000, 2 : 177 - 193
- [45] A collection of probabilistic hidden-variable theorems and counterexamples WAVES, INFORMATION AND FOUNDATIONS OF PHYSICS - CONFERENCE PROCEEDINGS, 1998, 60 : 267 - 291
- [47] THEOREMS FROM MEASURE AXIOMS, COUNTEREXAMPLES FROM DIAMOND(++) WORK OF MARY ELLEN RUDIN, 1993, 705 : 67 - 77
- [49] SOME THEOREMS WITH SHORT PROOFS - PRELIMINARY REPORT NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1970, 17 (05): : 832 - &
- [50] Proofs of korovkin's theorems via inequalities AMERICAN MATHEMATICAL MONTHLY, 2003, 110 (04): : 334 - 336