共 50 条
- [31] Proofs of lemmas and theorems in the UTP [J]. REFINEMENT TECHNIQUES IN SOFTWARE ENGINEERING, 2006, 3167 : 369 - 374
- [33] Proofs of Theorems A, B, C [J]. LIMIT THEOREMS FOR MARKOV CHAINS AND STOCHASTIC PROPERTIES OF DYNAMICAL SYSTEMS BY QUASI-COMPACTNESS, 2001, 1766 : 38 - 42
- [37] Main Theorems and Strategy for Their Proofs [J]. DESINGULARIZATION: INVARIANTS AND STRATEGY: APPLICATION TO DIMENSION 2, 2020, 2270 : 79 - 104
- [38] Simple Proofs of Uniformization Theorems [J]. HOLOMORPHIC DYNAMICS AND RENORMALIZATION:: A VOLUME IN HONOUR OF JOHN MILNOR'S 75TH BIRTHDAY, 2008, 53 : 125 - 143
- [39] Probabilistic Proofs of Classical Theorems [J]. BROWNIAN MOTION AND ITS APPLICATIONS TO MATHEMATICAL ANALYSIS: ECOLE D'ETE DE PROBABILITES DE SAINT-FLOUR XLIII - 2013, 2014, 2106 : 11 - 19