Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2014

Computer Mathematics

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

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

Sections

Buy it now

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

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

Table of contents (32 papers)

  1. Contributed Papers of ASCM2012

    2. Finding the Symbolic Solution of a Geometric Problem Through Numerical Computations

      • Liangyu Chen, Tuo Leng, Liyong Shen, Min Wu, Zhengfeng Yang, Zhenbing Zeng
      Pages 223-241

    5. The Vanishing Ideal of a Finite Set of Points with Multiplicity Structures

      • Na Lei, Xiaopeng Zheng, Yuxue Ren
      Pages 275-296

    6. Signature-Based Method of Deciding Program Termination

      • Yaohui Li, Yuqing Song, Zhifeng Wu
      Pages 297-310

    7. High-Precision Eigenvalue Bound for the Laplacian with Singularities

      • Xuefeng Liu, Tomoaki Okayama, Shin’ichi Oishi
      Pages 311-323

    8. POLY: A New Polynomial Data Structure for Maple 17

      • Michael Monagan, Roman Pearce
      Pages 325-348

    10. Real Root Isolation of Polynomial Equations Based on Hybrid Computation

      • Fei Shen, Wenyuan Wu, Bican Xia
      Pages 375-396

    11. Overview of the Mathemagix Type System

      • Joris van der Hoeven
      Pages 397-425

    14. The Diagonal Reduction Algorithm Using Fast Givens

      • Wen Zhang, Sanzheng Qiao, Yimin Wei
      Pages 453-465

    15. Constructing Generalized Bent Functions from Trace Forms of Galois Rings

      • Xiaoming Zhang, Baofeng Wu, Qingfang Jin, Zhuojun Liu
      Pages 467-477
Back to top

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.
Back to top

Keywords

Back to top

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

Back to top

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

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation