共 50 条
- [12] Proofs of lemmas and theorems in the UTP REFINEMENT TECHNIQUES IN SOFTWARE ENGINEERING, 2006, 3167 : 369 - 374
- [13] Three Sylow Theorems and Their Proofs 2ND INTERNATIONAL CONFERENCE ON APPLIED MATHEMATICS, MODELLING, AND INTELLIGENT COMPUTING (CAMMIC 2022), 2022, 12259
- [15] Proofs of Theorems A, B, C LIMIT THEOREMS FOR MARKOV CHAINS AND STOCHASTIC PROPERTIES OF DYNAMICAL SYSTEMS BY QUASI-COMPACTNESS, 2001, 1766 : 38 - 42
- [16] Main Theorems and Strategy for Their Proofs DESINGULARIZATION: INVARIANTS AND STRATEGY: APPLICATION TO DIMENSION 2, 2020, 2270 : 79 - 104
- [20] Simple Proofs of Uniformization Theorems HOLOMORPHIC DYNAMICS AND RENORMALIZATION:: A VOLUME IN HONOUR OF JOHN MILNOR'S 75TH BIRTHDAY, 2008, 53 : 125 - 143