Computer Mathematics 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012, Contributed Papers and Invited Talks /
This book covers original research and the latest advances in symbolic, algebraic and geometric computation; computational methods for differential and difference equations, symbolic-numerical computation; mathematics software design and implementation; and scientific and engineering applications ba...
Συγγραφή απο Οργανισμό/Αρχή: | |
---|---|
Άλλοι συγγραφείς: | , , |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2014.
|
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- Sparse Polynomial Interpolation by Variable Shift in the Presence of Noise and Outliers in the Evaluations
- An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions
- Finding the Symbolic Solution of a Geometric Problem through Numeric Computations
- A Simple Quantifier-free Formula of Positive Semidefinite Cyclic Ternary Quartic Forms
- The vanishing ideal of a finite set of points with multiplicity structures
- Signature-based Method of Deciding Program Termination
- High-precision eigenvalue bound for the Laplacian with singularities
- Degree and dimension estimates for invariant ideals of P-solvable recurrences
- POLY : A new polynomial data structure for Maple 17
- A Symbolic Approach to Compute a Null-Space Basis in the Projection Method
- Real Root Isolation of Polynomial Equations Based on Hybrid Computation
- Overview of the Mathemagix type system
- Resultant-Free Computation of Indefinite Hyperexponential Integrals
- ImUp: A Maple Package for Uniformity-Improved Reparameterization of Plane Curves
- The Diagonal Reduction Algorithm Using Fast Givens
- Constructing Generalized Bent Functions from Trace Forms over Galois Rings
- Matrix Formula of Differential Resultant for First Order Generic Ordinary Differential Polynomials
- Simplification of the lattice based attack of Boneh and Durfee for RSA cryptoanalysis
- A Practical Implementation of a Modular Algorithm for Ore Polynomial Matrices
- Computing Popov Forms of Matrices over PBW Extensions
- On the simplest quartic fields and related Thue equations
- On the Implementation of Boolean Gröbner Bases
- Towards the calculation of Casimir forces for inhomogeneous planar media
- Comprehensive Gröbner Bases in a Java Computer Algebra System
- A Symbolic Approach to Compute a Null-Space Basis in the Projection Method
- Real Root Isolation of Regular Chains
- A Practical Method for Floating-point Groebner Basis Computation
- Series-Expansion of Multivariate Algebraic Functions at Singular Points: Nonmonic Case
- A Sequence of Nearest Polynomials with Given Factors
- Digitisation Workflow in the Czech Digital Mathematics Library
- The Implementation and Complexity Analysis of the Branch Gröbner Bases Algorithm over Boolean Ring.