default search action
25th CASC 2023, Havana, Cuba
- François Boulier
, Matthew England
Computer Algebra in Scientific Computing - 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings. Lecture Notes in Computer Science 14139, Springer 2023, ISBN 978-3-031-41723-8 - Mahsa Ansari, Michael B. Monagan:
Computing GCDs of Multivariate Polynomials over Algebraic Number Fields Presented with Multiple Extensions. 1-20 - Rashid Barket
Generating Elementary Integrable Expressions. 21-38 - Klara Bernauer, Clemens Hofstadler, Georg Regensburger
How to Automatise Proofs of Operator Statements: Moore-Penrose Inverse; A Case Study. 39-68 - Alexander Brandt
A Modular Algorithm for Computing the Intersection of a One-Dimensional Quasi-Component and a Hypersurface. 69-89 - André Galligo, Didier Clamond:
Certified Study of Internal Solitary Waves. 90-106 - Soo Go, Victor Y. Pan, Pedro Soto
Root-Squaring for Root-Finding. 107-127 - A. A. Gusev
Symbolic-Numerical Algorithm for Solving the Problem of Heavy Ion Collisions in an Optical Model with a Complex Potential. 128-140 - Amir Hashemi, Daniel Lichtblau:
On the Complexity of Linear Algebra Operations over Algebraic Extension Fields. 141-161 - Kai Hormann, Chee Yap, Ya Shi Zhang
Range Functions of Any Convergence Order and Their Amortized Complexity Analysis. 162-182 - Bo Huang, Xiaoliang Li
Stability and Zero-Hopf Bifurcation Analysis of the Lorenz-Stenflo System Using Symbolic Methods. 183-198 - Jacob Imre, David J. Jeffrey
Non-principal Branches of Lambert W. A Tale of 2 Circles. 199-212 - Valentin Irtegov, Tatiana Titorenko:
On the Qualitative Analysis of the Equations of Motion of a Nonholonomic Mechanical System. 213-232 - Ayoola Jinadu, Michael B. Monagan:
Solving Parametric Linear Systems Using Sparse Rational Function Interpolation. 233-254 - Elizaveta Kalinina
On the Distance to the Nearest Defective Matrix. 255-271 - Katsusuke Nabeshima, Shinichi Tajima:
Effective Algorithm for Computing Noetherian Operators of Positive Dimensional Ideals. 272-291 - Peter J. Olver
On the Structure and Generators of Differential Invariant Algebras. 292-311 - Ling Tan, Bo Li, Bingwei Zhang, Jin-San Cheng:
An Algorithm for the Intersection Problem of Planar Parametric Curves. 312-329 - Evgenii V. Vorozhtsov
A Symbolic-Numeric Method for Solving the Poisson Equation in Polar Coordinates. 330-349 - Weidong Wang, Jing Yang
Two Variants of Bézout Subresultants for Several Univariate Polynomials. 350-369 - Stephen M. Watt:
Efficient Quotients of Non-commutative Polynomials. 370-392 - Mizuki Yoshizawa, Akira Terui
Inverse Kinematics and Path Planning of Manipulator Using Real Quantifier Elimination Based on Comprehensive Gröbner Systems. 393-419
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-11-22 19:30 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: