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 条
  • [31] Computer-assisted proofs for the many steady states of a chemotaxis model with local sensing
    Breden, Maxime
    Payan, Maxime
    PHYSICA D-NONLINEAR PHENOMENA, 2024, 466
  • [32] Computer-assisted decision making in burns fluid resuscitation
    Ip, James
    James, Emma
    Singh, Suveer
    CRITICAL CARE MEDICINE, 2012, 40 (04) : 1395 - 1396
  • [33] Computer-assisted determination of fluid requirements in burned patients
    Gulati, S
    PLASTIC AND RECONSTRUCTIVE SURGERY, 2003, 112 (04) : 1197 - 1197
  • [34] Computer-assisted proofs of the existence of a symmetry-breaking bifurcation point for the Kolmogorov problem
    Cai, Shuting
    Watanabe, Yoshitaka
    JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS, 2021, 395
  • [35] Computer-assisted Existence Proofs for One-dimensional Schrodinger-Poisson Systems
    Wunderlich, Jonathan
    Plum, Michael
    ACTA CYBERNETICA, 2020, 24 (03): : 373 - 391
  • [36] Reduction in Degrees of Freedom for Large-Scale Nonlinear Systems in Computer-Assisted Proofs
    Evstigneev, Nikolay M.
    Ryabkov, Oleg I.
    MATHEMATICS, 2023, 11 (20)
  • [37] Computer-Assisted Proofs for Lyapunov Stability via Sums of Squares Certificates and Constructive Analysis
    Devadze, Grigory
    Magron, Victor
    Streif, Stefan
    JOURNAL OF AUTOMATED REASONING, 2025, 69 (01)
  • [38] COMPUTER-ASSISTED PROOFS OF EXISTENCE OF QUASI-PERIODIC SYSTEMS VIA FOURIER METHODS
    Haro, Alex
    Vidal, Eric sandin
    DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS-SERIES B, 2024,
  • [39] COMPUTER-ASSISTED EXISTENCE PROOFS FOR 2-POINT BOUNDARY-VALUE-PROBLEMS
    PLUM, M
    COMPUTING, 1991, 46 (01) : 19 - 34
  • [40] Computer-assisted interpretation of flow cytometry data in hematology
    Thews, O
    Thews, A
    Huber, C
    Vaupel, P
    CYTOMETRY, 1996, 23 (02): : 140 - 149
12345