CASC

Keyphrases

Publications

2024

François Lemaire, Louis Roussel
Contribution to Integral Elimination. CASC (2024)
Jasper Nalbach, Erika Ábrahám
Merging Adjacent Cells During Single Cell Construction. CASC (2024)
François Boulier, François Lemaire
On Formal Power Series Solutions of Regular Differential Chains. CASC (2024)
Rui-Juan Jing, Yuzhuo Lei, Christopher F. S. Maligec, Marc Moreno Maza
Counting the Integer Points of Parametric Polytopes: A Maple Implementation. CASC (2024)
Johnny Joyce, Jan Verschelde
Algebraic Representations for Faster Predictions in Convolutional Neural Networks. CASC (2024)
Guillaume Moroz
Sparse Tensors and Subdivision Methods for Finding the Zero Set of Polynomial Equations. CASC (2024)
Balt Batgerel, Ochbadrakh Chuluunbaatar, Vladimir Derbov, Alexander Gusev, Luong Le Hai, Algirdas Deveikis, Peter O. Hess, Evgenii V. Mardyban, Mariia A. Mardyban, Sergue I. Vinitsky, Peiwei Wen
Symbolic-Numeric Solving Boundary Value Problems: Collective Models of Atomic Nuclei. CASC (2024)
Ryosuke Kuramochi, Kazuki Tanaka, Katsusuke Nabeshima
On the Radical of a Polynomial Ideal with Parameters. CASC (2024)
Akira Katayama, Masaya Yasuda
Computing a Basis of the Set of Isogenies Between Two Supersingular Elliptic Curves. CASC (2024)
Le Deng, Bo Huang, Wei Niu, Jichao Song, Xinyu Wang
Stability Analysis of a Differential Model for Quasi-Periodic Plasma Perturbations. CASC (2024)
Mahsa Ansari, Michael B. Monagan
A Modular Algorithm to Compute the Resultant of Multivariate Polynomials over Algebraic Number Fields Presented with Multiple Extensions. CASC (2024)
Adrien Poteaux, Martin Weimann
Fast Integral Bases Computation. CASC (2024)
Arthur C. Norman, Stephen M. Watt
Computing Clipped Products. CASC (2024)
Matthew England
Recent Developments in Real Quantifier Elimination and Cylindrical Algebraic Decomposition (Extended Abstract of Invited Talk). CASC (2024)
Rashid Barket, Matthew England, Jürgen Gerhard
The Liouville Generator for Producing Integrable Expressions. CASC (2024)
Evgenii V. Vorozhtsov
New Three- and Five-Stage Symplectic Schemes in the Forest-Ruth Family. CASC (2024)
Natsu Wada, Katsusuke Nabeshima
Merging Multiple Algorithms for Computing Comprehensive Gröbner Systems Using Parallel Processing. CASC (2024)
Jan Verschelde
GPU Accelerated Newton for Taylor Series Solutions of Polynomial Homotopies in Multiple Double Precision. CASC (2024)
Bertrand Teguia Tabuguia, James Worrell
On Rational Recursion for Holonomic Sequences. CASC (2024)
Changbo Chen, Rui-Juan Jing, Chengrong Qian, Yaru Yuan, Yuegang Zhao
A Dataset for Suggesting Variable Orderings for Cylindrical Algebraic Decompositions. CASC (2024)
Wei Li
Advances in Elimination Theory for Algebraic Differential and Difference Equations. CASC (2024)

volume 14938, 2024

Computer Algebra in Scientific Computing - 26th International Workshop, CASC 2024, Rennes, France, September 2-6, 2024, Proceedings CASC 14938 (2024)

2023

volume 14139, 2023

Computer Algebra in Scientific Computing - 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings CASC 14139 (2023)

2022

volume 13366, 2022

Computer Algebra in Scientific Computing - 24th International Workshop, CASC 2022, Gebze, Turkey, August 22-26, 2022, Proceedings CASC 13366 (2022)