國立高雄大學圖資館 |

Computer algebra in scientific computing24th International Workshop, CASC 2022, Gebze, Turkey, August 22-26, 2022 : proceedings /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Computer algebra in scientific computingedited by Francois Boulier ... [et al.].
其他題名:	24th International Workshop, CASC 2022, Gebze, Turkey, August 22-26, 2022 : proceedings /
其他題名:	CASC 2022
其他作者:	Boulier, Francois.
團體作者:
出版者:	Cham :Springer International Publishing :2022.
面頁冊數:	xiv, 397 p. :ill. (some col.), digital ;24 cm.
Contained By:	Springer Nature eBook
標題:	AlgebraData processing
電子資源:	https://doi.org/10.1007/978-3-031-14788-3
ISBN:	9783031147883$q(electronic bk.)

Computer algebra in scientific computing24th 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] :CASC 2022edited by Francois Boulier ... [et al.]. - Cham :Springer International Publishing :2022. - xiv, 397 p. :ill. (some col.), digital ;24 cm. - Lecture notes in computer science,133660302-9743 ;. - Lecture notes in computer science ;4891..

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$q(electronic bk.)

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

253687
Algebra
--Data processing

LC Class. No.: QA155.7.E4 / C37 2022

Dewey Class. No.: 512.00285

Computer algebra in scientific computing24th International Workshop, CASC 2022, Gebze, Turkey, August 22-26, 2022 : proceedings /
LDR:03463nmm a2200337 a 4500 001 628930
003 DE-He213
005 20220810155714.0
007 cr nn 008maaau
008 230224s2022 sz s 0 eng d
020 $a 9783031147883$q(electronic bk.)
020 $a 9783031147876$q(paper)
024 7 $a 10.1007/978-3-031-14788-3 $2 doi
035 $a 978-3-031-14788-3
040 $a GP $c GP
041 0 $a eng
050 4 $a QA155.7.E4 $b C37 2022
072 7 $a UYA $2 bicssc
072 7 $a COM051300 $2 bisacsh
072 7 $a UYA $2 thema
082 0 4 $a 512.00285 $2 23
090 $a QA155.7.E4 $b C336 2022
111 2 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
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 Francois Boulier ... [et al.].
246 3 $a CASC 2022
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2022.
300 $a xiv, 397 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $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 0 $a Algebra $x Data processing $3 253687
650 0 $a Science $x Data processing $v Congresses. $3 387283
650 1 4 $a Design and Analysis of Algorithms. $3 913142
650 2 4 $a Artificial Intelligence. $3 212515
650 2 4 $a Mathematics of Computing. $3 273710
650 2 4 $a Computer Communication Networks. $3 218087
700 1 $a Boulier, Francois. $3 880377
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 4891. $3 383229
856 4 0 $u https://doi.org/10.1007/978-3-031-14788-3
950 $a Computer Science (SpringerNature-11645)