Computer Algebra in Scientific Computing 16th International Workshop CASC 2014 Warsaw Poland September 8 12 2014 Proceedings 1st Edition Vladimir P. Gerdt

Computable Infinite Power Series in the Role of Coefficients of Linear Differential Systems

Relation Algebra, RelView, and Plurality Voting

An Algorithm for Converting Nonlinear Differential Equations to Integral Equations with an Applicati

Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains

Computing the Topology of an Arrangement of Implicit and Parametric Curves Given by Values

Finding a Deterministic Generic Position for an Algebraic Space Curve

Optimal Estimations of Seiffert-Type Means By Some Special Gini Means

CAS Application to the Construction of High-Order Difference Schemes for Solving Poisson Equation

On Symbolic Solutions of Algebraic Partial Differential Equations

Eigenvalue Method with Symmetry and Vibration Analysis of Cyclic Structures

Symbolic-Numerical Solution of Boundary-Value Problems with Self-adjoint Second-Order Differential E

Sporadic Examples of Directed Strongly Regular Graphs Obtained By Computer Algebra Experimentation

On the Parallelization of Subproduct Tree Techniques Targeting Many-Core Architectures

Deterministically Computing Reduction Numbers of Polynomial Ideals

A Note on Global Newton Iteration Over Archimedean and Non-Archimedean Fields

Invariant Manifolds in the Classic and Generalized Goryachev–Chaplygin Problem

Coherence and Large-Scale Pattern Formation in Coupled Logistic-Map Lattices via Computer Algebra Sy

On the Computation of the Determinant of a Generalized Vandermonde Matrix

Towards Conflict-Driven Learning for Virtual Substitution

Computational Experiments and Conclusions

Sharpness in Trajectory Estimation for Planar Four-points Piecewise-Quadratic Interpolation

Scheme for Numerical Investigation of Movable Singularities of the Complex Valued Solutions of Ordin

Generalized Mass-Action Systems and Positive Solutions of Polynomial Equations with Real and Symboli

Lie Symmetry Analysis for Cosserat Rods

Real Polynomial Root-Finding by Means of Matrix and Polynomial Iterations

On Testing Uniqueness of Analytic Solutions of PDE with Boundary Conditions

Continuous Problems: Optimality, Complexity, Tractability (Invited Talk)

On Integrability of Evolutionary Equations in the Restricted Three-Body Problem with Variable Masses

Factoring Sparse Bivariate Polynomials Using the Priority Queue

Solving Parametric Sparse Linear Systems by Local Blocking

Analytical Calculations in Maple to Implement the Method of Adiabatic Modes for Modelling Smoothly I

CAS Application to the Construction of the Collocations and Least Residuals Method for the Solution

An Algorithm for Computing the Truncated Annihilating Ideals for an Algebraic Local Cohomology Class

f the Newton Index to the Construction of Irreducible Polynomials

Symbolic-Numeric Algorithm for Solving the Problem of Quantum Tunneling of a Diatomic Molecule throu

Enumeration of Schur Rings Over Small Groups