Computer algebra in scientific computing : 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings /: 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings. (2016)

• Record Type: Book
• Other Titles: CASC 2016
• Further Information: Note: Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov (eds.).
• Editors: Gerdt, V. P; Koepf, Wolfram; Seiler, Werner M (Werner Markus); Vorozhtsov, E. V (Evgenii Vasilʹevich), 1946-
• Other Names: CASC (Workshop : 2001- ), 18th
• Contents: On the Differential and Full Algebraic Complexities of Operator Matrices Transformations -- Resolving Decompositions for Polynomial Modules -- Setup of Order Conditions for Splitting Methods -- Symbolic Manipulation of Flows of Nonlinear Evolution Equations, with Application in the Analysis of Split-Step Time Integrators -- Improved Computation of Involutive Bases -- Computing all Space Curve Solutions of Polynomial Systems by Polyhedral Methods -- Algorithmic Computation of Polynomial Amoebas -- Sparse Gaussian Elimination Modulo p: an Update -- MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures -- Incompleteness, Undecidability and Automated Proofs (Invited Talk) -- A Numerical Method for Computing Border Curves of Bi-Parametric Real Polynomial Systems and Applications -- The Complexity of Cylindrical Algebraic Decomposition with Respect to Polynomial Degree -- Efficient Simplification Techniques for Special Real Quantifier Elimination with Applications to the Synthesis of Optimal Numerical Algorithms -- Symbolic-Numeric Algorithms for Solving BVPs for a System of ODEs of the Second Order: Multichannel Scattering and Eigenvalue Problems -- Symbolic Algorithm for Generating Irreducible Rotational-Vibrational Bases of Point Groups -- A Symbolic Investigation of the Influence of Aerodynamic Forces on Satellite Equilibria -- Computer Algebra in High-Energy Physics (Invited Talk) -- A Note on Dynamic Gröbner Bases Computation -- Qualitative Analysis of the Reyman-Semenov-Tian-Shansky Integrable Case of the Generalized Kowalewski Top -- On Multiple Eigenvalues of a Matrix Dependent on a Parameter -- A Generalised Branch-and-Bound Approach and its Application in SAT Modulo Nonlinear Integer Arithmetic -- Computing Characteristic Polynomials of Matrices of Structured Polynomials -- Computing Sparse Representations of Systems of Rational Fractions -- On the General Analytical Solution of the Kinematic Cosserat Equations -- Using Sparse Interpolation in Hensel Lifting -- A Survey of Satisfiability Modulo Theory -- Quadric Arrangement in Classifying Rigid Motions of a 3D Digital Image -- A Lower Bound for Computing Lagrange's Real Root Bound -- Enhancing the Extended Hensel Construction by Using Gröbner Bases -- Symbolic-Numerical Optimization and Realization of the Method of Collocations and Least Residuals for Solving the Navier-Stokes Equations -- Pruning Algorithms for Pretropisms of Newton Polytopes -- Computational Aspects of a Bound of Lagrange.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2016
• Extent: 1 online resource (xiii, 513 pages), illustrations
• Subjects: 005.1; Computer science; Computer science -- Mathematics -- Congresses; Computer science -- Mathematics; Computers -- Data Processing; Computers -- Computer Simulation; Computers -- Programming -- Algorithms; Computers -- Logic Design; Discrete mathematics; Maths for computer scientists; Computer modelling & simulation; Mathematical theory of computation; Algorithms & data structures; Computer software; Computational complexity; Algebra -- Data processing; Computer simulation; Electronic data processing; Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9783319456416; 3319456415; 3319456407; 9783319456409
• Related ISBNs: 9783319456409
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed September 19, 2016).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.