東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁 到查詢結果 [ author_sort:"boulier, francois." ]

切換: 標籤 | MARC模式 | ISBD

Computer algebra in scientific compu...

CASC (Workshop : 2001- ) (2022 :)

FindBook

Google Book

Amazon

博客來

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 Francois Boulier ... [et al.].
其他題名:	24th International Workshop, CASC 2022, Gebze, Turkey, August 22-26, 2022 : proceedings /
其他題名:	CASC 2022
其他作者:	Boulier, Francois.
團體作者:	CASC (Workshop : 2001- )
出版者:	Cham :Springer International Publishing : : 2022.,
面頁冊數:	xiv, 397 p. :ill. (some col.), digital ;24 cm.
內容註:	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.
Contained By:	Springer Nature eBook
標題:	Algebra - Data processing -
電子資源:	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] :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 ;13366.

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:

706582
Algebra
--Data processing

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

Dewey Class. No.: 512.00285

Computer algebra in scientific computing = 24th International Workshop, CASC 2022, Gebze, Turkey, August 22-26, 2022 : proceedings /
LDR:03463nmm a2200337 a 4500 001 2303105
003 DE-He213
005 20220810155714.0
007 cr nn 008maaau
008 230409s2022 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 $a CASC (Workshop : 2001- ) $n (24th : $d 2022 : $c Gebze, Turkey) $3 3604028
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 $x Congresses. $3 706582
650 0 $a Science $x Data processing $x Congresses. $3 731190
650 1 4 $a Design and Analysis of Algorithms. $3 3538532
650 2 4 $a Artificial Intelligence. $3 769149
650 2 4 $a Mathematics of Computing. $3 891213
650 2 4 $a Computer Communication Networks. $3 775497
700 1 $a Boulier, Francois. $3 3514097
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 13366 $3 3604029
856 4 0 $u https://doi.org/10.1007/978-3-031-14788-3
950 $a Computer Science (SpringerNature-11645)