共 50 条
- [21] SHORT PROOFS OF THEOREMS OF MIRSKY AND HORN ON DIAGONALS AND EIGENVALUES OF MATRICES ELECTRONIC JOURNAL OF LINEAR ALGEBRA, 2009, 18 : 438 - 441
- [25] Proofs of lemmas and theorems in the UTP REFINEMENT TECHNIQUES IN SOFTWARE ENGINEERING, 2006, 3167 : 369 - 374
- [26] Three Sylow Theorems and Their Proofs 2ND INTERNATIONAL CONFERENCE ON APPLIED MATHEMATICS, MODELLING, AND INTELLIGENT COMPUTING (CAMMIC 2022), 2022, 12259
- [27] Proofs of Theorems A, B, C LIMIT THEOREMS FOR MARKOV CHAINS AND STOCHASTIC PROPERTIES OF DYNAMICAL SYSTEMS BY QUASI-COMPACTNESS, 2001, 1766 : 38 - 42
- [28] Main Theorems and Strategy for Their Proofs DESINGULARIZATION: INVARIANTS AND STRATEGY: APPLICATION TO DIMENSION 2, 2020, 2270 : 79 - 104