國立虎尾科技大學 |

Computer Algebra in Scientific Computing = 24th International Workshop, CASC 2022, Gebze, Turkey, August 22–26, 2022, Proceedings /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Computer Algebra in Scientific Computing/ edited by François Boulier, Matthew England, Timur M. Sadykov, Evgenii V. Vorozhtsov.
其他題名:	24th International Workshop, CASC 2022, Gebze, Turkey, August 22–26, 2022, Proceedings /
其他作者:	Vorozhtsov, Evgenii V.
面頁冊數:	XIV, 397 p. 52 illus., 25 illus. in color.online resource. :
Contained By:	Springer Nature eBook
標題:	Computer Communication Networks. -
電子資源:	https://doi.org/10.1007/978-3-031-14788-3
ISBN:	9783031147883

Computer Algebra in Scientific Computing = 24th International Workshop, CASC 2022, Gebze, Turkey, August 22–26, 2022, Proceedings /
Computer Algebra in Scientific Computing24th International Workshop, CASC 2022, Gebze, Turkey, August 22–26, 2022, Proceedings /[electronic resource] :edited by François Boulier, Matthew England, Timur M. Sadykov, Evgenii V. Vorozhtsov. - 1st ed. 2022. - XIV, 397 p. 52 illus., 25 illus. in color.online resource. - Lecture Notes in Computer Science,133661611-3349 ;. - Lecture Notes in Computer Science,9324.

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.

This 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. .

ISBN: 9783031147883

Standard No.: 10.1007/978-3-031-14788-3doiSubjects--Topical Terms:

669310
Computer Communication Networks.

LC Class. No.: QA9.58

Dewey Class. No.: 005.13

Computer Algebra in Scientific Computing = 24th International Workshop, CASC 2022, Gebze, Turkey, August 22–26, 2022, Proceedings /
LDR:03844nam a22004095i 4500 001 1089582
003 DE-He213
005 20220810155714.0
007 cr nn 008mamaa
008 221228s2022 sz | s |||| 0|eng d
020 $a 9783031147883 $9 978-3-031-14788-3
024 7 $a 10.1007/978-3-031-14788-3 $2 doi
035 $a 978-3-031-14788-3
050 4 $a QA9.58
072 7 $a UYA $2 bicssc
072 7 $a COM051300 $2 bisacsh
072 7 $a UYA $2 thema
082 0 4 $a 005.13 $2 23
245 1 0 $a Computer Algebra in Scientific Computing $h [electronic resource] : $b 24th International Workshop, CASC 2022, Gebze, Turkey, August 22–26, 2022, Proceedings / $c edited by François Boulier, Matthew England, Timur M. Sadykov, Evgenii V. Vorozhtsov.
250 $a 1st ed. 2022.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2022.
300 $a XIV, 397 p. 52 illus., 25 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Lecture Notes in Computer Science, $x 1611-3349 ; $v 13366
505 0 $a 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.
520 $a This 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. .
650 2 4 $a Computer Communication Networks. $3 669310
650 2 4 $a Mathematics of Computing. $3 669457
650 2 4 $a Artificial Intelligence. $3 646849
650 1 4 $a Design and Analysis of Algorithms. $3 1365721
650 0 $a Computer networks . $3 1365720
650 0 $a Computer science—Mathematics. $3 1253519
650 0 $a Artificial intelligence. $3 559380
650 0 $a Algorithms. $3 527865
700 1 $a Vorozhtsov, Evgenii V. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 675623
700 1 $a Sadykov, Timur M. $e editor. $1 https://orcid.org/0000-0003-0741-2318 $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1300639
700 1 $a England, Matthew. $e editor. $1 https://orcid.org/0000-0001-5729-3420 $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1300638
700 1 $a Boulier, François. $e editor. $1 https://orcid.org/0000-0002-6663-719X $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1327524
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783031147876
776 0 8 $i Printed edition: $z 9783031147890
830 0 $a Lecture Notes in Computer Science, $x 0302-9743 ; $v 9324 $3 1258960
856 4 0 $u https://doi.org/10.1007/978-3-031-14788-3
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-LNC
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)