Please use this identifier to cite or link to this item: http://localhost/handle/Hannan/862
Full metadata record
DC FieldValueLanguage
dc.contributor.authorGerdt, Vladimir P. ;en_US
dc.contributor.authorKoepf, Wolfram. ;en_US
dc.contributor.authorSeiler, Werner M. ; (orcid)0000-0002-0565-1334 ; http://orcid.org/0000-0002-0565-1334. ;en_US
dc.contributor.authorVorozhtsov, Evgenii V. ;en_US
dc.date.accessioned2013en_US
dc.date.accessioned2020-05-17T08:22:51Z-
dc.date.available2020-05-17T08:22:51Z-
dc.date.issued2018en_US
dc.identifier.isbn9783319996394 ;en_US
dc.identifier.isbn9783319996387 (print) ;en_US
dc.identifier.isbn9783319996400 (print) ;en_US
dc.identifier.urihttp://localhost/handle/Hannan/862-
dc.description005.1 ; 23 ;en_US
dc.descriptionen_US
dc.descriptionen_US
dc.descriptionPrinted edition: ; 9783319996387. ;en_US
dc.descriptionSpringerLink (Online service) ;en_US
dc.descriptionPrinted edition: ; 9783319996400. ;en_US
dc.descriptionen_US
dc.descriptionen_US
dc.description.abstractChapter eePositive Solutions of Systems of Signed Parametric Polynomial Inequalitiesee is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com. ;en_US
dc.description.statementofresponsibilityedited by Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov.en_US
dc.description.tableofcontentsProof-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. ;en_US
dc.format.extentXIII, 379 p. 54 illus. ; online resource. ;en_US
dc.publisherSpringer International Publishing :en_US
dc.publisherImprint: Springer,en_US
dc.relation.ispartofseriesTheoretical Computer Science and General Issues ; ; 11077. ;en_US
dc.relation.ispartofseriesTheoretical Computer Science and General Issues ; ; 11077. ;en_US
dc.relation.haspart9783319996387.pdfen_US
dc.subjectComputer software. ;en_US
dc.subjectComputer Scienceen_US
dc.subjectSoftware Engineeringen_US
dc.subjectComputer network architectures. ;en_US
dc.subjectLogic design. ;en_US
dc.subjectAlgorithm Analysis and Problem Complexity. ; http://scigraph.springernature.com/things/product-market-codes/I16021. ;en_US
dc.subjectMathematics of Computing. ; http://scigraph.springernature.com/things/product-market-codes/I17001. ;en_US
dc.subjectSpecial Purpose and Application-Based Systems. ; http://scigraph.springernature.com/things/product-market-codes/I13030. ;en_US
dc.subjectComputer System Implementation. ; http://scigraph.springernature.com/things/product-market-codes/I13057. ;en_US
dc.subjectLogic Design. ; http://scigraph.springernature.com/things/product-market-codes/I12050. ;en_US
dc.subjectLogics and Meanings of Programs. ; http://scigraph.springernature.com/things/product-market-codes/I1603X. ;en_US
dc.subject.lccQA76.9.A43 ;en_US
dc.titleComputer Algebra in Scientific Computingen_US
dc.title.alternative20th International Workshop, CASC 2018, Lille, France, September 17ee21, 2018, Proceedings /en_US
dc.typeBooken_US
dc.publisher.placeCham :en_US
Appears in Collections:مدیریت فناوری اطلاعات

Files in This Item:
File Description SizeFormat 
9783319996387.pdf13.47 MBAdobe PDFThumbnail
Preview File
Full metadata record
DC FieldValueLanguage
dc.contributor.authorGerdt, Vladimir P. ;en_US
dc.contributor.authorKoepf, Wolfram. ;en_US
dc.contributor.authorSeiler, Werner M. ; (orcid)0000-0002-0565-1334 ; http://orcid.org/0000-0002-0565-1334. ;en_US
dc.contributor.authorVorozhtsov, Evgenii V. ;en_US
dc.date.accessioned2013en_US
dc.date.accessioned2020-05-17T08:22:51Z-
dc.date.available2020-05-17T08:22:51Z-
dc.date.issued2018en_US
dc.identifier.isbn9783319996394 ;en_US
dc.identifier.isbn9783319996387 (print) ;en_US
dc.identifier.isbn9783319996400 (print) ;en_US
dc.identifier.urihttp://localhost/handle/Hannan/862-
dc.description005.1 ; 23 ;en_US
dc.descriptionen_US
dc.descriptionen_US
dc.descriptionPrinted edition: ; 9783319996387. ;en_US
dc.descriptionSpringerLink (Online service) ;en_US
dc.descriptionPrinted edition: ; 9783319996400. ;en_US
dc.descriptionen_US
dc.descriptionen_US
dc.description.abstractChapter eePositive Solutions of Systems of Signed Parametric Polynomial Inequalitiesee is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com. ;en_US
dc.description.statementofresponsibilityedited by Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov.en_US
dc.description.tableofcontentsProof-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. ;en_US
dc.format.extentXIII, 379 p. 54 illus. ; online resource. ;en_US
dc.publisherSpringer International Publishing :en_US
dc.publisherImprint: Springer,en_US
dc.relation.ispartofseriesTheoretical Computer Science and General Issues ; ; 11077. ;en_US
dc.relation.ispartofseriesTheoretical Computer Science and General Issues ; ; 11077. ;en_US
dc.relation.haspart9783319996387.pdfen_US
dc.subjectComputer software. ;en_US
dc.subjectComputer Scienceen_US
dc.subjectSoftware Engineeringen_US
dc.subjectComputer network architectures. ;en_US
dc.subjectLogic design. ;en_US
dc.subjectAlgorithm Analysis and Problem Complexity. ; http://scigraph.springernature.com/things/product-market-codes/I16021. ;en_US
dc.subjectMathematics of Computing. ; http://scigraph.springernature.com/things/product-market-codes/I17001. ;en_US
dc.subjectSpecial Purpose and Application-Based Systems. ; http://scigraph.springernature.com/things/product-market-codes/I13030. ;en_US
dc.subjectComputer System Implementation. ; http://scigraph.springernature.com/things/product-market-codes/I13057. ;en_US
dc.subjectLogic Design. ; http://scigraph.springernature.com/things/product-market-codes/I12050. ;en_US
dc.subjectLogics and Meanings of Programs. ; http://scigraph.springernature.com/things/product-market-codes/I1603X. ;en_US
dc.subject.lccQA76.9.A43 ;en_US
dc.titleComputer Algebra in Scientific Computingen_US
dc.title.alternative20th International Workshop, CASC 2018, Lille, France, September 17ee21, 2018, Proceedings /en_US
dc.typeBooken_US
dc.publisher.placeCham :en_US
Appears in Collections:مدیریت فناوری اطلاعات

