default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID25th CASC 2023, Havana, Cuba
- François Boulier
, Matthew England, Ilias S. Kotsireas, Timur M. Sadykov, Evgenii V. Vorozhtsov:
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, Matthew England, Jürgen Gerhard:
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, Juan Pablo González Trochez, Marc Moreno Maza, Haoze Yuan:
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, Ochbadrakh Chuluunbaatar, V. L. Derbov, Rashid Nazmitdinov, Sergey I. Vinitsky, Peiwei Wen, C. J. Lin, H. M. Jia, Luong Le Hai:
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, Wei Niu, Shaofen Xie:
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, Alexei Uteshev, Marina V. Goncharova, Elena Lezhnina:
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, Masahiko Mikawa:
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 2025-12-04 01:24 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:
