東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Computer algebra in scientific compu...

International Workshop on Computer Algebra in Scientific Computing (2023 :)

Linked to FindBook

Google Book

Amazon

博客來

Computer algebra in scientific computing = 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023 : proceedings /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Computer algebra in scientific computing/ edited by Francois Boulier ... [et al.].
Reminder of title:	25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023 : proceedings /
remainder title:	CASC 2023
other author:	Boulier, Francois.
corporate name:	International Workshop on Computer Algebra in Scientific Computing
Published:	Cham :Springer Nature Switzerland : : 2023.,
Description:	xxii, 422 p. :ill. (some col.), digital ;24 cm.
[NT 15003449]:	Computing GCDs of Multivariate Polynomials over Algebraic Number Fields Presented with Multiple Extensions -- Generating Elementary Integrable Expressions -- How to Automatise Proofs of Operator Statements: Moore-Penrose Inverse a Case Study -- A Modular Algorithm for Computing the Intersection of a One-Dimensional Quasi-Component and a Hypersurface -- Certified Study of Internal Solitary Waves -- Root-Squaring for Root-Finding -- Symbolic-Numerical Algorithm for Solving the Problem of Heavy Ion Collisions in an Optical Model with a Complex Potential -- On the Complexity of Linear Algebra Operations over Algebraic Extension Fields -- Range Functions of Any Convergence Order and their Amortized Complexity Analysis -- Stability and Zero-Hopf Bifurcation Analysis of the Lorenz-Stenflo System Using Symbolic Methods -- Non-Principal Branches of Lambert W. A Tale of 2 circles -- On the Qualitative Analysis of the Equations of Motion of a Nonholonomic Mechanical System -- Solving Parametric Linear Systems Using Sparse Rational Function Interpolation -- On the Distance to the Nearest Defective Matrix -- Effective Algorithm for Computing Noetherian Operators of Positive Dimensional Ideals -- On the Structure and Generators of Differential Invariant Algebras -- An Algorithm for the Intersection Problem of Planar Parametric Curves -- A Symbolic-numeric Method for Solving the Poisson Equation in Polar Coordinates -- Two Variants of B'ezout Subresultants for Several Univariate Polynomials -- Efficient Quotients of Non-Commutative Polynomials -- Inverse Kinematics and Path Planning of Manipulator Using Real Quantifier Elimination Based on Comprehensive Gröbner Systems.
Contained By:	Springer Nature eBook
Subject:	Algebra - Data processing -
Online resource:	https://doi.org/10.1007/978-3-031-41724-5
ISBN:	9783031417245

Computer algebra in scientific computing = 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023 : proceedings /
Computer algebra in scientific computing25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023 : proceedings /[electronic resource] :CASC 2023edited by Francois Boulier ... [et al.]. - Cham :Springer Nature Switzerland :2023. - xxii, 422 p. :ill. (some col.), digital ;24 cm. - Lecture notes in computer science,141390302-9743 ;. - Lecture notes in computer science ;14139..

Computing GCDs of Multivariate Polynomials over Algebraic Number Fields Presented with Multiple Extensions -- Generating Elementary Integrable Expressions -- How to Automatise Proofs of Operator Statements: Moore-Penrose Inverse a Case Study -- A Modular Algorithm for Computing the Intersection of a One-Dimensional Quasi-Component and a Hypersurface -- Certified Study of Internal Solitary Waves -- Root-Squaring for Root-Finding -- Symbolic-Numerical Algorithm for Solving the Problem of Heavy Ion Collisions in an Optical Model with a Complex Potential -- On the Complexity of Linear Algebra Operations over Algebraic Extension Fields -- Range Functions of Any Convergence Order and their Amortized Complexity Analysis -- Stability and Zero-Hopf Bifurcation Analysis of the Lorenz-Stenflo System Using Symbolic Methods -- Non-Principal Branches of Lambert W. A Tale of 2 circles -- On the Qualitative Analysis of the Equations of Motion of a Nonholonomic Mechanical System -- Solving Parametric Linear Systems Using Sparse Rational Function Interpolation -- On the Distance to the Nearest Defective Matrix -- Effective Algorithm for Computing Noetherian Operators of Positive Dimensional Ideals -- On the Structure and Generators of Differential Invariant Algebras -- An Algorithm for the Intersection Problem of Planar Parametric Curves -- A Symbolic-numeric Method for Solving the Poisson Equation in Polar Coordinates -- Two Variants of B'ezout Subresultants for Several Univariate Polynomials -- Efficient Quotients of Non-Commutative Polynomials -- Inverse Kinematics and Path Planning of Manipulator Using Real Quantifier Elimination Based on Comprehensive Gröbner Systems.

