Computer Algebra in Scientific Computing: 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings

Front Matter....Pages I-XIII
Hypergeometric Solutions of First-Order Linear Difference Systems with Rational-Function Coefficients....Pages 1-14
Regular Chains under Linear Changes of Coordinates and Applications....Pages 15-29
A Standard Basis Free Algorithm for Computing the Tangent Cones of a Space Curve....Pages 30-44
Research on the Stability of Relative Equilibria of Oblate Axisymmetric Gyrostat by Means of Symbolic-Numerical Modelling....Pages 45-60
A New Approach for Computing Regular Solutions of Linear Difference Systems....Pages 61-71
Solving Polynomial Systems in the Cloud with Polynomial Homotopy Continuation....Pages 72-86
Finding First Integrals Using Normal Forms Modulo Differential Regular Chains....Pages 87-100
Simplification of Cylindrical Algebraic Formulas....Pages 101-118
Quasi-Steady State – Intuition, Perturbation Theory and Algorithmic Algebra....Pages 119-134
Polynomial Complexity Recognizing a Tropical Linear Variety....Pages 135-151
Computing Highest-Order Divisors for a Class of Quasi-Linear Partial Differential Equations....Pages 152-157
Symbolic Algorithm for Generating Irreducible Bases of Point Groups in the Space of SO(3) Group....Pages 158-165
Symbolic-Numeric Solution of Boundary-Value Problems for the Schrödinger Equation Using the Finite Element Method: Scattering Problem and Resonance States....Pages 166-181
Application of Computer Algebra Methods to Investigation of Influence of Constant Torque on Stationary Motions of Satellite....Pages 182-197
Bounds for the Condition Number of Polynomials Systems with Integer Coefficients....Pages 198-209
On Invariant Manifolds and Their Stability in the Problem of Motion of a Rigid Body under the Influence of Two Force Fields....Pages 210-219
Homotopy Analysis Method for Stochastic Differential Equations with Maxima....Pages 220-232
On the Topology and Visualization of Plane Algebraic Curves....Pages 233-244
Piecewise-Quadratics and Reparameterizations for Interpolating Reduced Data....Pages 245-259
Parametric Solvable Polynomial Rings and Applications....Pages 260-274
Triangular Decomposition of Matrices in a Domain....Pages 275-291
Automated Reasoning in Reduction Rings Using the Theorema System....Pages 292-306
On the Partial Analytical Solution of the Kirchhoff Equation....Pages 307-321
Efficient Computation of Algebraic Local Cohomology Classes and Change of Ordering for Zero-Dimensional Standard Bases....Pages 322-333
Polynomial Real Root Isolation by Means of Root Radii Approximation....Pages 334-348
Randomized Circulant and Gaussian Pre-processing....Pages 349-360
Symbolic Computation and Finite Element Methods....Pages 361-375
Approximate Quantum Fourier Transform and Quantum Algorithm for Phase Estimation....Pages 376-390
Two-Point Boundary Problems with One Mild Singularity and an Application to Graded Kirchhoff Plates....Pages 391-405
Analysis of Reaction Network Systems Using Tropical Geometry....Pages 406-423
Safety Verification of Hybrid Systems Using Certified Multiple Lyapunov-Like Functions....Pages 424-439
A New Polynomial Bound and Its Efficiency....Pages 440-456
Distance Evaluation Between an Ellipse and an Ellipsoid....Pages 457-467
Algebraic General Solutions of First Order Algebraic ODEs....Pages 468-478
Back Matter....Pages 479-492
....Pages 493-494