國立高雄大學圖資館 |

Language: English

Back

Computer algebra in scientific compu...

(1998 :)

Computer algebra in scientific computing20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018 : proceedings /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Computer algebra in scientific computingedited 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:
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$q(electronic bk.)

Computer algebra in scientific computing20th 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 ;4891..

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

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

252805
Computer science

LC Class. No.: QA76.9.A43

Dewey Class. No.: 004.0151

Computer algebra in scientific computing20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018 : proceedings /
LDR:03299nmm a2200361 a 4500 001 543754
003 DE-He213
005 20180829130010.0
006 m d
007 cr nn 008maaau
008 190430s2018 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 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
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 : $b Springer International Publishing : $b Imprint: Springer, $c 2018.
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 252805
650 0 $a Computers, Special purpose $v Congresses. $3 790915
650 0 $a Software engineering $3 253562
650 0 $a Algorithms $3 253943
650 0 $a Computer logic $v Congresses. $3 443053
650 0 $a Computer science $x Mathematics $3 253427
650 0 $a Management information systems $3 205313
650 1 4 $a Algorithm Analysis and Problem Complexity. $3 273702
650 2 4 $a Mathematics of Computing. $3 273710
650 2 4 $a Special Purpose and Application-Based Systems. $3 274487
650 2 4 $a Computer System Implementation. $3 276333
650 2 4 $a Logic Design. $3 276275
650 2 4 $a Logics and Meanings of Programs. $3 275357
700 1 $a Gerdt, Vladimir P. $3 379542
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 4891. $3 383229
830 0 $a Theoretical computer science and general issues. $3 822018
856 4 0 $u https://doi.org/10.1007/978-3-319-99639-4
950 $a Computer Science (Springer-11645)