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 条
  • [21] Computer-assisted proofs of special function identities related to Poisson integrals
    Stan, Flavia
    RAMANUJAN JOURNAL, 2009, 20 (01): : 55 - 67
  • [22] POLYNOMIAL INTERPOLATION AND A PRIORI BOOTSTRAP FOR COMPUTER-ASSISTED PROOFS IN NONLINEAR ODES
    Breden, Maxime
    Lessard, Jean-Philippe
    DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS-SERIES B, 2018, 23 (07): : 2825 - 2858
  • [23] Computer-assisted proofs of special function identities related to Poisson integrals
    Flavia Stan
    The Ramanujan Journal, 2009, 20 : 55 - 67
  • [24] A General Method for Computer-Assisted Proofs of Periodic Solutions in Delay Differential Problems
    Jan Bouwe van den Berg
    Chris Groothedde
    Jean-Philippe Lessard
    Journal of Dynamics and Differential Equations, 2022, 34 : 853 - 896
  • [25] A General Method for Computer-Assisted Proofs of Periodic Solutions in Delay Differential Problems
    van den Berg, Jan Bouwe
    Groothedde, Chris
    Lessard, Jean-Philippe
    JOURNAL OF DYNAMICS AND DIFFERENTIAL EQUATIONS, 2022, 34 (02) : 853 - 896
  • [26] Computer-Assisted Existence and Uniqueness Proofs for Semilinear Elliptic Boundary Value Problems
    Roth, D.
    NUMERICAL ANALYSIS AND APPLIED MATHEMATICS, VOLS 1 AND 2, 2009, 1168 : 932 - 935
  • [27] COMPUTER-ASSISTED DATA FLOW IN A HEMATOLOGY LABORATORY
    COLVIN, BT
    MAYNARD, D
    HENDERSON, A
    JENKINS, GC
    FEWELL, RG
    BRITISH JOURNAL OF HAEMATOLOGY, 1977, 35 (04) : 669 - 670
  • [28] Methodology for computer-assisted optimization of waste flow
    Popa, Cicerone Laurentiu
    Cotet, Costel Emil
    Parpala, Radu Constantin
    Dobrescu, Tiberiu
    8TH INTERNATIONAL CONFERENCE ON MANUFACTURING SCIENCE AND EDUCATION (MSE 2017) - TRENDS IN NEW INDUSTRIAL REVOLUTION, 2017, 121
  • [29] Computer-assisted pressure-flow analysis
    vanMastrigt, R
    Kranse, M
    UROLOGIC CLINICS OF NORTH AMERICA, 1996, 23 (03) : 393 - &
  • [30] Improvement of infinity norm estimations related to computer-assisted proofs of the Kolmogorov problem
    Kobayashi, Kenta
    Watanabe, Yoshitaka
    JSIAM LETTERS, 2022, 14 : 92 - 95
12345