Skip to main content
SpringerLink
Log in

Computer Algebra in Scientific Computing

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

  • Conference proceedings
  • © 2020

Overview

Editors:
  1. François Boulier

    1. University of Lille, Villeneuve d’Ascq, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Matthew England

    1. Coventry University, Coventry, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Timur M. Sadykov

    1. Plekhanov Russian University of Economics, Moscow, Russia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Evgenii V. Vorozhtsov

    1. Institute of Theoretical and Applied Mechanics, Novosibirsk, Russia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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)

Included in the following conference series:

Conference proceedings info: CASC 2020.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (36 papers)

  1. Front Matter

    Pages i-xvii
    Download chapter PDF

  2. Tropical Geometry of Biological Systems (Invited Talk)

    • Ovidiu Radulescu
    Pages 1-13

  3. Algebraic and Geometric Analysis of Singularities of Implicit Differential Equations (Invited Talk)

    • Werner M. Seiler, Matthias Seiß
    Pages 14-41

  4. On the Complexity of Computing Integral Bases of Function Fields

    • Simon Abelard
    Pages 42-62

  5. 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

  6. 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

  7. Univariate Polynomials with Long Unbalanced Coefficients as Bivariate Balanced Ones: A Toom–Cook Multiplication Approach

    • Marco Bodrato, Alberto Zanoni
    Pages 91-107

  8. Power Series Arithmetic with the BPAS Library

    • Alexander Brandt, Mahsa Kazemi, Marc Moreno-Maza
    Pages 108-128

  9. Enhancements to Lazard’s Method for Cylindrical Algebraic Decomposition

    • Christopher W. Brown, Scott McCallum
    Pages 129-149

  10. The Complexity and Parallel Implementation of Two Sparse Multivariate Hensel Lifting Algorithms for Polynomial Factorization

    • Tian Chen, Michael Monagan
    Pages 150-169

  11. The GPGCD Algorithm with the Bézout Matrix

    • Boming Chi, Akira Terui
    Pages 170-187

  12. On Parametric Linear System Solving

    • Robert M. Corless, Mark Giesbrecht, Leili Rafiee Sevyeri, B. David Saunders
    Pages 188-205

  13. 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

  14. Symbolic-Numeric Study of Geometric Properties of Adiabatic Waveguide Modes

    • Dmitriy V. Divakov, Anastasiia A. Tiutiunnik, Anton L. Sevastianov
    Pages 228-244

  15. Intrinsic Complexity for Constructing Zero-Dimensional Gröbner Bases

    • Amir Hashemi, Joos Heintz, Luis M. Pardo, Pablo Solernó
    Pages 245-265

  16. 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

  17. Complexity Estimates for Fourier-Motzkin Elimination

    • Rui-Juan Jing, Marc Moreno-Maza, Delaram Talaashrafi
    Pages 282-306

  18. Progress Report on the Scala Algebra System

    • Raphaël Jolly
    Pages 307-315

  19. Routh – Hurwitz Stability of a Polynomial Matrix Family. Real Perturbations

    • Elizaveta A. Kalinina, Yuri A. Smol’kin, Alexei Yu. Uteshev
    Pages 316-334

  20. Hermite Rational Function Interpolation with Error Correction

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

Other volumes

  1. Computer Algebra in Scientific Computing

Keywords

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

Publish with us

Policies and ethics

Back to top

Search

Navigation