Computer Algebra in Scientific Computing: 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings

Front Matter....Pages -
Computable Infinite Power Series in the Role of Coefficients of Linear Differential Systems....Pages 1-12
Relation Algebra, RelView , and Plurality Voting....Pages 13-27
An Algorithm for Converting Nonlinear Differential Equations to Integral Equations with an Application to Parameter Estimation from Noisy Data....Pages 28-43
Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains....Pages 44-58
Computing the Topology of an Arrangement of Implicit and Parametric Curves Given by Values....Pages 59-73
Finding a Deterministic Generic Position for an Algebraic Space Curve....Pages 74-84
Optimal Estimations of Seiffert-Type Means By Some Special Gini Means....Pages 85-98
CAS Application to the Construction of High-Order Difference Schemes for Solving Poisson Equation....Pages 99-110
On Symbolic Solutions of Algebraic Partial Differential Equations....Pages 111-120
Eigenvalue Method with Symmetry and Vibration Analysis of Cyclic Structures....Pages 121-137
Symbolic-Numerical Solution of Boundary-Value Problems with Self-adjoint Second-Order Differential Equation Using the Finite Element Method with Interpolation Hermite Polynomials....Pages 138-154
Sporadic Examples of Directed Strongly Regular Graphs Obtained By Computer Algebra Experimentation....Pages 155-170
On the Parallelization of Subproduct Tree Techniques Targeting Many-Core Architectures....Pages 171-185
Deterministically Computing Reduction Numbers of Polynomial Ideals....Pages 186-201
A Note on Global Newton Iteration Over Archimedean and Non-Archimedean Fields....Pages 202-217
Invariant Manifolds in the Classic and Generalized Goryachev–Chaplygin Problem....Pages 218-229
Coherence and Large-Scale Pattern Formation in Coupled Logistic-Map Lattices via Computer Algebra Systems....Pages 230-241
On the Computation of the Determinant of a Generalized Vandermonde Matrix....Pages 242-255
Towards Conflict-Driven Learning for Virtual Substitution....Pages 256-270
Sharpness in Trajectory Estimation for Planar Four-points Piecewise-Quadratic Interpolation....Pages 271-285
Scheme for Numerical Investigation of Movable Singularities of the Complex Valued Solutions of Ordinary Differential Equations....Pages 286-301
Generalized Mass-Action Systems and Positive Solutions of Polynomial Equations with Real and Symbolic Exponents ( Invited Talk )....Pages 302-323
Lie Symmetry Analysis for Cosserat Rods....Pages 324-334
Real Polynomial Root-Finding by Means of Matrix and Polynomial Iterations....Pages 335-349
On Testing Uniqueness of Analytic Solutions of PDE with Boundary Conditions....Pages 350-356
Continuous Problems: Optimality, Complexity, Tractability ( Invited Talk )....Pages 357-372
On Integrability of Evolutionary Equations in the Restricted Three-Body Problem with Variable Masses....Pages 373-387
Factoring Sparse Bivariate Polynomials Using the Priority Queue....Pages 388-402
Solving Parametric Sparse Linear Systems by Local Blocking....Pages 403-418
Analytical Calculations in Maple to Implement the Method of Adiabatic Modes for Modelling Smoothly Irregular Integrated Optical Waveguide Structures....Pages 419-431
CAS Application to the Construction of the Collocations and Least Residuals Method for the Solution of the Burgers and Korteweg–de Vries–Burgers Equations....Pages 432-446
An Algorithm for Computing the Truncated Annihilating Ideals for an Algebraic Local Cohomology Class....Pages 447-459
Applications of the Newton Index to the Construction of Irreducible Polynomials....Pages 460-471
Symbolic-Numeric Algorithm for Solving the Problem of Quantum Tunneling of a Diatomic Molecule through Repulsive Barriers....Pages 472-490
Enumeration of Schur Rings Over Small Groups....Pages 491-500
Back Matter....Pages -