SHORT THEOREMS WITH LONG PROOFS

被引：5
|
作者：
SPENCER, J
机构：
来源：
AMERICAN MATHEMATICAL MONTHLY | 1983年 / 90卷 / 06期
关键词：
D O I：
10.2307/2975571
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：365 / 366
页数：2
相关论文
共 50 条
  • [21] Proofs of lemmas and theorems in the UTP
    REFINEMENT TECHNIQUES IN SOFTWARE ENGINEERING, 2006, 3167 : 369 - 374
  • [22] Three Sylow Theorems and Their Proofs
    Li, Dezheng
    2ND INTERNATIONAL CONFERENCE ON APPLIED MATHEMATICS, MODELLING, AND INTELLIGENT COMPUTING (CAMMIC 2022), 2022, 12259
  • [23] Proofs of Theorems A, B, C
    不详
    LIMIT THEOREMS FOR MARKOV CHAINS AND STOCHASTIC PROPERTIES OF DYNAMICAL SYSTEMS BY QUASI-COMPACTNESS, 2001, 1766 : 38 - 42
  • [24] Main Theorems and Strategy for Their Proofs
    Cossart, Vincent
    Jannsen, Uwe
    Saito, Shuji
    DESINGULARIZATION: INVARIANTS AND STRATEGY: APPLICATION TO DIMENSION 2, 2020, 2270 : 79 - 104
  • [25] ON PHYSICAL PROOFS OF MATHEMATICAL THEOREMS
    PERDANG, J
    PHYSICS LETTERS A, 1983, 93 (09) : 459 - 463
  • [26] COMPUTER PROOFS OF LIMIT THEOREMS
    BLEDSOE, WW
    BOYER, RS
    HENNEMAN, WH
    BOYER, RS
    HENNEMAN, WH
    ARTIFICIAL INTELLIGENCE, 1972, 3 (02) : 27 - 60
  • [27] Simple Proofs of Uniformization Theorems
    Glutsyuk, Alexey A.
    HOLOMORPHIC DYNAMICS AND RENORMALIZATION:: A VOLUME IN HONOUR OF JOHN MILNOR'S 75TH BIRTHDAY, 2008, 53 : 125 - 143
  • [28] Probabilistic Proofs of Classical Theorems
    Burdzy, Krzysztof
    BROWNIAN MOTION AND ITS APPLICATIONS TO MATHEMATICAL ANALYSIS: ECOLE D'ETE DE PROBABILITES DE SAINT-FLOUR XLIII - 2013, 2014, 2106 : 11 - 19
  • [29] PROOFS OF THEOREMS ON COMPARATIVE ADVANTAGE
    BHAGWATI, J
    ECONOMIC JOURNAL, 1967, 77 (305): : 75 - 83
  • [30] Easier proofs of coloring theorems
    van Mill, J
    TOPOLOGY AND ITS APPLICATIONS, 1999, 97 (1-2) : 155 - 163
12345