Skip to main content
SpringerLink
Log in

Computer Algebra in Scientific Computing

23rd International Workshop, CASC 2021, Sochi, Russia, September 13–17, 2021, Proceedings

  • Conference proceedings
  • © 2021

Overview

Editors:
  1. François Boulier

    1. Université de 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 12865)

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

Included in the following conference series:

Conference proceedings info: CASC 2021.

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 79.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 99.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 (25 papers)

  1. Front Matter

    Pages i-xxi
    Download chapter PDF

  2. Families of Polynomials in the Study of Biochemical Reaction Networks

    • Alicia Dickenstein
    Pages 1-5

  3. The m-Bézout Bound and Distance Geometry

    • Evangelos Bartzos, Ioannis Z. Emiris, Charalambos Tzamos
    Pages 6-20

  4. Computational Schemes for Subresultant Chains

    • Mohammadali Asadi, Alexander Brandt, Marc Moreno Maza
    Pages 21-41

  5. On Rational Solutions of Pseudo-linear Systems

    • Moulay A. Barkatou, Thomas Cluzeau, Ali El Hajj
    Pages 42-61

  6. On the Relationship Between Differential Algebra and Tropical Differential Algebraic Geometry

    • François Boulier, Sebastian Falkensteiner, Marc Paul Noordman, Omar León Sánchez
    Pages 62-77

  7. On the Complexity and Parallel Implementation of Hensel’s Lemma and Weierstrass Preparation

    • Alexander Brandt, Marc Moreno Maza
    Pages 78-99

  8. Symbolic-Numeric Algorithms for Computing Orthonormal Bases of \(\text {SU(3)}\) Group for Orbital Angular Momentum

    • Algirdas Deveikis, Alexander Gusev, Sergue Vinitsky, Andrzej Góźdź, Aleksandra Pȩdrak, Čestmir Burdik et al.
    Pages 100-120

  9. Improved Supersingularity Testing of Elliptic Curves Using Legendre Form

    • Yuji Hashimoto, Koji Nuida
    Pages 121-135

  10. Root Radii and Subdivision for Polynomial Root-Finding

    • Rémi Imbach, Victor Y. Pan
    Pages 136-156

  11. On First Integrals and Invariant Manifolds in the Generalized Problem of the Motion of a Rigid Body in a Magnetic Field

    • Valentin Irtegov, Tatiana Titorenko
    Pages 157-173

  12. Automatic Differentiation with Higher Infinitesimals, or Computational Smooth Infinitesimal Analysis in Weil Algebra

    • Hiromi Ishii
    Pages 174-191

  13. On the Real Stability Radius for Some Classes of Matrices

    • Elizaveta Kalinina, Alexei Uteshev
    Pages 192-208

  14. Decoupling Multivariate Fractions

    • François Lemaire, Adrien Poteaux
    Pages 209-231

  15. Towards Extending Fulton’s Algorithm for Computing Intersection Multiplicities Beyond the Bivariate Case

    • Marc Moreno Maza, Ryan Sandford
    Pages 232-251

  16. On the Pseudo-Periodicity of the Integer Hull of Parametric Convex Polygons

    • Marc Moreno Maza, Linxiao Wang
    Pages 252-271

  17. Relaxed NewtonSLRA for Approximate GCD

    • Kosaku Nagasaka
    Pages 272-292

  18. Simplification of Nested Real Radicals Revisited

    • Nikolay N. Osipov, Alexey A. Kytmanov
    Pages 293-313

  19. Parametric Toricity of Steady State Varieties of Reaction Networks

    • Hamid Rahkooy, Thomas Sturm
    Pages 314-333

  20. Testing Binomiality of Chemical Reaction Networks Using Comprehensive Gröbner Systems

    • Hamid Rahkooy, Thomas Sturm
    Pages 334-352
Back to top

Other volumes

  1. Computer Algebra in Scientific Computing

Keywords

About this book

This book constitutes the proceedings of the 23rd International Workshop on Computer Algebra in Scientific Computing, CASC 2021, held in Sochi, Russia, in September 2021. The 24 full papers presented together with 1 invited talk were carefully reviewed and selected from 40 submissions. The papers cover theoretical computer algebra and its applications in scientific computing.

Reviews

“Strong interplay between the abstract exposition, which includes the relevant theorems as well as their proofs, and the practical utilization of those concepts in Mathematica is certainly a remarkable feature of this textbook. … Overall, the book is very well written and the approach to provide examples as actual Mathematica sessions is commendable.” (Andreas Maletti, zbMATH 1484.68004, 2022)

Editors and Affiliations

  • Université de 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