단행본 상세

URL복사하기
서지주요정보
Computer Algebra in Scientific Computing: 24th International Workshop, CASC 2022, Gebze, Turkey, August 22–26, 2022, Proceedings [electronic resource]
서명 / 저자 Computer Algebra in Scientific Computing [electronic resource] : 24th International Workshop, CASC 2022, Gebze, Turkey, August 22–26, 2022, Proceedings / edited by François Boulier, Matthew England, Timur M. Sadykov, Evgenii V. Vorozhtsov.
저자명 Boulier, François. editor. (orcid)0000-0002-6663-719X https://orcid.org/0000-0002-6663-719X edt http://id.loc.gov/vocabulary/relators/edt ; England, Matthew. editor. (orcid)0000-0001-5729-3420 https://orcid.org/0000-0001-5729-3420 edt http://id.loc.gov/vocabulary/relators/edt ; Sadykov, Timur M. editor. (orcid)0000-0003-0741-2318 https://orcid.org/0000-0003-0741-2318 edt http://id.loc.gov/vocabulary/relators/edt ; Vorozhtsov, Evgenii V. editor. (orcid)0000-0003-2753-8399 https://orcid.org/0000-0003-2753-8399 edt http://id.loc.gov/vocabulary/relators/edt
단체명 SpringerLink (Online service)
발행사항 Cham : Springer International Publishing : Imprint: Springer, 2022.
Online Access https://doi.org/10.1007/978-3-031-14788-3 URL

서지기타정보

서지기타정보
청구기호 QA9.58
판사항 1st ed. 2022.
형태사항 XIV, 397 p. 52 illus., 25 illus. in color. online resource.
총서명 Lecture Notes in Computer Science, 1611-3349 ; 13366
언어 English
내용 Survey 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.
주제 Algorithms.
Artificial intelligence.
Computer science—Mathematics.
Computer networks .
Design and Analysis of Algorithms.
Artificial Intelligence.
Mathematics of Computing.
Computer Communication Networks.
보유판 및 특별호 저록 Springer Nature eBook
Printed edition: 9783031147876 Printed edition: 9783031147890
ISBN 9783031147883
기타 표준번호 10.1007/978-3-031-14788-3
QR CODE

책소개

전체보기

목차

전체보기

홈으로
로그인 외부인 로그인
ENG
닫기