Files in This Item:
File Description SizeFormat 
9783319996387.pdf13.47 MBAdobe PDFThumbnail
Preview File
Full metadata record
DC FieldValueLanguage
dc.contributor.authorGerdt, Vladimir P. ;en_US
dc.contributor.authorKoepf, Wolfram. ;en_US
dc.contributor.authorSeiler, Werner M. ; (orcid)0000-0002-0565-1334 ; http://orcid.org/0000-0002-0565-1334. ;en_US
dc.contributor.authorVorozhtsov, Evgenii V. ;en_US
dc.date.accessioned2013en_US
dc.date.accessioned2020-05-17T08:22:51Z-
dc.date.available2020-05-17T08:22:51Z-
dc.date.issued2018en_US
dc.identifier.isbn9783319996394 ;en_US
dc.identifier.isbn9783319996387 (print) ;en_US
dc.identifier.isbn9783319996400 (print) ;en_US
dc.identifier.urihttp://localhost/handle/Hannan/862-
dc.description005.1 ; 23 ;en_US
dc.descriptionen_US
dc.descriptionen_US
dc.descriptionPrinted edition: ; 9783319996387. ;en_US
dc.descriptionSpringerLink (Online service) ;en_US
dc.descriptionPrinted edition: ; 9783319996400. ;en_US
dc.descriptionen_US
dc.descriptionen_US
dc.description.abstractChapter eePositive Solutions of Systems of Signed Parametric Polynomial Inequalitiesee is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com. ;en_US
dc.description.statementofresponsibilityedited by Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov.en_US
dc.description.tableofcontentsProof-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. ;en_US
dc.format.extentXIII, 379 p. 54 illus. ; online resource. ;en_US
dc.publisherSpringer International Publishing :en_US
dc.publisherImprint: Springer,en_US
dc.relation.ispartofseriesTheoretical Computer Science and General Issues ; ; 11077. ;en_US
dc.relation.ispartofseriesTheoretical Computer Science and General Issues ; ; 11077. ;en_US
dc.relation.haspart9783319996387.pdfen_US
dc.subjectComputer software. ;en_US
dc.subjectComputer Scienceen_US
dc.subjectSoftware Engineeringen_US
dc.subjectComputer network architectures. ;en_US
dc.subjectLogic design. ;en_US
dc.subjectAlgorithm Analysis and Problem Complexity. ; http://scigraph.springernature.com/things/product-market-codes/I16021. ;en_US
dc.subjectMathematics of Computing. ; http://scigraph.springernature.com/things/product-market-codes/I17001. ;en_US
dc.subjectSpecial Purpose and Application-Based Systems. ; http://scigraph.springernature.com/things/product-market-codes/I13030. ;en_US
dc.subjectComputer System Implementation. ; http://scigraph.springernature.com/things/product-market-codes/I13057. ;en_US
dc.subjectLogic Design. ; http://scigraph.springernature.com/things/product-market-codes/I12050. ;en_US
dc.subjectLogics and Meanings of Programs. ; http://scigraph.springernature.com/things/product-market-codes/I1603X. ;en_US
dc.subject.lccQA76.9.A43 ;en_US
dc.titleComputer Algebra in Scientific Computingen_US
dc.title.alternative20th International Workshop, CASC 2018, Lille, France, September 17ee21, 2018, Proceedings /en_US
dc.typeBooken_US
dc.publisher.placeCham :en_US
Appears in Collections:مدیریت فناوری اطلاعات

Files in This Item:
File Description SizeFormat 
9783319996387.pdf13.47 MBAdobe PDFThumbnail
Preview File