default search action
26th CASC 2024, Rennes, France
- François Boulier
, Chenqi Mou
Computer Algebra in Scientific Computing - 26th International Workshop, CASC 2024, Rennes, France, September 2-6, 2024, Proceedings. Lecture Notes in Computer Science 14938, Springer 2024, ISBN 978-3-031-69069-3 - Matthew England
Recent Developments in Real Quantifier Elimination and Cylindrical Algebraic Decomposition (Extended Abstract of Invited Talk). 1-10 - Wei Li:
Advances in Elimination Theory for Algebraic Differential and Difference Equations. 11-26 - Mahsa Ansari, Michael B. Monagan:
A Modular Algorithm to Compute the Resultant of Multivariate Polynomials over Algebraic Number Fields Presented with Multiple Extensions. 27-46 - Rashid Barket
The Liouville Generator for Producing Integrable Expressions. 47-62 - Balt Batgerel
Symbolic-Numeric Solving Boundary Value Problems: Collective Models of Atomic Nuclei. 63-81 - François Boulier, François Lemaire:
On Formal Power Series Solutions of Regular Differential Chains. 82-99 - Changbo Chen
A Dataset for Suggesting Variable Orderings for Cylindrical Algebraic Decompositions. 100-119 - Le Deng, Bo Huang, Wei Niu, Jichao Song, Xinyu Wang:
Stability Analysis of a Differential Model for Quasi-Periodic Plasma Perturbations. 120-139 - Rui-Juan Jing
Counting the Integer Points of Parametric Polytopes: A Maple Implementation. 140-160 - Johnny Joyce, Jan Verschelde:
Algebraic Representations for Faster Predictions in Convolutional Neural Networks. 161-177 - Akira Katayama, Masaya Yasuda:
Computing a Basis of the Set of Isogenies Between Two Supersingular Elliptic Curves. 178-192 - Ryosuke Kuramochi, Kazuki Tanaka, Katsusuke Nabeshima:
On the Radical of a Polynomial Ideal with Parameters. 193-214 - François Lemaire
Contribution to Integral Elimination. 215-235 - Guillaume Moroz:
Sparse Tensors and Subdivision Methods for Finding the Zero Set of Polynomial Equations. 236-251 - Jasper Nalbach
Merging Adjacent Cells During Single Cell Construction. 252-272 - Arthur C. Norman, Stephen M. Watt:
Computing Clipped Products. 273-291 - Adrien Poteaux, Martin Weimann:
Fast Integral Bases Computation. 292-313 - Bertrand Teguia Tabuguia
On Rational Recursion for Holonomic Sequences. 314-327 - Jan Verschelde:
GPU Accelerated Newton for Taylor Series Solutions of Polynomial Homotopies in Multiple Double Precision. 328-348 - Evgenii V. Vorozhtsov:
New Three- and Five-Stage Symplectic Schemes in the Forest-Ruth Family. 349-372 - Natsu Wada, Katsusuke Nabeshima:
Merging Multiple Algorithms for Computing Comprehensive Gröbner Systems Using Parallel Processing. 373-391
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-17 20:46 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: