On the use of symbolic computations in geosciences

被引：0
|
作者：
Pratibha
Kamal [2 ]
Singh, B
Dwivedi, A
机构：
[1] Univ Roorkee, Dept Math, Roorkee 247667, Uttar Pradesh, India
[2] Univ Roorkee, Dept Earth Sci, Roorkee 247667, Uttar Pradesh, India
来源：
CURRENT SCIENCE | 1999年 / 76卷 / 08期
关键词：
D O I：
暂无
中图分类号：
O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];
学科分类号：
07 ; 0710 ; 09 ;
摘要：
Demonstration of Computer Algebra Systems (CAS) in general, with a special reference to earth sciences, is given, Mathematical manipulations for solving complicated geophysical problems are carried out on a computer by a symbolic computational system, Maple V. Such intelligent systems can be utilized to solve large size scientific and engineering problems, which will result in enormous savings of time and manual resources.
引用
收藏
页码：1145 / 1149
页数：5
相关论文
共 50 条
  • [21] Solving mathematical exercises that involve symbolic computations
    Díez, F
    Moriyón, R
    [J]. COMPUTING IN SCIENCE & ENGINEERING, 2004, 6 (01) : 81 - 84
  • [22] CONTRIBUTION TO EFFICIENT SOLUTION OF EXTENSIVE SYMBOLIC COMPUTATIONS
    KERNER, W
    STEUERWALD, J
    [J]. COMPUTER PHYSICS COMMUNICATIONS, 1975, 9 (06) : 337 - 349
  • [23] Symbolic execution of floating-point computations
    Botella, Bernard
    Gotlieb, Arnaud
    Michel, Claude
    [J]. SOFTWARE TESTING VERIFICATION & RELIABILITY, 2006, 16 (02): : 97 - 121
  • [24] Symbolic model checking with fewer fixpoint computations
    Déharbe, D
    Moreira, AM
    [J]. FM'99-FORMAL METHODS, 1999, 1708 : 272 - 288
  • [25] WDVV equations: symbolic computations of Hamiltonian operators
    Vasicek, Jakub
    Vitolo, Raffaele
    [J]. APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING, 2022, 33 (06) : 915 - 934
  • [26] Approximated Symbolic Computations over Hybrid Automata
    Casagrande, Alberto
    Dreossi, Tommaso
    Piazza, Carla
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (124): : 43 - 57
  • [27] SYMBOLIC COMPUTATIONS IN DESIGN AND MODELLING OF NONLINEAR CONTROL
    Dyda, A. A.
    Lubimov, E. V.
    Di Gennaro, S.
    [J]. COMPUTATIONAL INTELLIGENCE IN BUSINESS AND ECONOMICS, 2010, 3 : 567 - 580
  • [28] Experiment of multithreading symbolic and algebraic computations with OpenMP
    Murao, Hirokazu
    [J]. MATHEMATICAL SOFTWARE-ICMS 2006, PROCEEDINGS, 2006, 4151 : 426 - 437
  • [29] 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
  • [30] 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
12345