Computer Algebra in Scientific Computing: 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings

Front Matter....Pages -
On the Dimension of Solution Spaces of Full Rank Linear Differential Systems....Pages 1-9
Polyhedral Methods for Space Curves Exploiting Symmetry Applied to the Cyclic n -roots Problem....Pages 10-29
Computing the Limit Points of the Quasi-component of a Regular Chain in Dimension One....Pages 30-45
On Consistency of Finite Difference Approximations to the Navier-Stokes Equations....Pages 46-60
Faster Sparse Interpolation of Straight-Line Programs....Pages 61-74
On Possibility of Additional Solutions of the Degenerate System Near Double Degeneration at the Special Value of the Parameter....Pages 75-87
Efficient Methods to Compute Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates....Pages 88-99
Highly Scalable Multiplication for Distributed Sparse Multivariate Polynomials on Many-Core Systems....Pages 100-115
Simulation of Quantum Error Correction with Mathematica ....Pages 116-129
From the Product Example to PDE Adjoints, Algorithmic Differentiation and Its Application (Invited Talk)....Pages 130-135
Polynomial Complexity of Solving Systems of Few Algebraic Equations with Small Degrees....Pages 136-139
Computing Divisors and Common Multiples of Quasi-linear Ordinary Differential Equations....Pages 140-147
Complexity in Tropical Algebra (Invited Talk)....Pages 148-154
Symbolic-Numerical Algorithm for Generating Cluster Eigenfunctions: Identical Particles with Pair Oscillator Interactions....Pages 155-168
Symbolic-Numerical Investigation of Gyrostat Satellite Dynamics....Pages 169-178
On Stationary Sets of Euler’s Equations on so (3,1) and Their Stability....Pages 179-193
An Effective Implementation of a Special Quantifier Elimination for a Sign Definite Condition by Logical Formula Simplification....Pages 194-208
Categories as Type Classes in the Scala Algebra System....Pages 209-218
Enumeration of Schur Rings over the Group A 5 ....Pages 219-230
Generalized Bruhat Decomposition in Commutative Domains....Pages 231-242
Automatic Parallel Library Generation for General-Size Modular FFT Algorithms....Pages 243-256
Extended QRGCD Algorithm....Pages 257-272
Polynomial Evaluation and Interpolation and Transformations of Matrix Structures....Pages 273-287
A Note on the Need for Radical Membership Checking in Mechanical Theorem Proving in Geometry....Pages 288-300
A Symbolic Approach to Boundary Problems for Linear Partial Differential Equations....Pages 301-314
Towards Industrial Application of Approximate Computer Algebra....Pages 315-330
A Note on Sekigawa’s Zero Separation Bound....Pages 331-339
Applications of Symbolic Calculations and Polynomial Invariants to the Classification of Singularities of Differential Systems....Pages 340-354
Singularities of Implicit Differential Equations and Static Bifurcations....Pages 355-368
A Quantum Measurements Model of Hydrogen-Like Atoms in Maple....Pages 369-380
CAS Application to the Construction of the Collocations and Least Residuals Method for the Solution of 3D Navier–Stokes Equations....Pages 381-392
Construction of Classes of Irreducible Bivariate Polynomials....Pages 393-400
Algebraic Attacks Using IP-Solvers....Pages 401-411
Stationary Points for the Family of Fermat–Torricelli–Coulomb-Like Potential Functions....Pages 412-426
Symbolic-Numerical Algorithm for Generating Cluster Eigenfunctions: Tunneling of Clusters through Repulsive Barriers....Pages 427-442
Back Matter....Pages -