共 50 条
- [1] ABOUT ORAIFEARTAIGHS THEOREM [J]. ANNALES DE L INSTITUT HENRI POINCARE SECTION A PHYSIQUE THEORIQUE, 1968, 9 (01): : 7 - &
- [2] ''Proofs'' and proofs of the Eckart-Young theorem [J]. STOCHASTIC PROCESSES AND FUNCTIONAL ANALYSIS, IN CELEBRATION OF M M RAO'S 65TH BIRTHDAY, 1997, 186 : 71 - 83
- [4] On Several Proofs of the Recognizability Theorem [J]. ALGEBRAIC INFORMATICS, 2009, 5725 : 78 - 80
- [5] PROOFS AND GENERALIZATIONS OF THE PYTHAGOREAN THEOREM [J]. PRAXIS & SABER, 2011, 2 (03) : 103 - 118
- [6] THE EARLY PROOFS OF SYLOW THEOREM [J]. ARCHIVE FOR HISTORY OF EXACT SCIENCES, 1980, 21 (03) : 279 - 290
- [9] Proofs of Theorem 1.5, Part (ii) and Theorem 1.6 [J]. BOUNDARY VALUE PROBLEMS AND MARKOV PROCESSES: FUNCTIONAL ANALYSIS METHODS FOR MARKOV PROCESSES, 3RD EDITION, 2020, 1499 : 359 - 399
- [10] On Computational Creativity, 'Inventing' Theorem Proofs [J]. FOUNDATIONS OF INTELLIGENT SYSTEMS, PROCEEDINGS, 2009, 5722 : 573 - +