Computer Mathematics

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 based on features, invited talks, special sessions and contributed papers presented at the 9th (in Fukuoka, Japan in 2009) and 10th (in Beijing China in 2012) Asian Symposium on Computer Mathematics (ASCM). Thirty selected and refereed articles in the book present the conference participants’ ideas and views on researching mathematics using computers.

Table of Contents

Part I Invited Talks of ASCM2012
Chapter 1 Symbolic Computation And Complexity Theory Transcript Of My Talk
Chapter 2 Factorization Of Motions

Part II Contributed Papers of ASCM2009
Chapter 3 Simplification Of The Lattice Based Attack Of Boneh And Durfee For Rsa Cryptoanalysis
Chapter 4 Real Root Isolation Of Regular Chains
Chapter 5 A Practical Implementation Of A Modular Algorithm For Ore Polynomial Matrices
Chapter 6 Computing Popov Forms Of Matrices Over Pbw Extensions
Chapter 7 On The Simplest Quartic Fields And Related Thue Equations
Chapter 8 On The Implementation Of Boolean Gröbner Bases
Chapter 9 Comprehensive Gröbner Bases In A Java Computer Algebra System
Chapter 10 A Practical Method For Floating-Point Gröbner Basis Computation
Chapter 11 Series-Expansion Of Multivariate Algebraic Functions At Singular Points: Nonmonic Case
Chapter 12 A Sequence Of Nearest Polynomials With Given Factors
Chapter 13 Digitization Workflow In The Czech Digital Mathematics Library
Chapter 14 The Implementation And Complexity Analysis Of The Branch Gröbner Bases Algorithm Over Boolean Polynomial Rings
Chapter 15 Towards The Calculation Of Casimir Forces For Inhomogeneous Planar Media

Part III Contributed Papers of ASCM2012
Chapter 16 Sparse Polynomial Interpolation By Variable Shift In The Presence Of Noise And Outliers In The Evaluations
Chapter 17 An Incremental Algorithm For Computing Cylindrical Algebraic Decompositions
Chapter 18 Finding The Symbolic Solution Of A Geometric Problem Through Numerical Computations
Chapter 19 A Symbolic Approach To Compute A Null-Space Basis In The Projection Method
Chapter 20 A Simple Quantifier-Free Formula Of Positive Semidefinite Cyclic Ternary Quartic Forms
Chapter 21 The Vanishing Ideal Of A Finite Set Of Points With Multiplicity Structures
Chapter 22 Signature-Based Method Of Deciding Program Termination
Chapter 23 High-Precision Eigenvalue Bound For The Laplacian With Singularities
Chapter 24 Poly: A New Polynomial Data Structure For Maple 17
Chapter 25 Degree And Dimension Estimates For Invariant Ideals Of P-Solvable Recurrences
Chapter 26 Real Root Isolation Of Polynomial Equations Based On Hybrid Computation
Chapter 27 Overview Of The Mathemagix Type System
Chapter 28 Resultant-Free Computation Of Indefinite Hyperexponential Integrals
Chapter 29 Imup: A Maple Package For Uniformity-Improved Reparameterization Of Plane Curves
Chapter 30 The Diagonal Reduction Algorithm Using Fast Givens
Chapter 31 Constructing Generalized Bent Functions From Trace Forms Of Galois Rings
Chapter 32 Matrix Formulae Of Differential Resultant For First Order Generic Ordinary Differential Polynomials