Please use this identifier to cite or link to this item:
http://localhost/handle/Hannan/862
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Gerdt, Vladimir P. ; | en_US |
dc.contributor.author | Koepf, Wolfram. ; | en_US |
dc.contributor.author | Seiler, Werner M. ; (orcid)0000-0002-0565-1334 ; http://orcid.org/0000-0002-0565-1334. ; | en_US |
dc.contributor.author | Vorozhtsov, Evgenii V. ; | en_US |
dc.date.accessioned | 2013 | en_US |
dc.date.accessioned | 2020-05-17T08:22:51Z | - |
dc.date.available | 2020-05-17T08:22:51Z | - |
dc.date.issued | 2018 | en_US |
dc.identifier.isbn | 9783319996394 ; | en_US |
dc.identifier.isbn | 9783319996387 (print) ; | en_US |
dc.identifier.isbn | 9783319996400 (print) ; | en_US |
dc.identifier.uri | http://localhost/handle/Hannan/862 | - |
dc.description | 005.1 ; 23 ; | en_US |
dc.description | en_US | |
dc.description | en_US | |
dc.description | Printed edition: ; 9783319996387. ; | en_US |
dc.description | SpringerLink (Online service) ; | en_US |
dc.description | Printed edition: ; 9783319996400. ; | en_US |
dc.description | en_US | |
dc.description | en_US | |
dc.description.abstract | Chapter 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.statementofresponsibility | edited by Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov. | en_US |
dc.description.tableofcontents | 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. ; | en_US |
dc.format.extent | XIII, 379 p. 54 illus. ; online resource. ; | en_US |
dc.publisher | Springer International Publishing : | en_US |
dc.publisher | Imprint: Springer, | en_US |
dc.relation.ispartofseries | Theoretical Computer Science and General Issues ; ; 11077. ; | en_US |
dc.relation.ispartofseries | Theoretical Computer Science and General Issues ; ; 11077. ; | en_US |
dc.relation.haspart | 9783319996387.pdf | en_US |
dc.subject | Computer software. ; | en_US |
dc.subject | Computer Science | en_US |
dc.subject | Software Engineering | en_US |
dc.subject | Computer network architectures. ; | en_US |
dc.subject | Logic design. ; | en_US |
dc.subject | Algorithm Analysis and Problem Complexity. ; http://scigraph.springernature.com/things/product-market-codes/I16021. ; | en_US |
dc.subject | Mathematics of Computing. ; http://scigraph.springernature.com/things/product-market-codes/I17001. ; | en_US |
dc.subject | Special Purpose and Application-Based Systems. ; http://scigraph.springernature.com/things/product-market-codes/I13030. ; | en_US |
dc.subject | Computer System Implementation. ; http://scigraph.springernature.com/things/product-market-codes/I13057. ; | en_US |
dc.subject | Logic Design. ; http://scigraph.springernature.com/things/product-market-codes/I12050. ; | en_US |
dc.subject | Logics and Meanings of Programs. ; http://scigraph.springernature.com/things/product-market-codes/I1603X. ; | en_US |
dc.subject.lcc | QA76.9.A43 ; | en_US |
dc.title | Computer Algebra in Scientific Computing | en_US |
dc.title.alternative | 20th International Workshop, CASC 2018, Lille, France, September 17ee21, 2018, Proceedings / | en_US |
dc.type | Book | en_US |
dc.publisher.place | Cham : | en_US |
Appears in Collections: | مدیریت فناوری اطلاعات |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
9783319996387.pdf | 13.47 MB | Adobe PDF | Preview File |
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Gerdt, Vladimir P. ; | en_US |
dc.contributor.author | Koepf, Wolfram. ; | en_US |
dc.contributor.author | Seiler, Werner M. ; (orcid)0000-0002-0565-1334 ; http://orcid.org/0000-0002-0565-1334. ; | en_US |
dc.contributor.author | Vorozhtsov, Evgenii V. ; | en_US |
dc.date.accessioned | 2013 | en_US |
dc.date.accessioned | 2020-05-17T08:22:51Z | - |
dc.date.available | 2020-05-17T08:22:51Z | - |
dc.date.issued | 2018 | en_US |
dc.identifier.isbn | 9783319996394 ; | en_US |
dc.identifier.isbn | 9783319996387 (print) ; | en_US |
dc.identifier.isbn | 9783319996400 (print) ; | en_US |
dc.identifier.uri | http://localhost/handle/Hannan/862 | - |
dc.description | 005.1 ; 23 ; | en_US |
dc.description | en_US | |
dc.description | en_US | |
dc.description | Printed edition: ; 9783319996387. ; | en_US |
dc.description | SpringerLink (Online service) ; | en_US |
dc.description | Printed edition: ; 9783319996400. ; | en_US |
dc.description | en_US | |
dc.description | en_US | |
dc.description.abstract | Chapter 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.statementofresponsibility | edited by Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov. | en_US |
dc.description.tableofcontents | 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. ; | en_US |
dc.format.extent | XIII, 379 p. 54 illus. ; online resource. ; | en_US |
dc.publisher | Springer International Publishing : | en_US |
dc.publisher | Imprint: Springer, | en_US |
dc.relation.ispartofseries | Theoretical Computer Science and General Issues ; ; 11077. ; | en_US |
dc.relation.ispartofseries | Theoretical Computer Science and General Issues ; ; 11077. ; | en_US |
dc.relation.haspart | 9783319996387.pdf | en_US |
dc.subject | Computer software. ; | en_US |
dc.subject | Computer Science | en_US |
dc.subject | Software Engineering | en_US |
dc.subject | Computer network architectures. ; | en_US |
dc.subject | Logic design. ; | en_US |
dc.subject | Algorithm Analysis and Problem Complexity. ; http://scigraph.springernature.com/things/product-market-codes/I16021. ; | en_US |
dc.subject | Mathematics of Computing. ; http://scigraph.springernature.com/things/product-market-codes/I17001. ; | en_US |
dc.subject | Special Purpose and Application-Based Systems. ; http://scigraph.springernature.com/things/product-market-codes/I13030. ; | en_US |
dc.subject | Computer System Implementation. ; http://scigraph.springernature.com/things/product-market-codes/I13057. ; | en_US |
dc.subject | Logic Design. ; http://scigraph.springernature.com/things/product-market-codes/I12050. ; | en_US |
dc.subject | Logics and Meanings of Programs. ; http://scigraph.springernature.com/things/product-market-codes/I1603X. ; | en_US |
dc.subject.lcc | QA76.9.A43 ; | en_US |
dc.title | Computer Algebra in Scientific Computing | en_US |
dc.title.alternative | 20th International Workshop, CASC 2018, Lille, France, September 17ee21, 2018, Proceedings / | en_US |
dc.type | Book | en_US |
dc.publisher.place | Cham : | en_US |
Appears in Collections: | مدیریت فناوری اطلاعات |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
9783319996387.pdf | 13.47 MB | Adobe PDF | Preview File |
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Gerdt, Vladimir P. ; | en_US |
dc.contributor.author | Koepf, Wolfram. ; | en_US |
dc.contributor.author | Seiler, Werner M. ; (orcid)0000-0002-0565-1334 ; http://orcid.org/0000-0002-0565-1334. ; | en_US |
dc.contributor.author | Vorozhtsov, Evgenii V. ; | en_US |
dc.date.accessioned | 2013 | en_US |
dc.date.accessioned | 2020-05-17T08:22:51Z | - |
dc.date.available | 2020-05-17T08:22:51Z | - |
dc.date.issued | 2018 | en_US |
dc.identifier.isbn | 9783319996394 ; | en_US |
dc.identifier.isbn | 9783319996387 (print) ; | en_US |
dc.identifier.isbn | 9783319996400 (print) ; | en_US |
dc.identifier.uri | http://localhost/handle/Hannan/862 | - |
dc.description | 005.1 ; 23 ; | en_US |
dc.description | en_US | |
dc.description | en_US | |
dc.description | Printed edition: ; 9783319996387. ; | en_US |
dc.description | SpringerLink (Online service) ; | en_US |
dc.description | Printed edition: ; 9783319996400. ; | en_US |
dc.description | en_US | |
dc.description | en_US | |
dc.description.abstract | Chapter 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.statementofresponsibility | edited by Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov. | en_US |
dc.description.tableofcontents | 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. ; | en_US |
dc.format.extent | XIII, 379 p. 54 illus. ; online resource. ; | en_US |
dc.publisher | Springer International Publishing : | en_US |
dc.publisher | Imprint: Springer, | en_US |
dc.relation.ispartofseries | Theoretical Computer Science and General Issues ; ; 11077. ; | en_US |
dc.relation.ispartofseries | Theoretical Computer Science and General Issues ; ; 11077. ; | en_US |
dc.relation.haspart | 9783319996387.pdf | en_US |
dc.subject | Computer software. ; | en_US |
dc.subject | Computer Science | en_US |
dc.subject | Software Engineering | en_US |
dc.subject | Computer network architectures. ; | en_US |
dc.subject | Logic design. ; | en_US |
dc.subject | Algorithm Analysis and Problem Complexity. ; http://scigraph.springernature.com/things/product-market-codes/I16021. ; | en_US |
dc.subject | Mathematics of Computing. ; http://scigraph.springernature.com/things/product-market-codes/I17001. ; | en_US |
dc.subject | Special Purpose and Application-Based Systems. ; http://scigraph.springernature.com/things/product-market-codes/I13030. ; | en_US |
dc.subject | Computer System Implementation. ; http://scigraph.springernature.com/things/product-market-codes/I13057. ; | en_US |
dc.subject | Logic Design. ; http://scigraph.springernature.com/things/product-market-codes/I12050. ; | en_US |
dc.subject | Logics and Meanings of Programs. ; http://scigraph.springernature.com/things/product-market-codes/I1603X. ; | en_US |
dc.subject.lcc | QA76.9.A43 ; | en_US |
dc.title | Computer Algebra in Scientific Computing | en_US |
dc.title.alternative | 20th International Workshop, CASC 2018, Lille, France, September 17ee21, 2018, Proceedings / | en_US |
dc.type | Book | en_US |
dc.publisher.place | Cham : | en_US |
Appears in Collections: | مدیریت فناوری اطلاعات |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
9783319996387.pdf | 13.47 MB | Adobe PDF | Preview File |