Skip to main content
Springer Nature Link
Log in

Computer Algebra in Scientific Computing

26th International Workshop, CASC 2024, Rennes, France, September 2–6, 2024, Proceedings

  • Conference proceedings
  • © 2024

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. Chenqi Mou

    1. School of Mathematical Sciences, Beihang University, Beijing, China

    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. Khristianovich 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 14938)

Included in the following conference series:

Conference proceedings info: CASC 2024.

  • 5250 Accesses

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

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

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

About this book

This book constitutes the refereed proceedings of the 26th International Workshop on Computer Algebra in Scientific Computing, CASC 2024, which took place in Rennes, France, during September 2 - September 6, 2024.

The 19 full papers included in this book were carefully reviewed and selected from 23 submissions. The annual International Workshop CASC 2024 aims to bring together researchers in theoretical computer algebra (CA), engineers, scholars, as well as other allied professionals applying CA tools for solving problems in industry and in various branches of scientific computing to explore and discuss advancements, challenges, and innovations related to CA.  

Keywords

Table of contents (21 papers)

  1. Front Matter

    Pages i-xiv
    Download chapter PDF

  2. Recent Developments in Real Quantifier Elimination and Cylindrical Algebraic Decomposition (Extended Abstract of Invited Talk)

    • Matthew England
    Pages 1-10

  3. Advances in Elimination Theory for Algebraic Differential and Difference Equations

    • Wei Li
    Pages 11-26

  4. A Modular Algorithm to Compute the Resultant of Multivariate Polynomials over Algebraic Number Fields Presented with Multiple Extensions

    • Mahsa Ansari, Michael Monagan
    Pages 27-46

  5. The Liouville Generator for Producing Integrable Expressions

    • Rashid Barket, Matthew England, Jürgen Gerhard
    Pages 47-62

  6. Symbolic-Numeric Solving Boundary Value Problems: Collective Models of Atomic Nuclei

    • Balt Batgerel, Ochbadrakh Chuluunbaatar, Vladimir L. Derbov, Alexander A. Gusev, Luong Le Hai, Algirdas Deveikis et al.
    Pages 63-81

  7. On Formal Power Series Solutions of Regular Differential Chains

    • François Boulier, François Lemaire
    Pages 82-99

  8. A Dataset for Suggesting Variable Orderings for Cylindrical Algebraic Decompositions

    • Changbo Chen, Rui-Juan Jing, Chengrong Qian, Yaru Yuan, Yuegang Zhao
    Pages 100-119

  9. Stability Analysis of a Differential Model for Quasi-Periodic Plasma Perturbations

    • Le Deng, Bo Huang, Wei Niu, Jichao Song, Xinyu Wang
    Pages 120-139

  10. Counting the Integer Points of Parametric Polytopes: A Maple Implementation

    • Rui-Juan Jing, Yuzhuo Lei, Christopher F. S. Maligec, Marc Moreno Maza
    Pages 140-160

  11. Algebraic Representations for Faster Predictions in Convolutional Neural Networks

    • Johnny Joyce, Jan Verschelde
    Pages 161-177

  12. Computing a Basis of the Set of Isogenies Between Two Supersingular Elliptic Curves

    • Akira Katayama, Masaya Yasuda
    Pages 178-192

  13. On the Radical of a Polynomial Ideal with Parameters

    • Ryosuke Kuramochi, Kazuki Tanaka, Katsusuke Nabeshima
    Pages 193-214

  14. Contribution to Integral Elimination

    • François Lemaire, Louis Roussel
    Pages 215-235

  15. Sparse Tensors and Subdivision Methods for Finding the Zero Set of Polynomial Equations

    • Guillaume Moroz
    Pages 236-251

  16. Merging Adjacent Cells During Single Cell Construction

    • Jasper Nalbach, Erika Ábrahám
    Pages 252-272

  17. Computing Clipped Products

    • Arthur C. Norman, Stephen M. Watt
    Pages 273-291

  18. Fast Integral Bases Computation

    • Adrien Poteaux, Martin Weimann
    Pages 292-313

  19. On Rational Recursion for Holonomic Sequences

    • Bertrand Teguia Tabuguia, James Worrell
    Pages 314-327

  20. GPU Accelerated Newton for Taylor Series Solutions of Polynomial Homotopies in Multiple Double Precision

    • Jan Verschelde
    Pages 328-348
Back to top

Other volumes

  1. Computer Algebra in Scientific Computing

Editors and Affiliations

  • Université de Lille, Villeneuve d’Ascq, France

    François Boulier

  • School of Mathematical Sciences, Beihang University, Beijing, China

    Chenqi Mou

  • Plekhanov Russian University of Economics, Moscow, Russia

    Timur M. Sadykov

  • Khristianovich Institute of Theoretical and Applied Mechanics, Novosibirsk, Russia

    Evgenii V. Vorozhtsov

Bibliographic Information

  • Book Title: Computer Algebra in Scientific Computing

  • Book Subtitle: 26th International Workshop, CASC 2024, Rennes, France, September 2–6, 2024, Proceedings

  • Editors: François Boulier, Chenqi Mou, Timur M. Sadykov, Evgenii V. Vorozhtsov

  • Series Title: Lecture Notes in Computer Science

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

  • 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 2024

  • Softcover ISBN: 978-3-031-69069-3Published: 21 August 2024

  • eBook ISBN: 978-3-031-69070-9Published: 20 August 2024

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XIV, 394

  • Number of Illustrations: 18 b/w illustrations, 41 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