| 000 | 04910nam a22006135i 4500 | ||
|---|---|---|---|
| 001 | 978-3-031-41724-5 | ||
| 003 | DE-He213 | ||
| 005 | 20240730181558.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 230823s2023 sz | s |||| 0|eng d | ||
| 020 |
_a9783031417245 _9978-3-031-41724-5 |
||
| 024 | 7 |
_a10.1007/978-3-031-41724-5 _2doi |
|
| 050 | 4 | _aQA9.58 | |
| 072 | 7 |
_aUYA _2bicssc |
|
| 072 | 7 |
_aCOM014000 _2bisacsh |
|
| 072 | 7 |
_aUYA _2thema |
|
| 082 | 0 | 4 |
_a005.13 _223 |
| 245 | 1 | 0 |
_aComputer Algebra in Scientific Computing _h[electronic resource] : _b25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings / _cedited by François Boulier, Matthew England, Ilias Kotsireas, Timur M. Sadykov, Evgenii V. Vorozhtsov. |
| 250 | _a1st ed. 2023. | ||
| 264 | 1 |
_aCham : _bSpringer Nature Switzerland : _bImprint: Springer, _c2023. |
|
| 300 |
_aXXII, 422 p. 57 illus., 24 illus. in color. _bonline resource. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 347 |
_atext file _bPDF _2rda |
||
| 490 | 1 |
_aLecture Notes in Computer Science, _x1611-3349 ; _v14139 |
|
| 505 | 0 | _aComputing 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. | |
| 520 | _aThis 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. . | ||
| 650 | 0 |
_aAlgorithms. _93390 |
|
| 650 | 0 |
_aArtificial intelligence. _93407 |
|
| 650 | 0 |
_aComputer science _xMathematics. _93866 |
|
| 650 | 0 |
_aComputer networks . _931572 |
|
| 650 | 1 | 4 |
_aDesign and Analysis of Algorithms. _931835 |
| 650 | 2 | 4 |
_aArtificial Intelligence. _93407 |
| 650 | 2 | 4 |
_aMathematics of Computing. _931875 |
| 650 | 2 | 4 |
_aComputer Communication Networks. _9125396 |
| 700 | 1 |
_aBoulier, François. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9125397 |
|
| 700 | 1 |
_aEngland, Matthew. _eeditor. _0(orcid) _10000-0001-5729-3420 _4edt _4http://id.loc.gov/vocabulary/relators/edt _9125398 |
|
| 700 | 1 |
_aKotsireas, Ilias. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9125399 |
|
| 700 | 1 |
_aSadykov, Timur M. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9125400 |
|
| 700 | 1 |
_aVorozhtsov, Evgenii V. _eeditor. _0(orcid) _10000-0003-2753-8399 _4edt _4http://id.loc.gov/vocabulary/relators/edt _9125401 |
|
| 710 | 2 |
_aSpringerLink (Online service) _9125402 |
|
| 773 | 0 | _tSpringer Nature eBook | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783031417238 |
| 776 | 0 | 8 |
_iPrinted edition: _z9783031417252 |
| 830 | 0 |
_aLecture Notes in Computer Science, _x1611-3349 ; _v14139 _923263 |
|
| 856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-031-41724-5 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-SXCS | ||
| 912 | _aZDB-2-LNC | ||
| 942 | _cELN | ||
| 999 |
_c90967 _d90967 |
||