Skip to main content
  • Conference proceedings
  • © 2020

Computer Algebra in Scientific Computing

22nd International Workshop, CASC 2020, Linz, Austria, September 14–18, 2020, Proceedings

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 12291)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): CASC: International Workshop on Computer Algebra in Scientific Computing

Conference proceedings info: CASC 2020.

Buy it now

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (36 papers)

  1. Front Matter

    Pages i-xvii
  2. 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
  3. Power Series Arithmetic with the BPAS Library

    • Alexander Brandt, Mahsa Kazemi, Marc Moreno-Maza
    Pages 108-128
  4. Enhancements to Lazard’s Method for Cylindrical Algebraic Decomposition

    • Christopher W. Brown, Scott McCallum
    Pages 129-149
  5. The GPGCD Algorithm with the Bézout Matrix

    • Boming Chi, Akira Terui
    Pages 170-187
  6. On Parametric Linear System Solving

    • Robert M. Corless, Mark Giesbrecht, Leili Rafiee Sevyeri, B. David Saunders
    Pages 188-205
  7. 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
  8. Symbolic-Numeric Study of Geometric Properties of Adiabatic Waveguide Modes

    • Dmitriy V. Divakov, Anastasiia A. Tiutiunnik, Anton L. Sevastianov
    Pages 228-244
  9. Intrinsic Complexity for Constructing Zero-Dimensional Gröbner Bases

    • Amir Hashemi, Joos Heintz, Luis M. Pardo, Pablo Solernó
    Pages 245-265
  10. Complexity Estimates for Fourier-Motzkin Elimination

    • Rui-Juan Jing, Marc Moreno-Maza, Delaram Talaashrafi
    Pages 282-306
  11. Progress Report on the Scala Algebra System

    • Raphaël Jolly
    Pages 307-315
  12. Routh – Hurwitz Stability of a Polynomial Matrix Family. Real Perturbations

    • Elizaveta A. Kalinina, Yuri A. Smol’kin, Alexei Yu. Uteshev
    Pages 316-334
  13. Hermite Rational Function Interpolation with Error Correction

    • Erich L. Kaltofen, Clément Pernet, Zhi-Hong Yang
    Pages 335-357

Other Volumes

  1. Computer Algebra in Scientific Computing

About this book

This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Algebra in Scientific Computing, CASC 2020, held in Linz, Austria, in September 2020. The conference was held virtually due to the COVID-19 pandemic.

The 34 full papers presented together with 2 invited talks were carefully reviewed and selected from 41 submissions. They deal with cutting-edge research in all major disciplines of computer algebra. The papers cover topics such as polynomial algebra, symbolic and symbolic-numerical computation, applications of symbolic computation for investigating and solving ordinary differential equations, applications of CAS in the investigation and solution of celestial mechanics problems, and in mechanics, physics, and robotics.

Editors and Affiliations

  • University of Lille, Villeneuve d’Ascq, France

    François Boulier

  • Coventry University, Coventry, UK

    Matthew England

  • Plekhanov Russian University of Economics, Moscow, Russia

    Timur M. Sadykov

  • Institute of Theoretical and Applied Mechanics, Novosibirsk, Russia

    Evgenii V. Vorozhtsov

Bibliographic Information

Buy it now

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access