SYMBOLIC COMPUTATIONS IN APPLIED DIFFERENTIAL GEOMETRY

被引：17
|
作者：
GRAGERT, PKH
KERSTEN, PHM
MARTINI, R
机构：
来源：
ACTA APPLICANDAE MATHEMATICAE | 1983年 / 1卷 / 01期
关键词：
D O I：
10.1007/BF02433841
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
引用
收藏
页码：43 / 77
页数：35
相关论文
共 50 条
  • [41] Using numerical insights to improve symbolic computations
    Hauenstein, Jonathan D.
    [J]. 2019 21ST INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2019), 2020, : 11 - 16
  • [42] Symbolic and numerical computations for analysis of uncertain systems
    Hromcik, M
    Sebek, M
    [J]. PROCEEDINGS OF THE 2000 IEEE INTERNATIONAL SYMPOSIUM ON COMPUTER-AIDED CONTROL SYSTEM DESIGN, 2000, : 107 - 111
  • [43] Experiment of multithreading symbolic and algebraic computations with OpenMP
    Murao, Hirokazu
    [J]. MATHEMATICAL SOFTWARE-ICMS 2006, PROCEEDINGS, 2006, 4151 : 426 - 437
  • [44] Load balancing strategies for symbolic vision computations
    Chung, YW
    Woo, J
    Nevatia, R
    Prasanna, VK
    [J]. 3RD INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING, PROCEEDINGS, 1996, : 263 - 269
  • [45] Interaction of symbolic states in atomic structure computations
    Matulioniene, R.
    Ellis, D.
    Fischer, C. Froese
    [J]. LITHUANIAN JOURNAL OF PHYSICS, 2008, 48 (01): : 35 - 48
  • [46] GENETIC PROGRAMMING WITH EMBEDDED FEATURES OF SYMBOLIC COMPUTATIONS
    Borcheninov, Yaroslav V.
    Okulovsky, Yuri S.
    [J]. KDIR 2011: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON KNOWLEDGE DISCOVERY AND INFORMATION RETRIEVAL, 2011, : 476 - 479
  • [47] Subdefinite computations and symbolic transformations in the UniCalc solver
    Semenov, A
    Babichev, A
    Leshchenko, A
    [J]. INTEGRATING SYMBOLIC MATHEMATICAL COMPUTATION AND ARTIFICIAL INTELLIGENCE, 1995, 958 : 264 - 275
  • [48] WDVV equations: symbolic computations of Hamiltonian operators
    Jakub Vašíček
    Raffaele Vitolo
    [J]. Applicable Algebra in Engineering, Communication and Computing, 2022, 33 : 915 - 934
  • [49] Enabling Symbolic and Numerical Computations in HOL Light
    Seddiki, Ons
    Dunchev, Cvetan
    Khan-Afshar, Sanaz
    Tahar, Sofiene
    [J]. INTELLIGENT COMPUTER MATHEMATICS, CICM 2015, 2015, 9150 : 352 - 357
  • [50] Data Computations for Applied Informatics
    Ishii, Naohiro
    [J]. 2016 17TH IEEE/ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING AND PARALLEL/DISTRIBUTED COMPUTING (SNPD), 2016, : 1 - 1
12345