001448696 000__ 04759cam\a2200613\i\4500
001448696 001__ 1448696
001448696 003__ OCoLC
001448696 005__ 20230310004252.0
001448696 006__ m\\\\\o\\d\\\\\\\\
001448696 007__ cr\cn\nnnunnun
001448696 008__ 220814s2022\\\\sz\a\\\\o\\\\\101\0\eng\d
001448696 020__ $$a9783031147883$$q(electronic bk.)
001448696 020__ $$a303114788X$$q(electronic bk.)
001448696 020__ $$z9783031147876
001448696 020__ $$z3031147871
001448696 0247_ $$a10.1007/978-3-031-14788-3$$2doi
001448696 035__ $$aSP(OCoLC)1340946528
001448696 040__ $$aYDX$$beng$$erda$$epn$$cYDX$$dGW5XE$$dEBLCP$$dOCLCF$$dOCLCQ
001448696 049__ $$aISEA
001448696 050_4 $$aQA155.7.E4
001448696 08204 $$a512.00285$$223/eng/20220819
001448696 1112_ $$aCASC (Workshop : 2001- )$$n(24th :$$d2022 :$$cGebze, Turkey)
001448696 24510 $$aComputer algebra in scientific computing :$$b24th International Workshop, CASC 2022, Gebze, Turkey, August 22-26, 2022, proceedings /$$cedited by François Boulier, Matthew England, Timur M. Sadykov, Evgenii V. Vorozhtsov.
001448696 24630 $$aCASC 2022
001448696 264_1 $$aCham :$$bSpringer,$$c[2022]
001448696 264_4 $$c©2022
001448696 300__ $$a1 online resource (xiv, 397 pages) :$$billustrations (some color).
001448696 336__ $$atext$$btxt$$2rdacontent
001448696 337__ $$acomputer$$bc$$2rdamedia
001448696 338__ $$aonline resource$$bcr$$2rdacarrier
001448696 4901_ $$aLecture notes in computer science,$$x1611-3349 ;$$v13366
001448696 500__ $$aInternational conference proceedings.
001448696 500__ $$aIncludes author index.
001448696 5050_ $$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 Bezout 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.
001448696 506__ $$aAccess limited to authorized users.
001448696 520__ $$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. .
001448696 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed August 19, 2022).
001448696 650_0 $$aAlgebra$$xData processing$$vCongresses.
001448696 650_0 $$aScience$$xData processing$$vCongresses.
001448696 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001448696 655_7 $$aConference papers and proceedings.$$2lcgft
001448696 655_0 $$aElectronic books.
001448696 7001_ $$aBoulier, François,$$eeditor.
001448696 7001_ $$aEngland, Matthew,$$eeditor.
001448696 7001_ $$aSadykov, Timur M.,$$eeditor.
001448696 7001_ $$aVorozhtsov, E. V.$$q(Evgenii Vasilʹevich),$$d1946-$$eeditor.
001448696 77608 $$iPrint version: $$z3031147871$$z9783031147876$$w(OCoLC)1335756797
001448696 830_0 $$aLecture notes in computer science ;$$v13366.$$x1611-3349
001448696 852__ $$bebk
001448696 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-14788-3$$zOnline Access$$91397441.1
001448696 909CO $$ooai:library.usi.edu:1448696$$pGLOBAL_SET
001448696 980__ $$aBIB
001448696 980__ $$aEBOOK
001448696 982__ $$aEbook
001448696 983__ $$aOnline
001448696 994__ $$a92$$bISE