Computer algebra in scientific computing : 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings / Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov (eds.)
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.
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Corporate Author: | |
| Other Authors: | , , , |
| Other title: | CASC 2018. |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Cham, Switzerland :
Springer,
2018.
|
| Series: | Lecture notes in computer science ;
11077. LNCS sublibrary. Theoretical computer science and general issues. |
| Subjects: |
MARC
| LEADER | 00000cam a2200000xi 4500 | ||
|---|---|---|---|
| 001 | b10228165 | ||
| 003 | CoU | ||
| 006 | m o d | ||
| 007 | cr ||||||||||| | ||
| 008 | 180907s2018 sz a o 101 0 eng d | ||
| 005 | 20230814214432.6 | ||
| 019 | |a 1050619349 |a 1055585928 | ||
| 020 | |a 9783319996394 |q (electronic bk.) | ||
| 020 | |a 3319996398 |q (electronic bk.) | ||
| 020 | |z 9783319996387 |q (print) | ||
| 020 | |z 331999638X | ||
| 024 | 7 | |a 10.1007/978-3-319-99639-4 | |
| 035 | |a (OCoLC)spr1051001982 | ||
| 035 | |a (OCoLC)1051001982 |z (OCoLC)1050619349 |z (OCoLC)1055585928 | ||
| 037 | |a spr10.1007/978-3-319-99639-4 | ||
| 040 | |a GW5XE |b eng |e rda |e pn |c GW5XE |d NLE |d YDX |d UPM |d OCLCF | ||
| 049 | |a GWRE | ||
| 050 | 4 | |a QA76.9.A43 | |
| 111 | 2 | |a International Workshop on Computer Algebra in Scientific Computing |n (20th : |d 2018 : |c Lille, France) | |
| 245 | 1 | 0 | |a Computer algebra in scientific computing : |b 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings / |c Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov (eds.) |
| 246 | 3 | |a CASC 2018. | |
| 264 | 1 | |a Cham, Switzerland : |b Springer, |c 2018. | |
| 300 | |a 1 online resource (xiii, 379 pages) : |b illustrations. | ||
| 336 | |a text |b txt |2 rdacontent. | ||
| 337 | |a computer |b c |2 rdamedia. | ||
| 338 | |a online resource |b cr |2 rdacarrier. | ||
| 347 | |a text file |b PDF |2 rda. | ||
| 490 | 1 | |a Lecture notes in computer science ; |v 11077 | |
| 490 | 1 | |a LNCS sublibrary. SL 1, Theoretical computer science and general issues | |
| 500 | |a International conference proceedings. | ||
| 500 | |a Includes author index. | ||
| 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 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 | |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. | ||
| 588 | 0 | |a Online resource; title from PDF title page (SpringerLink, viewed September 7, 2018) | |
| 650 | 0 | |a Computer science |v Congresses. |0 http://id.loc.gov/authorities/subjects/sh2008101220. | |
| 650 | 0 | |a Computers, Special purpose |v Congresses. | |
| 650 | 0 | |a Software engineering |v Congresses. |0 http://id.loc.gov/authorities/subjects/sh2008111658. | |
| 650 | 0 | |a Algorithms |v Congresses. |0 http://id.loc.gov/authorities/subjects/sh2007100991. | |
| 650 | 0 | |a Computer logic |v Congresses. |0 http://id.loc.gov/authorities/subjects/sh2009121216. | |
| 650 | 0 | |a Computer science |x Mathematics |v Congresses. |0 http://id.loc.gov/authorities/subjects/sh2008101221. | |
| 650 | 0 | |a Management information systems |v Congresses. |0 http://id.loc.gov/authorities/subjects/sh2008107295. | |
| 650 | 7 | |a Algorithms. |2 fast |0 (OCoLC)fst00805020. | |
| 650 | 7 | |a Computer logic. |2 fast |0 (OCoLC)fst00872265. | |
| 650 | 7 | |a Computer science. |2 fast |0 (OCoLC)fst00872451. | |
| 650 | 7 | |a Computer science |x Mathematics. |2 fast |0 (OCoLC)fst00872460. | |
| 650 | 7 | |a Computers, Special purpose. |2 fast |0 (OCoLC)fst00872901. | |
| 650 | 7 | |a Management information systems. |2 fast |0 (OCoLC)fst01007271. | |
| 650 | 7 | |a Software engineering. |2 fast |0 (OCoLC)fst01124185. | |
| 655 | 7 | |a Conference papers and proceedings. |2 fast |0 (OCoLC)fst01423772. | |
| 700 | 1 | |a Gerdt, V. P., |e editor. |0 http://id.loc.gov/authorities/names/nr92030410 |1 http://isni.org/isni/0000000091143226. |1 http://isni.org/isni/0000000424471739 | |
| 700 | 1 | |a Koepf, Wolfram, |e editor. |0 http://id.loc.gov/authorities/names/nr2001009892 |1 http://isni.org/isni/0000000116322934. | |
| 700 | 1 | |a Seiler, Werner M. |q (Werner Markus), |e editor. |0 http://id.loc.gov/authorities/names/nb2010000838 |1 http://isni.org/isni/0000000116959505. | |
| 700 | 1 | |a Vorozhtsov, E. V. |q (Evgenii Vasilʹevich), |d 1946- |e editor. |0 http://id.loc.gov/authorities/names/n95036180 |1 http://isni.org/isni/0000000110751391. | |
| 776 | 0 | 8 | |c Original |z 331999638X |z 9783319996387 |w (OCoLC)1045474393. |
| 830 | 0 | |a Lecture notes in computer science ; |v 11077. |0 http://id.loc.gov/authorities/names/n42015162. | |
| 830 | 0 | |a LNCS sublibrary. |n SL 1, |p Theoretical computer science and general issues. |0 http://id.loc.gov/authorities/names/no2007042902. | |
| 856 | 4 | 0 | |u https://colorado.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-99639-4 |z Full Text (via Springer) |
| 907 | |a .b102281658 |b 03-19-20 |c 11-12-18 | ||
| 915 | |a I | ||
| 998 | |a web |b 01-31-19 |c b |d b |e - |f eng |g sz |h 0 |i 1 | ||
| 907 | |a .b102281658 |b 07-02-19 |c 11-12-18 | ||
| 944 | |a MARS - RDA ENRICHED | ||
| 907 | |a .b102281658 |b 02-04-19 |c 11-12-18 | ||
| 956 | |a Springer e-books | ||
| 956 | |b Springer Computer Science eBooks 2018 English+International | ||
| 999 | f | f | |i 17927db4-f264-524d-b260-50d54892248b |s eea6a0eb-e24a-5681-9f1f-0c8a2c24b8c5 |
| 952 | f | f | |p Can circulate |a University of Colorado Boulder |b Online |c Online |d Online |e QA76.9.A43 |h Library of Congress classification |i Ebooks, Prospector |n 1 |