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 条
  • [41] COMPUTER-ASSISTED MEASUREMENT OF PERIPHERAL-BLOOD FLOW
    MCCULLAGH, PJ
    MCALLISTER, HG
    MCCAFFREY, PM
    FOX, JS
    TAGGART, AJ
    RIDDELL, JG
    JOURNAL OF MEDICAL ENGINEERING & TECHNOLOGY, 1988, 12 (01) : 7 - 14
  • [42] Computer-assisted decision making in burns fluid resuscitation Reply
    Salinas, Jose
    Cancio, Leopoldo C.
    Chung, Kevin K.
    Mann-Salinas, Elizabeth A.
    Wade, Charles E.
    Serio-Melvin, Maria
    Wolf, Steven E.
    CRITICAL CARE MEDICINE, 2012, 40 (04) : 1396 - 1397
  • [43] A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid
    Watanabe, Yoshitaka
    JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS, 2009, 223 (02) : 953 - 966
  • [44] Computer-assisted determination of fluid and nutritional needs for burn patients
    Kononas, TC
    Kofinas, G
    PLASTIC AND RECONSTRUCTIVE SURGERY, 2002, 110 (07) : 1801 - 1802
  • [45] Computer-assisted proofs of existence of KAM tori in planetary dynamical models of v-And b
    Mastroianni, Rita
    Locatelli, Ugo
    COMMUNICATIONS IN NONLINEAR SCIENCE AND NUMERICAL SIMULATION, 2024, 130
  • [46] Persistence of Periodic Orbits under State-dependent Delayed Perturbations: Computer-assisted Proofs
    Gimeno, Joan
    Lessard, Jean-Philippe
    James, J. D. Mireles
    Yang, Jiaqi
    SIAM JOURNAL ON APPLIED DYNAMICAL SYSTEMS, 2023, 22 (03): : 1743 - 1779
  • [47] Computer-assisted proofs of congruences for multipartitions and divisor function convolutions, based on methods of differential algebra
    Alexandru Pascadi
    The Ramanujan Journal, 2022, 57 : 1 - 36
  • [48] COMPUTER-ASSISTED SURGERY
    ADAMS, L
    KRYBUS, W
    MEYEREBRECHT, D
    RUEGER, R
    GILSBACH, JM
    MOESGES, R
    SCHLOENDORFF, G
    IEEE COMPUTER GRAPHICS AND APPLICATIONS, 1990, 10 (03) : 43 - 51
  • [49] COMPUTER-ASSISTED SPIROMETRY
    HANSEN, DJ
    TOY, VM
    DEININGER, RA
    COLLOPY, TK
    AMERICAN INDUSTRIAL HYGIENE ASSOCIATION JOURNAL, 1983, 44 (06): : 419 - 424
  • [50] COMPUTER-ASSISTED DIAGNOSIS
    HAYDEN, SP
    ANNALS OF INTERNAL MEDICINE, 1989, 111 (06) : 544 - 545
12345