Computer Mathematics

1. Front Matter

   Pages i-xvi

   PDF

2. Invited Talks of ASCM2012

   1. Front Matter

      Pages 1-1

      PDF

   2. Symbolic Computation and Complexity Theory Transcript of My Talk

      • Erich L. Kaltofen

      Pages 3-7

   3. Factorization of Motions

      • Josef Schicho

      Pages 9-11

3. Contributed Papers of ASCM2009

   1. Front Matter

      Pages 13-13

      PDF

   2. Simplification of the Lattice Based Attack of Boneh and Durfee for RSA Cryptoanalysis

      • Yoshinori Aono

      Pages 15-32

   3. Real Root Isolation of Regular Chains

      • François Boulier, Changbo Chen, François Lemaire, Marc Moreno Maza

      Pages 33-48

   4. A Practical Implementation of a Modular Algorithm for Ore Polynomial Matrices

      • Howard Cheng, George Labahn

      Pages 49-59

   5. Computing Popov Forms of Matrices Over PBW Extensions

      • Mark Giesbrecht, George Labahn, Yang Zhang

      Pages 61-65

   6. On the Simplest Quartic Fields and Related Thue Equations

      • Akinari Hoshi

      Pages 67-85

   7. On the Implementation of Boolean Gröbner Bases

      • Shutaro Inoue, Akira Nagai

      Pages 87-92

   8. Comprehensive Gröbner Bases in a Java Computer Algebra System

      • Heinz Kredel

      Pages 93-108

   9. A Practical Method for Floating-Point Gröbner Basis Computation

      • Tateaki Sasaki

      Pages 109-124

   10. Series-Expansion of Multivariate Algebraic Functions at Singular Points: Nonmonic Case

       • Tateaki Sasaki, Daiju Inaba

       Pages 125-140

   11. A Sequence of Nearest Polynomials with Given Factors

       • Hiroshi Sekigawa

       Pages 141-145

   12. Digitization Workflow in the Czech Digital Mathematics Library

       • Petr Sojka

       Pages 147-156

   13. The Implementation and Complexity Analysis of the Branch Gröbner Bases Algorithm Over Boolean Polynomial Rings

       • Yao Sun, Dingkang Wang

       Pages 157-169

   14. Towards the Calculation of Casimir Forces for Inhomogeneous Planar Media

       • C. Xiong, T. W. Kelsey, S. A. Linton, U. Leonhardt

       Pages 171-180

4. Contributed Papers of ASCM2012

   1. Front Matter

      Pages 181-181

      PDF

   2. Sparse Polynomial Interpolation by Variable Shift in the Presence of Noise and Outliers in the Evaluations

      • Brice Boyer, Matthew T. Comer, Erich L. Kaltofen

      Pages 183-197

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.

• Gröbner Bases
• Maple Package
• Symbolic computation
• differential and difference algebra
• mathematics software design
• numerical computation
• scientific and engineering computing
• symbolic-numerical computation

• Academy of Mathematics & System Science, Beijing, China

  Ruyong Feng

• Department of Mathematics and Computer S, University of Antwerp, Antwerp, Belgium

  Wen-shin Lee

• Department of Mathematical Information S, Tokyo University of Science, Tokyo, Japan

  Yosuke Sato

Policies and ethics