Muutke küpsiste eelistusi

Computer Algebra in Scientific Computing: 25th International Workshop, CASC 2023, Havana, Cuba, August 28 September 1, 2023, Proceedings 1st ed. 2023 [Pehme köide]

Edited by , Edited by , Edited by , Edited by , Edited by
  • Formaat: Paperback / softback, 422 pages, kõrgus x laius: 235x155 mm, kaal: 676 g, 24 Illustrations, color; 33 Illustrations, black and white; XXII, 422 p. 57 illus., 24 illus. in color., 1 Paperback / softback
  • Sari: Lecture Notes in Computer Science 14139
  • Ilmumisaeg: 24-Aug-2023
  • Kirjastus: Springer International Publishing AG
  • ISBN-10: 3031417232
  • ISBN-13: 9783031417238
  • Pehme köide
  • Hind: 76,49 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Tavahind: 89,99 €
  • Säästad 15%
  • Raamatu kohalejõudmiseks kirjastusest kulub orienteeruvalt 2-4 nädalat
  • Kogus:
  • Lisa ostukorvi
  • Tasuta tarne
  • Tellimisaeg 2-4 nädalat
  • Lisa soovinimekirja
  • Formaat: Paperback / softback, 422 pages, kõrgus x laius: 235x155 mm, kaal: 676 g, 24 Illustrations, color; 33 Illustrations, black and white; XXII, 422 p. 57 illus., 24 illus. in color., 1 Paperback / softback
  • Sari: Lecture Notes in Computer Science 14139
  • Ilmumisaeg: 24-Aug-2023
  • Kirjastus: Springer International Publishing AG
  • ISBN-10: 3031417232
  • ISBN-13: 9783031417238
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. 

Computing GCDs of Multivariate Polynomials over Algebraic Number Fields
Presented with Multiple Extensions.- Generating Elementary Integrable
Expressions.- How to Automatise Proofs of Operator Statements: MoorePenrose
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 LorenzStenflo 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.