Books+ Search Results
Computer Algebra in Scientific Computing 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings
Title
Computer Algebra in Scientific Computing [electronic resource] : 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings / edited by François Boulier, Matthew England, Ilias Kotsireas, Timur M. Sadykov, Evgenii V. Vorozhtsov.
ISBN
9783031417245
Edition
1st ed. 2023.
Publication
Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Physical Description
1 online resource (XXII, 422 p.) 57 illus., 24 illus. in color.
Local Notes
Access is available to the Yale community.
Access and use
Access restricted by licensing agreement.
Summary
This book constitutes the refereed proceedings of the 25th International Workshop on Computer Algebra in Scientific Computing, CASC 2023, which took place in Havana, Cuba, during August 28-September 1, 2023. The 22 full papers included in this book were carefully reviewed and selected from 29 submissions. They focus on the theory of symbolic computation and its implementation in computer algebra systems as well as all other areas of scientific computing with regard to their benefit from or use of computer algebra methods and software. .
Variant and related titles
Springer ENIN.
Other formats
Printed edition:
Printed edition:
Format
Books / Online
Language
English
Added to Catalog
September 19, 2023
Series
Lecture Notes in Computer Science, 14139
Contents
Computing GCDs of Multivariate Polynomials over Algebraic Number Fields Presented with Multiple Extensions
Generating Elementary Integrable Expressions
How to Automatise Proofs of Operator Statements: Moore-Penrose Inverse a Case Study
A Modular Algorithm for Computing the Intersection of a One-Dimensional Quasi-Component and a Hypersurface
Certified Study of Internal Solitary Waves
Root-Squaring for Root-Finding
Symbolic-Numerical Algorithm for Solving the Problem of Heavy Ion Collisions in an Optical Model with a Complex Potential
On the Complexity of Linear Algebra Operations over Algebraic Extension Fields
Range Functions of Any Convergence Order and their Amortized Complexity Analysis
Stability and Zero-Hopf Bifurcation Analysis of the Lorenz-Stenflo System Using Symbolic Methods
Non-Principal Branches of Lambert W. A Tale of 2 circles
On the Qualitative Analysis of the Equations of Motion of a Nonholonomic Mechanical System
Solving Parametric Linear Systems Using Sparse Rational Function Interpolation
On the Distance to the Nearest Defective Matrix
Effective Algorithm for Computing Noetherian Operators of Positive Dimensional Ideals
On the Structure and Generators of Differential Invariant Algebras
An Algorithm for the Intersection Problem of Planar Parametric Curves
A Symbolic-numeric Method for Solving the Poisson Equation in Polar Coordinates
Two Variants of B´ezout Subresultants for Several Univariate Polynomials
Efficient Quotients of Non-Commutative Polynomials
Inverse Kinematics and Path Planning of Manipulator Using Real Quantifier Elimination Based on Comprehensive Gröbner Systems.
Also listed under
SpringerLink (Online service)
Bookmark As
Citation
