Computer-Assisted Proofs Take on Fluid Flow

被引：0
|
作者：
Monroe, Don
机构：
[1] Middlebury, VT
来源：
COMMUNICATIONS OF THE ACM | 2023年 / 66卷 / 08期
关键词：
D O I：
10.1145/3603745
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
[No abstract available]
引用
收藏
页码：12 / 14
页数：3
相关论文
共 50 条
  • [1] COMPUTER-ASSISTED PROOFS IN ANALYSIS
    LANFORD, OE
    PHYSICA A, 1984, 124 (1-3): : 465 - 470
  • [2] Computer-assisted proofs in PDE: a survey
    Gómez-Serrano J.
    SeMA Journal, 2019, 76 (3) : 459 - 484
  • [3] On the Conciliation of Traditional and Computer-Assisted Proofs
    Miranda-Perea, Favio E.
    Gonzalez Huesca, Lourdes del Carmen
    PHILOSOPHY OF COMPUTING: THEMES FROM IACAP 2019, 2022, 143 : 73 - 112
  • [4] The Epistemological Status of Computer-Assisted Proofs
    McEvoy, Mark
    PHILOSOPHIA MATHEMATICA, 2008, 16 (03) : 374 - 387
  • [5] On computer-assisted proofs in ordinal number theory
    Belinfante, JGF
    JOURNAL OF AUTOMATED REASONING, 1999, 22 (03) : 341 - 378
  • [6] Fully Computer-Assisted Proofs in Extremal Combinatorics
    Parczyk, Olaf
    Pokutta, Sebastian
    Spiegel, Christoph
    Szabo, Tibor
    THIRTY-SEVENTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 37 NO 10, 2023, : 12482 - 12490
  • [7] On Computer-Assisted Proofs in Ordinal Number Theory
    Johan G. F. Belinfante
    Journal of Automated Reasoning, 1999, 22 : 341 - 378
  • [8] Computer-Assisted Fluid Therapy
    Eshel, Ron
    Snider, Eric J.
    Avital, Guy
    CURRENT ANESTHESIOLOGY REPORTS, 2023, 13 (02) : 41 - 48
  • [9] Computer-Assisted Fluid Therapy
    Ron Eshel
    Eric J. Snider
    Guy Avital
    Current Anesthesiology Reports, 2023, 13 : 41 - 48
  • [10] Computer-assisted proofs for some nonlinear diffusion problems
    Breden, Maxime
    COMMUNICATIONS IN NONLINEAR SCIENCE AND NUMERICAL SIMULATION, 2022, 109
12345