Collection
Computer Algebra in Scientific Computing
- Submission status
- Closed
Symbolic computation involves the manipulation of mathematical expressions in symbolic form, allowing exact solutions to be obtained for a wide range of problems. Scientific computing, on the other hand, focuses on numerical methods and algorithms to solve complex scientific and engineering problems, often involving large-scale computations. The relationship between the two lies in their complementary strengths: symbolic computation provides precision and analytical insights, while scientific computing offers efficiency and scalability for handling extensive datasets and simulations. Together, they enable more robust and versatile solutions, integrating exact symbolic methods with powerful numeric techniques to address diverse challenges in science and engineering.
This collection contains revised and expanded versions of presentations at the annual conference series Computer Algebra in Scientific Computing (CASC). The primary goals and topics of the conference include the development and application of computer algebra in various scientific and engineering fields, advancements in algorithms and software for symbolic computation, and exploring hybrid approaches that combine symbolic and numeric methods to solve complex problems. The conference also showcases how computer algebra can be used in domains such as physics, chemistry, biology, and engineering, emphasizing its role in both theoretical and applied research. Overall, CASC serves as a platform for exchanging ideas, presenting new research, and discussing future directions in computer algebra as it applies to scientific computing.
Editors
-
Matthew England
Responsible Editor
Coventry University, United Kingdom
-
François Boulier
University of Lille, France
-
Wolfram Koepf
University of Kassel, Germany
-
Chenqi Mou
Beihang University, Beijing, China
-
Timur M. Sadykov
Plekhanov Russian University of Economics, Moscow, Russia
-
Werner M. Seiler
University of Kassel, Germany
-
Thomas Sturm
CNRS, Nancy, France
Articles (29 in this collection)
-
-
Calculating the Minimum Distance of a Toric Code via Algebraic Algorithms
Authors
- Fadime Baldemir
- Mesut Şahin
- Content type: OriginalPaper
- Published: 29 July 2023
- Article: 20
-
Integrable Cases of the Polynomial Liénard-type Equation with Resonance in the Linear Part
Authors
- Victor F. Edneral
- Content type: OriginalPaper
- Published: 27 July 2023
- Article: 19
-
Hermite Interpolation Polynomials on Parallelepipeds and FEM Applications
Authors (first, second and last of 8)
- Alexander A. Gusev
- Galmandakh Chuluunbaatar
- Luong Le Hai
- Content type: OriginalPaper
- Published: 27 July 2023
- Article: 18
-
A Survey on Computational Aspects of Polynomial Amoebas
Authors
- Vitaly A. Krasikov
- Content type: OriginalPaper
- Published: 27 July 2023
- Article: 16
-
Investigation of the Dynamics of Two Connected Bodies in the Plane of a Circular Orbit Using Computer Algebra Methods
Authors
- Sergey A. Gutnik
- Vasily A. Sarychev
- Content type: OriginalPaper
- Published: 27 July 2023
- Article: 17
-
Design of Low-Artifact Interpolation Kernels by Means of Computer Algebra
Authors
- Peter Karpov
- Content type: OriginalPaper
- Published: 24 September 2022
- Article: 19
-
Computing Elements of Certain Form in Ideals to Prove Properties of Operators
Authors
- Clemens Hofstadler
- Clemens G. Raab
- Georg Regensburger
- Content type: OriginalPaper
- Open Access
- Published: 21 September 2022
- Article: 17
-
Factoring Multivariate Polynomials Represented by Black Boxes: A Maple + C Implementation
Authors
- Tian Chen
- Michael Monagan
- Content type: OriginalPaper
- Published: 21 September 2022
- Article: 18
-
Computer Algebra Methods for Searching the Stationary Motions of the Connected Bodies System Moving in Gravitational Field
Authors
- Sergey A. Gutnik
- Vasily A. Sarychev
- Content type: OriginalPaper
- Published: 31 August 2022
- Article: 15
-
Efficient Localization at a Prime Ideal Without Producing Unnecessary Primary Components
Authors
- Yuki Ishihara
- Content type: OriginalPaper
- Published: 25 August 2022
- Article: 14
-
Faster Beta Weil Pairing on BLS Pairing Friendly Curves with Odd Embedding Degree
Authors (first, second and last of 4)
- Azebaze Guimagang Laurian
- Fouotsa Emmanuel
- Pecha Njiahouo Aminatou
- Content type: OriginalPaper
- Published: 22 June 2022
- Article: 13
-
Enumerating Solutions to Grid-Based Puzzles with a Fixed Number of Rows
Authors
- George Spahn
- Content type: OriginalPaper
- Published: 08 June 2022
- Article: 12
-
Algorithmic Reduction of Biological Networks with Multiple Time Scales
Authors (first, second and last of 5)
- Niclas Kruff
- Christoph Lüders
- Sebastian Walcher
- Content type: OriginalPaper
- Open Access
- Published: 08 July 2021
- Pages: 499 - 534
-
An Involutive GVW Algorithm and the Computation of Pommaret Bases
Authors (first, second and last of 4)
- Amir Hashemi
- Thomas Izgin
- Werner M. Seiler
- Content type: OriginalPaper
- Published: 07 June 2021
- Pages: 419 - 452
-
Relative Gröbner and Involutive Bases for Ideals in Quotient Rings
Authors
- Amir Hashemi
- Matthias Orth
- Werner M. Seiler
- Content type: OriginalPaper
- Published: 21 May 2021
- Pages: 453 - 482
-
A Symbolic-Numeric Validation Algorithm for Linear ODEs with Newton–Picard Method
Authors
- Florent Bréhard
- Content type: OriginalPaper
- Published: 15 May 2021
- Pages: 373 - 405
-
Creative Telescoping on Multiple Sums
Authors
- Christoph Koutschan
- Elaine Wong
- Content type: OriginalPaper
- Published: 04 May 2021
- Pages: 483 - 498
-
Symbolic Computations of the Equilibrium Orientations of a System of Two Connected Bodies Moving on a Circular Orbit Around the Earth
Authors
- Sergey A. Gutnik
- Vasily A. Sarychev
- Content type: OriginalPaper
- Published: 27 April 2021
- Pages: 407 - 417
-
Efficiently and Effectively Recognizing Toricity of Steady State Varieties
Authors (first, second and last of 5)
- Dima Grigoriev
- Alexandru Iosif
- Andreas Weber
- Content type: OriginalPaper
- Open Access
- Published: 21 July 2020
- Pages: 199 - 232
-
A Logic Based Approach to Finding Real Singularities of Implicit Ordinary Differential Equations
Authors
- Werner M. Seiler
- Matthias Seiß
- Thomas Sturm
- Content type: OriginalPaper
- Open Access
- Published: 17 June 2020
- Pages: 333 - 352
-
Symmetry-Based Algorithms for Invertible Mappings of Polynomially Nonlinear PDE to Linear PDE
Authors
- Zahra Mohammadi
- Gregory J. Reid
- S.-L. Tracy Huang
- Content type: OriginalPaper
- Published: 17 June 2020
- Pages: 293 - 316
-
A Short Contribution to the Theory of Regular Chains
Authors (first, second and last of 4)
- François Boulier
- François Lemaire
- Adrien Poteaux
- Content type: OriginalPaper
- Published: 17 June 2020
- Pages: 177 - 188
-
Clustering Complex Zeros of Triangular Systems of Polynomials
Authors
- Rémi Imbach
- Marc Pouget
- Chee Yap
- Content type: OriginalPaper
- Published: 17 June 2020
- Pages: 271 - 292
-
Tropical Differential Gröbner Bases
Authors
- Youren Hu
- Xiao-Shan Gao
- Content type: OriginalPaper
- Published: 06 June 2020
- Pages: 255 - 269
-
Degree Upper Bounds for Involutive Bases
Authors
- Amir Hashemi
- Hossein Parnian
- Werner M. Seiler
- Content type: OriginalPaper
- Published: 06 June 2020
- Pages: 233 - 254
-
An Algorithm for Computing Torsion Differential Forms Associated with an Isolated Hypersurface Singularity
Authors
- Shinichi Tajima
- Katsusuke Nabeshima
- Content type: OriginalPaper
- Published: 05 June 2020
- Pages: 353 - 367
-
Testing Zero-Dimensionality of Varieties at a Point
Authors
- Katsusuke Nabeshima
- Shinichi Tajima
- Content type: OriginalPaper
- Published: 05 June 2020
- Pages: 317 - 331
-
Algebraic, Rational and Puiseux Series Solutions of Systems of Autonomous Algebraic ODEs of Dimension One
Authors
- José Cano
- Sebastian Falkensteiner
- J. Rafael Sendra
- Content type: OriginalPaper
- Open Access
- Published: 05 June 2020
- Pages: 189 - 198