LEADER 04663nam 22006615 450 001 9910586588103321 005 20251225203708.0 010 $a3-031-14788-X 024 7 $a10.1007/978-3-031-14788-3 035 $a(MiAaPQ)EBC7072665 035 $a(Au-PeEL)EBL7072665 035 $a(CKB)24368775300041 035 $a(PPN)264191374 035 $a(OCoLC)1340946528 035 $a(DE-He213)978-3-031-14788-3 035 $a(EXLCZ)9924368775300041 100 $a20220810d2022 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aComputer Algebra in Scientific Computing $e24th International Workshop, CASC 2022, Gebze, Turkey, August 22?26, 2022, Proceedings /$fedited by François Boulier, Matthew England, Timur M. Sadykov, Evgenii V. Vorozhtsov 205 $a1st ed. 2022. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2022. 215 $a1 online resource (412 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v13366 311 08$aPrint version: Boulier, François Computer Algebra in Scientific Computing Cham : Springer International Publishing AG,c2022 9783031147876 320 $aIncludes bibliographical references and index. 327 $aSurvey on Generalizations of the Intermediate Value Theorem and Applications (Invited Talk) -- On Truncated Series Involved in Exponential-Logarithmic Solutions of Truncated LODEs -- Subresultant Chains Using B´ezout Matrices -- Application of Symbolic-Numerical Modeling Tools for Analysis of Gyroscopic Stabilization of Gyrostat Equilibria -- Computer Science for Continuous Data: Vision, Theory, and Practice of a Computer (Algebra) ANALYSIS System -- Computational Aspects of Equivariant Hilbert Series of Canonical Rings for Algebraic Curves -- Symbolic-Numeric Algorithm for Calculations in Geometric Collective Model of Atomic Nuclei -- Analyses and Implementations of Chordality-Preserving Top-Down Algorithms for Triangular Decomposition -- Accelerated Subdivision for Clustering Roots of Polynomials Given by Evaluation Oracles -- On Equilibrium Positions in the Problem of the Motion of a System of Two Bodies in a Uniform Gravity Field -- An Interpolation Algorithm for Computing Dixon Resultants -- Distance Evaluation to the Set of Matrices with Multiple Eigenvalues -- On Boundary Conditions Parametrized by Analytic Functions -- Computing the Integer Hull of Convex Polyhedral Sets -- A Comparison of Algorithms for Proving Positivity of Linearly Recurrent Sequences -- Stability Analysis of Periodic Motion of the Swinging Atwood Machine -- New Heuristic to Choose a Cylindrical Algebraic Decomposition Variable Ordering Motivated by Complexity Analysis -- An Implementation of Parallel Number-Theoretic Transform Using Intel AVX-512 Instructions -- Locating the Closest Singularity in a Polynomial Homotopy -- A General Method of Finding New Symplectic Schemes for Hamiltonian Mechanics -- A Mechanical Method for Isolating Locally Optimal Points of Certain Radical Functions. 330 $aThis book constitutes the proceedings of the 24th International Workshop on Computer Algebra in Scientific Computing, CASC 2022, which took place in Gebze, Turkey, in August 2022. The 20 full papers included in this book were carefully reviewed and selected from 32 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. . 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v13366 606 $aAlgorithms 606 $aArtificial intelligence 606 $aComputer science$xMathematics 606 $aComputer networks 606 $aDesign and Analysis of Algorithms 606 $aArtificial Intelligence 606 $aMathematics of Computing 606 $aComputer Communication Networks 615 0$aAlgorithms. 615 0$aArtificial intelligence. 615 0$aComputer science$xMathematics. 615 0$aComputer networks. 615 14$aDesign and Analysis of Algorithms. 615 24$aArtificial Intelligence. 615 24$aMathematics of Computing. 615 24$aComputer Communication Networks. 676 $a512.0285 676 $a512.00285 702 $aBoulier$b Franc?ois 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910586588103321 996 $aComputer Algebra in Scientific Computing$9772100 997 $aUNINA