國立虎尾科技大學 |

Computer algebra in scientific computing = 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018 : proceedings /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Computer algebra in scientific computing/ edited by Vladimir P. Gerdt ... [et al.].
Reminder of title:	20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018 : proceedings /
remainder title:	CASC 2018
other author:	Gerdt, Vladimir P.
corporate name:	Workshop on the Preservation of Stability under Discretization
Published:	Cham :Springer International Publishing : : 2018.,
Description:	xiii, 379 p. :ill., digital ; : 24 cm.;
Contained By:	Springer eBooks
Subject:	Computer science -
Online resource:	https://doi.org/10.1007/978-3-319-99639-4
ISBN:	9783319996394

Computer algebra in scientific computing = 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018 : proceedings /
Computer algebra in scientific computing20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018 : proceedings /[electronic resource] :CASC 2018edited by Vladimir P. Gerdt ... [et al.]. - Cham :Springer International Publishing :2018. - xiii, 379 p. :ill., digital ;24 cm. - Lecture notes in computer science,110770302-9743 ;. - Lecture notes in computer science ;6140..

Proof-of-Work Certificates that Can Be Efficiently Computed in the Cloud (Invited Talk) -- On Unimodular Matrices of Difference Operators -- Sparse Polynomial Arithmetic with the BPAS Library -- Computation of Pommaret Bases Using Syzygies -- A Strongly Consistent Finite Difference Scheme for Steady Stokes Flow and its Modified Equations -- Symbolic-Numeric Methods for Nonlinear Integro-Differential Modeling -- A Continuation Method for Visualizing Planar Real Algebraic Curves with Singularities -- From Exponential Analysis to Pade Approximation and Tensor Decomposition, in One and More Dimensions -- Symbolic Algorithm for Generating the Orthonormal Bargmann-Moshinsky Basis for SU(3) Group -- About Some Drinfel'd Associators -- On a Polytime Factorization Algorithm for Multilinear Polynomials over F2 -- Tropical Newton-Puiseux Polynomials -- Orthogonal Tropical Linear Prevarieties -- Symbolic-Numerical Algorithms for Solving Elliptic Boundary-Value Problems Using Multivariate Simplex Lagrange Elements -- Symbolic-Numeric Simulation of Satellite Dynamics with Aerodynamic Attitude Control System -- Finding Multiple Solutions in Nonlinear Integer Programming with Algebraic Test-Sets -- Positive Solutions of Systems of Signed Parametric Polynomial Inequalities -- Qualitative Analysis of a Dynamical System with Irrational First Integrals -- Effective Localization Using Double Ideal Quotient and Its Implementation -- A Purely Functional Computer Algebra System Embedded in Haskell -- Splitting Permutation Representations of Finite Groups by Polynomial Algebra Methods -- Factoring Multivariate Polynomials with Many Factors and Huge Coefficients -- Beyond the First Class of Analytic Complexity -- A Theory and an Algorithm for Computing Sparse Multivariate Polynomial Remainder Sequence -- A Blackbox Polynomial System Solver on Parallel Shared Memory Computers.

Chapter "Positive Solutions of Systems of Signed Parametric Polynomial Inequalities" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

ISBN: 9783319996394

Standard No.: 10.1007/978-3-319-99639-4doiSubjects--Topical Terms:

675907
Computer science

LC Class. No.: QA76.9.A43

Dewey Class. No.: 004.0151

