Computer Mathematics

8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers

  • Editors
  • Deepak Kapur
Conference proceedings ASCM 2007

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5081)

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 5081)

Table of contents

  1. Front Matter
  2. Algorithms and Implementations

  3. Numerical Methods and Applications

  4. Elimination: Triangular Forms, Resultants, Equation Solving

  5. Cryptology

  6. Computational Logic

    1. Yosuke Sato, Akira Nagai, Shutaro Inoue
      Pages 334-348
  7. Back Matter

About these proceedings


This book constitutes thoroughly refereed post-conference proceedings of the 8th Asian Symposium on Computer Mathematics, ASCM 2007, held in Singapore in December 2007.

The 22 revised full papers and 5 revised poster papers presented together with 3 invited lectures were carefully selected during two rounds of reviewing and improvement from 65 submissions. The papers are organized in topical sections on algorithms and implementations, numerical methods and applications, cryptology, and computational logic.


algebraic-numeric computation algorithms associate residual automated reasoning biomechanics problem characteristic set computational geometry computer algebra difference substitution formal mathematics groebner basis instability logic symmetric polynomials

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-540-87826-1
  • Online ISBN 978-3-540-87827-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site