Computer algebra in scientific computing : 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013 : proceedings /
Saved in:
Corporate Authors: | ; |
---|---|
Group Author: | ; ; ; |
Published: |
Springer,
|
Publisher Address: | Cham : |
Publication Dates: | [2013] |
Literature type: | eBook |
Language: | English |
Series: |
Lecture notes in computer science,
8136 |
Subjects: | |
Online Access: |
http://dx.doi.org/10.1007/978-3-319-02297-0 |
Carrier Form: | 1 online resource (xvi, 443 pages) : illustrations. |
Bibliography: | Includes bibliographical references and index. |
ISBN: |
9783319022970 (electronic bk.) 3319022970 (electronic bk.) |
Index Number: | QA76 |
CLC: |
TP301.6-532 O15-532 |
Contents: |
On the Dimension of Solution Spaces of Full Rank Linear Differential Systems / Polyhedral Methods for Space Curves Exploiting Symmetry Applied to the Cyclic n-roots Problem / Computing the Limit Points of the Quasi-component of a Regular Chain in Dimension One / On Consistency of Finite Difference Approximations to the Navier-Stokes Equations / Faster Sparse Interpolation of Straight-Line Programs / On Possibility of Additional Solutions of the Degenerate System Near Double Degeneration at the Special Value of the Parameter / Efficient Methods to Compute Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates / Highly Scalable Multiplication for Distributed Sparse Multivariate Polynomials on Many-Core Systems / Simulation of Quantum Error Correction with Mathematica / From the Product Example to PDE Adjoints, Algorithmic Differentiation and Its Application (Invited Talk) / Polynomial Complexity of Solving Systems of Few Algebraic Equations with Small Degrees / Computing Divisors and Common Multiples of Quasi-linear Ordinary Differential Equations / Complexity in Tropical Algebra (Invited Talk) / Symbolic-Numerical Algorithm for Generating Cluster Eigenfunctions: Identical Particles with Pair Oscillator Interactions / Symbolic-Numerical Investigation of Gyrostat Satellite Dynamics / On Stationary Sets of Euler's Equations on so(3,1) and Their Stability / An Effective Implementation of a Special Quantifier Elimination for a Sign Definite Condition by Logical Formula Simplification / Categories as Type Classes in the Scala Algebra System / Enumeration of Schur Rings over the Group A 5 / Generalized Bruhat Decomposition in Commutative Domains / Automatic Parallel Library Generation for General-Size Modular FFT Algorithms / Extended QRGCD Algorithm / Polynomial Evaluation and Interpolation and Transformations of Matrix Structures / A Note on the Need for Radical Membership Checking in Mechanical Theorem Proving in Geometry / A Symbolic Approach to Boundary Problems for Linear Partial Differential Equations / Towards Industrial Application of Approximate Computer Algebra / A Note on Sekigawa's Zero Separation Bound / Applications of Symbolic Calculations and Polynomial Invariants to the Classification of Singularities of Differential Systems / Singularities of Implicit Differential Equations and Static Bifurcations / A Quantum Measurements Model of Hydrogen-Like Atoms in Maple / CAS Application to the Construction of the Collocations and Least Residuals Method for the Solution of 3D Navier-Stokes Equations / Construction of Classes of Irreducible Bivariate Polynomials / Algebraic Attacks Using IP-Solvers / Stationary Points for the Family of Fermat-Torricelli-Coulomb-Like Potential Functions / Symbolic-Numerical Algorithm for Generating Cluster Eigenfunctions: Tunneling of Clusters through Repulsive Barriers / |