Proofs of Theorems A, B, C

被引:0
|
作者
不详
机构
关键词
D O I
暂无
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
引用
收藏
页码:38 / 42
页数:5
相关论文
共 50 条
  • [1] Three Sylow Theorems and Their Proofs
    Li, Dezheng
    [J]. 2ND INTERNATIONAL CONFERENCE ON APPLIED MATHEMATICS, MODELLING, AND INTELLIGENT COMPUTING (CAMMIC 2022), 2022, 12259
  • [2] Proofs of lemmas and theorems in the UTP
    [J]. REFINEMENT TECHNIQUES IN SOFTWARE ENGINEERING, 2006, 3167 : 369 - 374
  • [3] SHORT THEOREMS WITH LONG PROOFS
    SPENCER, J
    [J]. AMERICAN MATHEMATICAL MONTHLY, 1983, 90 (06): : 365 - 366
  • [4] Short proofs of classical theorems
    Bondy, JA
    [J]. JOURNAL OF GRAPH THEORY, 2003, 44 (03) : 159 - 165
  • [5] ON PHYSICAL PROOFS OF MATHEMATICAL THEOREMS
    PERDANG, J
    [J]. PHYSICS LETTERS A, 1983, 93 (09) : 459 - 463
  • [6] COMPUTER PROOFS OF LIMIT THEOREMS
    BLEDSOE, WW
    BOYER, RS
    HENNEMAN, WH
    BOYER, RS
    HENNEMAN, WH
    [J]. ARTIFICIAL INTELLIGENCE, 1972, 3 (02) : 27 - 60
  • [7] Main Theorems and Strategy for Their Proofs
    Cossart, Vincent
    Jannsen, Uwe
    Saito, Shuji
    [J]. DESINGULARIZATION: INVARIANTS AND STRATEGY: APPLICATION TO DIMENSION 2, 2020, 2270 : 79 - 104
  • [8] Simple Proofs of Uniformization Theorems
    Glutsyuk, Alexey A.
    [J]. HOLOMORPHIC DYNAMICS AND RENORMALIZATION:: A VOLUME IN HONOUR OF JOHN MILNOR'S 75TH BIRTHDAY, 2008, 53 : 125 - 143
  • [9] Probabilistic Proofs of Classical Theorems
    Burdzy, Krzysztof
    [J]. BROWNIAN MOTION AND ITS APPLICATIONS TO MATHEMATICAL ANALYSIS: ECOLE D'ETE DE PROBABILITES DE SAINT-FLOUR XLIII - 2013, 2014, 2106 : 11 - 19
  • [10] SETS OF THEOREMS WITH SHORT PROOFS
    RICHARDSON, D
    [J]. JOURNAL OF SYMBOLIC LOGIC, 1974, 39 (02) : 235 - 242