000850646 000__ 04595cam\a2200637Ii\4500
000850646 001__ 850646
000850646 005__ 20230306144950.0
000850646 006__ m\\\\\o\\d\\\\\\\\
000850646 007__ cr\cn\nnnunnun
000850646 008__ 180907s2018\\\\sz\a\\\\o\\\\\101\0\eng\d
000850646 019__ $$a1050619349$$a1055585928
000850646 020__ $$a9783319996394$$q(electronic book)
000850646 020__ $$a3319996398$$q(electronic book)
000850646 020__ $$z9783319996387
000850646 020__ $$z331999638X
000850646 0247_ $$a10.1007/978-3-319-99639-4$$2doi
000850646 035__ $$aSP(OCoLC)on1051001982
000850646 035__ $$aSP(OCoLC)1051001982$$z(OCoLC)1050619349$$z(OCoLC)1055585928
000850646 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dNLE$$dYDX$$dUPM$$dOCLCF
000850646 049__ $$aISEA
000850646 050_4 $$aQA76.9.A43
000850646 08204 $$a004.01/51$$223
000850646 1112_ $$aCASC (Workshop : 2001- )$$n(20th :$$d2018 :$$cLille, France)
000850646 24510 $$aComputer algebra in scientific computing :$$b20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings /$$cVladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov (editors).
000850646 2463_ $$aCASC 2018
000850646 264_1 $$aCham, Switzerland :$$bSpringer,$$c2018.
000850646 300__ $$a1 online resource (xiii, 379 pages) :$$billustrations.
000850646 336__ $$atext$$btxt$$2rdacontent
000850646 337__ $$acomputer$$bc$$2rdamedia
000850646 338__ $$aonline resource$$bcr$$2rdacarrier
000850646 347__ $$atext file$$bPDF$$2rda
000850646 4901_ $$aLecture notes in computer science ;$$v11077
000850646 4901_ $$aLNCS sublibrary. SL 1, Theoretical computer science and general issues
000850646 500__ $$aInternational conference proceedings.
000850646 500__ $$aIncludes author index.
000850646 5050_ $$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.
000850646 506__ $$aAccess limited to authorized users.
000850646 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed September 7, 2018).
000850646 650_0 $$aComputer science$$vCongresses.
000850646 650_0 $$aComputers, Special purpose$$vCongresses.
000850646 650_0 $$aSoftware engineering$$vCongresses.
000850646 650_0 $$aAlgorithms$$vCongresses.
000850646 650_0 $$aComputer logic$$vCongresses.
000850646 650_0 $$aComputer science$$xMathematics$$vCongresses.
000850646 650_0 $$aManagement information systems$$vCongresses.
000850646 7001_ $$aGerdt, V. P.,$$eeditor.
000850646 7001_ $$aKoepf, Wolfram,$$eeditor.
000850646 7001_ $$aSeiler, Werner M.$$q(Werner Markus),$$eeditor.
000850646 7001_ $$aVorozhtsov, E. V.$$q(Evgenii Vasilʹevich),$$d1946-$$eeditor.
000850646 77608 $$iPrint version: $$z331999638X$$z9783319996387$$w(OCoLC)1045474393
000850646 830_0 $$aLecture notes in computer science ;$$v11077.
000850646 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
000850646 852__ $$bebk
000850646 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-99639-4$$zOnline Access$$91397441.1
000850646 909CO $$ooai:library.usi.edu:850646$$pGLOBAL_SET
000850646 980__ $$aEBOOK
000850646 980__ $$aBIB
000850646 982__ $$aEbook
000850646 983__ $$aOnline
000850646 994__ $$a92$$bISE