Computer algebra in scientific computing = 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018 : proceedings /
LDR:03299nam a2200361 a 4500 001 928406
003 DE-He213
005 20180829130010.0
006 m d
007 cr nn 008maaau
008 190626s2018 gw s 0 eng d
020 $a 9783319996394 $q (electronic bk.)
020 $a 9783319996387 $q (paper)
024 7 $a 10.1007/978-3-319-99639-4 $2 doi
035 $a 978-3-319-99639-4
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.A43
072 7 $a UMB $2 bicssc
072 7 $a COM051300 $2 bisacsh
072 7 $a UMB $2 thema
082 0 4 $a 004.0151 $2 23
090 $a QA76.9.A43 $b C336 2018
111 2 $a Workshop on the Preservation of Stability under Discretization $d (2001 : $c Fort Collins, Colo.) $3 527686
245 1 0 $a Computer algebra in scientific computing $h [electronic resource] : $b 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018 : proceedings / $c edited by Vladimir P. Gerdt ... [et al.].
246 3 $a CASC 2018
260 $a Cham : $c 2018. $b Springer International Publishing : $b Imprint: Springer,
300 $a xiii, 379 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 11077
490 1 $a Theoretical computer science and general issues
505 0 $a Proof-of-Work Certificates that Can Be Efficiently Computed in the Cloud (Invited Talk) -- On Unimodular Matrices of Difference Operators -- Sparse Polynomial Arithmetic with the BPAS Library -- Computation of Pommaret Bases Using Syzygies -- A Strongly Consistent Finite Difference Scheme for Steady Stokes Flow and its Modified Equations -- Symbolic-Numeric Methods for Nonlinear Integro-Differential Modeling -- A Continuation Method for Visualizing Planar Real Algebraic Curves with Singularities -- From Exponential Analysis to Pade Approximation and Tensor Decomposition, in One and More Dimensions -- Symbolic Algorithm for Generating the Orthonormal Bargmann-Moshinsky Basis for SU(3) Group -- About Some Drinfel'd Associators -- On a Polytime Factorization Algorithm for Multilinear Polynomials over F2 -- Tropical Newton-Puiseux Polynomials -- Orthogonal Tropical Linear Prevarieties -- Symbolic-Numerical Algorithms for Solving Elliptic Boundary-Value Problems Using Multivariate Simplex Lagrange Elements -- Symbolic-Numeric Simulation of Satellite Dynamics with Aerodynamic Attitude Control System -- Finding Multiple Solutions in Nonlinear Integer Programming with Algebraic Test-Sets -- Positive Solutions of Systems of Signed Parametric Polynomial Inequalities -- Qualitative Analysis of a Dynamical System with Irrational First Integrals -- Effective Localization Using Double Ideal Quotient and Its Implementation -- A Purely Functional Computer Algebra System Embedded in Haskell -- Splitting Permutation Representations of Finite Groups by Polynomial Algebra Methods -- Factoring Multivariate Polynomials with Many Factors and Huge Coefficients -- Beyond the First Class of Analytic Complexity -- A Theory and an Algorithm for Computing Sparse Multivariate Polynomial Remainder Sequence -- A Blackbox Polynomial System Solver on Parallel Shared Memory Computers.
520 $a Chapter "Positive Solutions of Systems of Signed Parametric Polynomial Inequalities" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
650 0 $a Computer science $3 675907
650 0 $a Computers, Special purpose $v Congresses. $3 1199869
650 0 $a Software engineering $v Congresses. $3 528500
650 0 $a Algorithms $v Congresses. $3 527696
650 0 $a Computer logic $v Congresses. $3 784003
650 0 $a Computer science $x Mathematics $v Congresses. $3 528619
650 0 $a Management information systems $3 578423
650 1 4 $a Algorithm Analysis and Problem Complexity. $3 593923
650 2 4 $a Mathematics of Computing. $3 669457
650 2 4 $a Special Purpose and Application-Based Systems. $3 669833
650 2 4 $a Computer System Implementation. $3 669803
650 2 4 $a Logic Design. $3 670915
650 2 4 $a Logics and Meanings of Programs. $3 670058
700 1 $a Gerdt, Vladimir P. $3 792768
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 6140. $3 744199
830 0 $a Theoretical computer science and general issues. $3 1208307
856 4 0 $u https://doi.org/10.1007/978-3-319-99639-4
950 $a Computer Science (Springer-11645)