Skip to main content
SpringerLink
Log in

Computer Algebra in Scientific Computing

24th International Workshop, CASC 2022, Gebze, Turkey, August 22–26, 2022, Proceedings

  • Conference proceedings
  • © 2022

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 13366)

Included in the following conference series:

Conference proceedings info: CASC 2022.

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

  1. Front Matter

    Pages i-xiv
    Download chapter PDF

  2. Survey on Generalizations of the Intermediate Value Theorem and Applications

    • Michael N. Vrahatis
    Pages 1-17

  3. On Truncated Series Involved in Exponential-Logarithmic Solutions of Truncated LODEs

    • S. A. Abramov, D. E. Khmelnov, A. A. Ryabenko
    Pages 18-28

  4. Subresultant Chains Using Bézout Matrices

    • Mohammadali Asadi, Alexander Brandt, David J. Jeffrey, Marc Moreno Maza
    Pages 29-50

  5. Application of Symbolic-Numerical Modeling Tools for Analysis of Gyroscopic Stabilization of Gyrostat Equilibria

    • Andrei V. Banshchikov
    Pages 51-61

  6. Computer Science for Continuous Data

    • Franz Brauße, Pieter Collins, Martin Ziegler
    Pages 62-82

  7. Computational Aspects of Equivariant Hilbert Series of Canonical Rings for Algebraic Curves

    • Hara Charalambous, Kostas Karagiannis, Sotiris Karanikolopoulos, Aristides Kontogeorgis
    Pages 83-102

  8. Symbolic-Numeric Algorithm for Calculations in Geometric Collective Model of Atomic Nuclei

    • Algirdas Deveikis, Alexander A. Gusev, Sergue I. Vinitsky, Yuri A. Blinkov, Andrzej Góźdź, Aleksandra Pȩdrak et al.
    Pages 103-123

  9. Analyses and Implementations of Chordality-Preserving Top-Down Algorithms for Triangular Decomposition

    • Mingyu Dong, Chenqi Mou
    Pages 124-142

  10. Accelerated Subdivision for Clustering Roots of Polynomials Given by Evaluation Oracles

    • Rémi Imbach, Victor Y. Pan
    Pages 143-164

  11. On Equilibrium Positions in the Problem of the Motion of a System of Two Bodies in a Uniform Gravity Field

    • Valentin Irtegov, Tatiana Titorenko
    Pages 165-184

  12. An Interpolation Algorithm for Computing Dixon Resultants

    • Ayoola Jinadu, Michael Monagan
    Pages 185-205

  13. Distance Evaluation to the Set of Matrices with Multiple Eigenvalues

    • Elizaveta Kalinina, Alexei Uteshev
    Pages 206-224

  14. On Boundary Conditions Parametrized by Analytic Functions

    • Markus Lange-Hegermann, Daniel Robertz
    Pages 225-245

  15. Computing the Integer Hull of Convex Polyhedral Sets

    • Marc Moreno Maza, Linxiao Wang
    Pages 246-267

  16. A Comparison of Algorithms for Proving Positivity of Linearly Recurrent Sequences

    • Philipp Nuspl, Veronika Pillwein
    Pages 268-287

  17. Stability Analysis of Periodic Motion of the Swinging Atwood Machine

    • Alexander Prokopenya
    Pages 288-299

  18. New Heuristic to Choose a Cylindrical Algebraic Decomposition Variable Ordering Motivated by Complexity Analysis

    • Tereso del Río, Matthew England
    Pages 300-317

  19. An Implementation of Parallel Number-Theoretic Transform Using Intel AVX-512 Instructions

    • Daisuke Takahashi
    Pages 318-332

  20. Locating the Closest Singularity in a Polynomial Homotopy

    • Jan Verschelde, Kylash Viswanathan
    Pages 333-352
Back to top

Other volumes

  1. Computer Algebra in Scientific Computing

Keywords

About this book

This book constitutes the proceedings of the 24th International Workshop on Computer Algebra in Scientific Computing, CASC 2022, which took place in Gebze, Turkey, in August 2022. The 20 full papers included in this book were carefully reviewed and selected from 32 submissions. They focus on the theory of symbolic computation and its implementation in computer algebra systems as well as all other areas of scientific computing with regard to their benefit from or use of computer algebra methods and software. 

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

  • Book Title: Computer Algebra in Scientific Computing

  • Book Subtitle: 24th International Workshop, CASC 2022, Gebze, Turkey, August 22–26, 2022, Proceedings

  • Editors: François Boulier, Matthew England, Timur M. Sadykov, Evgenii V. Vorozhtsov

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-031-14788-3

  • Publisher: Springer Cham

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2022

  • Softcover ISBN: 978-3-031-14787-6Published: 12 August 2022

  • eBook ISBN: 978-3-031-14788-3Published: 10 August 2022

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XIV, 397

  • Number of Illustrations: 27 b/w illustrations, 25 illustrations in colour

  • Topics: Algorithm Analysis and Problem Complexity, Artificial Intelligence, Mathematics of Computing, Computer Communication Networks

Publish with us

Policies and ethics

Back to top

Search

Navigation