Computer Algebra in Scientific Computing: 22nd International Workshop, CASC 2020, Linz, Austria, September 14–18, 2020, Proceedings

Front Matter ....Pages i-xvii
 Tropical Geometry of Biological Systems (Invited Talk)  (Ovidiu Radulescu)....Pages 1-13
 Algebraic and Geometric Analysis of Singularities of Implicit Differential Equations (Invited Talk)  (Werner M. Seiler, Matthias Seiß)....Pages 14-41
 On the Complexity of Computing Integral Bases of Function Fields  (Simon Abelard)....Pages 42-62
 Truncated and Infinite Power Series in the Role of Coefficients of Linear Ordinary Differential Equations  (Sergei A. Abramov, Denis E. Khmelnov, Anna A. Ryabenko)....Pages 63-76
 On Periodic Approximate Solutions of the Three-Body Problem Found by Conservative Difference Schemes  (Edic A. Ayryan, Mikhail D. Malykh, Leonid A. Sevastianov, Yu Ying)....Pages 77-90
 Univariate Polynomials with Long Unbalanced Coefficients as Bivariate Balanced Ones: A Toom–Cook Multiplication Approach  (Marco Bodrato, Alberto Zanoni)....Pages 91-107
 Power Series Arithmetic with the BPAS Library  (Alexander Brandt, Mahsa Kazemi, Marc Moreno-Maza)....Pages 108-128
 Enhancements to Lazard’s Method for Cylindrical Algebraic Decomposition  (Christopher W. Brown, Scott McCallum)....Pages 129-149
 The Complexity and Parallel Implementation of Two Sparse Multivariate Hensel Lifting Algorithms for Polynomial Factorization  (Tian Chen, Michael Monagan)....Pages 150-169
 The GPGCD Algorithm with the Bézout Matrix  (Boming Chi, Akira Terui)....Pages 170-187
 On Parametric Linear System Solving  (Robert M. Corless, Mark Giesbrecht, Leili Rafiee Sevyeri, B. David Saunders)....Pages 188-205
 Symbolic-Numeric Algorithm for Computing Orthonormal Basis of \(\text {O(5)}\times \text {SU(1,1)}\) Group  (Algirdas Deveikis, Alexander A. Gusev, Vladimir P. Gerdt, Sergue I. Vinitsky, Andrzej Góźdź, Aleksandra Pȩdrak et al.)....Pages 206-227
 Symbolic-Numeric Study of Geometric Properties of Adiabatic Waveguide Modes  (Dmitriy V. Divakov, Anastasiia A. Tiutiunnik, Anton L. Sevastianov)....Pages 228-244
 Intrinsic Complexity for Constructing Zero-Dimensional Gröbner Bases  (Amir Hashemi, Joos Heintz, Luis M. Pardo, Pablo Solernó)....Pages 245-265
 On the Study of the Motion of a System of Two Connected Rigid Bodies by Computer Algebra Methods  (Valentin Irtegov, Tatiana Titorenko)....Pages 266-281
 Complexity Estimates for Fourier-Motzkin Elimination  (Rui-Juan Jing, Marc Moreno-Maza, Delaram Talaashrafi)....Pages 282-306
 Progress Report on the Scala Algebra System  (Raphaël Jolly)....Pages 307-315
 Routh – Hurwitz Stability of a Polynomial Matrix Family. Real Perturbations  (Elizaveta A. Kalinina, Yuri A. Smol’kin, Alexei Yu. Uteshev)....Pages 316-334
 Hermite Rational Function Interpolation with Error Correction  (Erich L. Kaltofen, Clément Pernet, Zhi-Hong Yang)....Pages 335-357
 Good Pivots for Small Sparse Matrices  (Manuel Kauers, Jakob Moosbauer)....Pages 358-367
 Nullstellensatz-Proofs for Multiplier Verification  (Daniela Kaufmann, Armin Biere)....Pages 368-389
 “Mathemachines” via LEGO, GeoGebra and CindyJS  (Zoltán Kovács)....Pages 390-401
 Balanced NUCOMP  (Sebastian Lindner, Laurent Imbert, Michael J. Jacobson Jr.)....Pages 402-420
 Contact Linearizability of Scalar Ordinary Differential Equations of Arbitrary Order  (Yang Liu, Dmitry Lyakhov, Dominik L. Michels)....Pages 421-430
 Faster Numerical Univariate Polynomial Root-Finding by Means of Subdivision Iterations  (Qi Luan, Victor Y. Pan, Wongeun Kim, Vitaly Zaderman)....Pages 431-446
 Computing Parametric Standard Bases for Semi-weighted Homogeneous Isolated Hypersurface Singularities  (Katsusuke Nabeshima)....Pages 447-460
 Acceleration of Subdivision Root-Finding for Sparse Polynomials  (Victor Y. Pan)....Pages 461-477
 Analytical Computations in Studying Translational-Rotational Motion of a Non-stationary Triaxial Body in the Central Gravitational Field  (Alexander Prokopenya, Mukhtar Minglibayev, Oralkhan Baisbayeva)....Pages 478-491
 A Linear Algebra Approach for Detecting Binomiality of Steady State Ideals of Reversible Chemical Reaction Networks  (Hamid Rahkooy, Ovidiu Radulescu, Thomas Sturm)....Pages 492-509
 First-Order Tests for Toricity  (Hamid Rahkooy, Thomas Sturm)....Pages 510-527
 Looking for Compatible Routes in the Railway Interlocking System of an Overtaking Station Using a Computer Algebra System  (Eugenio Roanes-Lozano)....Pages 528-542
 Computing Logarithmic Vector Fields Along an ICIS Germ via Matlis Duality  (Shinichi Tajima, Takafumi Shibuta, Katsusuke Nabeshima)....Pages 543-562
 Robust Numerical Tracking of One Path of a Polynomial Homotopy on Parallel Shared Memory Computers  (Simon Telen, Marc Van Barel, Jan Verschelde)....Pages 563-582
 Symbolic-Numeric Computation of the Bernstein Coefficients of a Polynomial from Those of One of Its Partial Derivatives and of the Product of Two Polynomials  (Jihad Titi, Jürgen Garloff)....Pages 583-599
 Comparative Study of the Accuracy of Higher-Order Difference Schemes for Molecular Dynamics Problems Using the Computer Algebra Means  (Evgenii V. Vorozhtsov, Sergey P. Kiselev)....Pages 600-620
 Characterizing Triviality of the Exponent Lattice of a Polynomial Through Galois and Galois-Like Groups  (Tao Zheng)....Pages 621-641
Back Matter ....Pages 643-644