CASC B

22 papers

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