000			04695nam a22006495i 4500
001			978-3-319-99639-4
003			DE-He213
005			20240423125141.0
007			cr nn 008mamaa
008			180822s2018 sz | s |||| 0|eng d
020			_a9783319996394 _9978-3-319-99639-4
024	7		_a10.1007/978-3-319-99639-4 _2doi
050		4	_aQA76.9.A43
072		7	_aUMB _2bicssc
072		7	_aCOM051300 _2bisacsh
072		7	_aUMB _2thema
082	0	4	_a518.1 _223
245	1	0	_aComputer Algebra in Scientific Computing _h[electronic resource] : _b20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings / _cedited by Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov.
250			_a1st ed. 2018.
264		1	_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2018.
300			_aXIII, 379 p. 54 illus. _bonline resource.
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
347			_atext file _bPDF _2rda
490	1		_aTheoretical Computer Science and General Issues, _x2512-2029 ; _v11077
505	0		_aProof-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 Padé 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			_aChapter “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	_aAlgorithms.
650		0	_aComputer science _xMathematics.
650		0	_aComputers, Special purpose.
650		0	_aComputer systems.
650		0	_aLogic design.
650		0	_aComputer science.
650	1	4	_aAlgorithms.
650	2	4	_aMathematics of Computing.
650	2	4	_aSpecial Purpose and Application-Based Systems.
650	2	4	_aComputer System Implementation.
650	2	4	_aLogic Design.
650	2	4	_aComputer Science Logic and Foundations of Programming.
700	1		_aGerdt, Vladimir P. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_aKoepf, Wolfram. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_aSeiler, Werner M. _eeditor. _0(orcid) _10000-0002-0565-1334 _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_aVorozhtsov, Evgenii V. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
710	2		_aSpringerLink (Online service)
773	0		_tSpringer Nature eBook
776	0	8	_iPrinted edition: _z9783319996387
776	0	8	_iPrinted edition: _z9783319996400
830		0	_aTheoretical Computer Science and General Issues, _x2512-2029 ; _v11077
856	4	0	_uhttps://doi.org/10.1007/978-3-319-99639-4
912			_aZDB-2-SCS
912			_aZDB-2-SXCS
912			_aZDB-2-LNC
942			_cSPRINGER
999			_c174793 _d174793