CASC

Keyphrases

Publications

2023

Elizaveta Kalinina, Alexei Uteshev, Marina V. Goncharova, Elena Lezhnina
On the Distance to the Nearest Defective Matrix. CASC (2023)
Valentin Irtegov, Tatiana Titorenko
On the Qualitative Analysis of the Equations of Motion of a Nonholonomic Mechanical System. CASC (2023)
André Galligo, Didier Clamond
Certified Study of Internal Solitary Waves. CASC (2023)
Soo Go, Victor Y. Pan, Pedro Soto
Root-Squaring for Root-Finding. CASC (2023)
Bo Huang, Xiaoliang Li, Wei Niu, Shaofen Xie
Stability and Zero-Hopf Bifurcation Analysis of the Lorenz-Stenflo System Using Symbolic Methods. CASC (2023)
Katsusuke Nabeshima, Shinichi Tajima
Effective Algorithm for Computing Noetherian Operators of Positive Dimensional Ideals. CASC (2023)
Mizuki Yoshizawa, Akira Terui, Masahiko Mikawa
Inverse Kinematics and Path Planning of Manipulator Using Real Quantifier Elimination Based on Comprehensive Gröbner Systems. CASC (2023)
Weidong Wang, Jing Yang
Two Variants of Bézout Subresultants for Several Univariate Polynomials. CASC (2023)
Kai Hormann, Chee Yap, Ya Shi Zhang
Range Functions of Any Convergence Order and Their Amortized Complexity Analysis. CASC (2023)
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. CASC (2023)
Stephen M. Watt
Efficient Quotients of Non-commutative Polynomials. CASC (2023)
A. A. Gusev, Ochbadrakh Chuluunbaatar, V. L. Derbov, Rashid Nazmitdinov, Sergey I. Vinitsky, P. W. 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. CASC (2023)
Peter J. Olver
On the Structure and Generators of Differential Invariant Algebras. CASC (2023)
Rashid Barket, Matthew England, Jürgen Gerhard
Generating Elementary Integrable Expressions. CASC (2023)
Klara Bernauer, Clemens Hofstadler, Georg Regensburger
How to Automatise Proofs of Operator Statements: Moore-Penrose Inverse; A Case Study. CASC (2023)
Amir Hashemi, Daniel Lichtblau
On the Complexity of Linear Algebra Operations over Algebraic Extension Fields. CASC (2023)
Jacob Imre, David J. Jeffrey
Non-principal Branches of Lambert W. A Tale of 2 Circles. CASC (2023)
Ling Tan, Bo Li, Bingwei Zhang, Jin-San Cheng
An Algorithm for the Intersection Problem of Planar Parametric Curves. CASC (2023)
Evgenii V. Vorozhtsov
A Symbolic-Numeric Method for Solving the Poisson Equation in Polar Coordinates. CASC (2023)
Mahsa Ansari, Michael B. Monagan
Computing GCDs of Multivariate Polynomials over Algebraic Number Fields Presented with Multiple Extensions. CASC (2023)
Ayoola Jinadu, Michael B. Monagan
Solving Parametric Linear Systems Using Sparse Rational Function Interpolation. CASC (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)

2021

volume 12865, 2021

Computer Algebra in Scientific Computing - 23rd International Workshop, CASC 2021, Sochi, Russia, September 13-17, 2021, Proceedings CASC 12865 (2021)