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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Feng, Ruyong (Editor ), Lee, Wen-shin (Editor ), Sato, Yosuke (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014.
Edición:1st ed. 2014.
Temas:
Mathematics-Data processing.
Computer software.
Computational Mathematics and Numerical Analysis.
Computational Science and Engineering.
Mathematical Software.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares