共 50 条
- [22] New proofs for Levine's theorems [J]. LINEAR ALGEBRA AND ITS APPLICATIONS, 2011, 435 (05) : 943 - 952
- [24] Statistical proofs of some matrix theorems [J]. INTERNATIONAL STATISTICAL REVIEW, 2006, 74 (02) : 169 - 185
- [25] ELEMENTARY PROOFS OF PEANOS EXISTENCE THEOREMS [J]. AMERICAN MATHEMATICAL MONTHLY, 1973, 80 (03): : 282 - 286
- [26] Algorithmic proofs of two theorems of Stafford [J]. JOURNAL OF SYMBOLIC COMPUTATION, 2004, 38 (06) : 1535 - 1550
- [27] NEW PROOFS OF THEOREMS OF KATHRYN MANN [J]. KODAI MATHEMATICAL JOURNAL, 2014, 37 (02) : 427 - 433
- [28] Proofs of theorems based on the use of computers [J]. BOLLETTINO DELLA UNIONE MATEMATICA ITALIANA, 1999, 2A (01): : 69 - 81
- [29] The central limit theorems for Markov chains - Theorems A, B, C [J]. LIMIT THEOREMS FOR MARKOV CHAINS AND STOCHASTIC PROPERTIES OF DYNAMICAL SYSTEMS BY QUASI-COMPACTNESS, 2001, 1766 : 6 - 13