This book constitutes the refereed proceedings of the 25th International Workshop on Computer Algebra in Scientific Computing, CASC 2023, which took place in Havana, Cuba, during August 28-September 1, 2023. The 22 full papers included in this book were carefully reviewed and selected from 29 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: 9783031417245

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

706582
Algebra
--Data processing

LC Class. No.: QA155.7.E4

Dewey Class. No.: 512.00285

Computer algebra in scientific computing = 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023 : proceedings /
LDR:03413nmm a2200349 a 4500 001 2333700
003 DE-He213
005 20230823082613.0
006 m d
007 cr nn 008maaau
008 240402s2023 sz s 0 eng d
020 $a 9783031417245 $q (electronic bk.)
020 $a 9783031417238 $q (paper)
024 7 $a 10.1007/978-3-031-41724-5 $2 doi
035 $a 978-3-031-41724-5
040 $a GP $c GP
041 0 $a eng
050 4 $a QA155.7.E4
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 I61 2023
111 2 $a International Workshop on Computer Algebra in Scientific Computing $n (25th : $d 2023 : $c Havana, Cuba) $3 3664657
245 1 0 $a Computer algebra in scientific computing $h [electronic resource] : $b 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023 : proceedings / $c edited by Francois Boulier ... [et al.].
246 3 $a CASC 2023
260 $a Cham : $b Springer Nature Switzerland : $b Imprint: Springer, $c 2023.
300 $a xxii, 422 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 14139
505 0 $a Computing GCDs of Multivariate Polynomials over Algebraic Number Fields Presented with Multiple Extensions -- Generating Elementary Integrable Expressions -- How to Automatise Proofs of Operator Statements: Moore-Penrose Inverse a Case Study -- A Modular Algorithm for Computing the Intersection of a One-Dimensional Quasi-Component and a Hypersurface -- Certified Study of Internal Solitary Waves -- Root-Squaring for Root-Finding -- Symbolic-Numerical Algorithm for Solving the Problem of Heavy Ion Collisions in an Optical Model with a Complex Potential -- On the Complexity of Linear Algebra Operations over Algebraic Extension Fields -- Range Functions of Any Convergence Order and their Amortized Complexity Analysis -- Stability and Zero-Hopf Bifurcation Analysis of the Lorenz-Stenflo System Using Symbolic Methods -- Non-Principal Branches of Lambert W. A Tale of 2 circles -- On the Qualitative Analysis of the Equations of Motion of a Nonholonomic Mechanical System -- Solving Parametric Linear Systems Using Sparse Rational Function Interpolation -- On the Distance to the Nearest Defective Matrix -- Effective Algorithm for Computing Noetherian Operators of Positive Dimensional Ideals -- On the Structure and Generators of Differential Invariant Algebras -- An Algorithm for the Intersection Problem of Planar Parametric Curves -- A Symbolic-numeric Method for Solving the Poisson Equation in Polar Coordinates -- Two Variants of B'ezout Subresultants for Several Univariate Polynomials -- Efficient Quotients of Non-Commutative Polynomials -- Inverse Kinematics and Path Planning of Manipulator Using Real Quantifier Elimination Based on Comprehensive Gröbner Systems.
520 $a This book constitutes the refereed proceedings of the 25th International Workshop on Computer Algebra in Scientific Computing, CASC 2023, which took place in Havana, Cuba, during August 28-September 1, 2023. The 22 full papers included in this book were carefully reviewed and selected from 29 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 0 $a Computer science $x Mathematics $x Congresses. $3 678603
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 14139. $3 3664658
856 4 0 $u https://doi.org/10.1007/978-3-031-41724-5
950 $a Computer Science (SpringerNature-11645)