Skip to main content
SpringerLink
Log in

Computer Mathematics

9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012, Contributed Papers and Invited Talks

  • Conference proceedings
  • © 2014

Overview

Editors:
  1. Ruyong Feng

    1. Academy of Mathematics & System Science, Beijing, China

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Wen-shin Lee

    1. Department of Mathematics and Computer S, University of Antwerp, Antwerp, Belgium

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Yosuke Sato

    1. Department of Mathematical Information S, Tokyo University of Science, Tokyo, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Cover original research and latest advances in computer mathematics

  • Contain computational aspects of mathematics and their applications

  • Apply symbolic computation to scientific and engineering computing

  • Includes supplementary material: sn.pub/extras

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (32 papers)

  1. Front Matter

    Pages i-xvi
    Download chapter PDF

  2. Invited Talks of ASCM2012

    1. Front Matter

      Pages 1-1
      Download chapter 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
      Download chapter 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
      Download chapter 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
Back to top

Keywords

About this book

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.

Editors and Affiliations

  • 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

Bibliographic Information

  • Book Title: Computer Mathematics

  • Book Subtitle: 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012, Contributed Papers and Invited Talks

  • Editors: Ruyong Feng, Wen-shin Lee, Yosuke Sato

  • DOI: https://doi.org/10.1007/978-3-662-43799-5

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Mathematics and Statistics, Mathematics and Statistics (R0)

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2014

  • Hardcover ISBN: 978-3-662-43798-8Published: 10 October 2014

  • Softcover ISBN: 978-3-662-52540-1Published: 22 September 2016

  • eBook ISBN: 978-3-662-43799-5Published: 30 September 2014

  • Edition Number: 1

  • Number of Pages: XVI, 503

  • Number of Illustrations: 54 b/w illustrations

  • Topics: Computational Mathematics and Numerical Analysis, Computational Science and Engineering, Mathematical Software

Publish with us

Policies and ethics

Back to top

Search

Navigation