Computer Mathematics

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

  • Editors
  • Deepak Kapur
Conference proceedings

DOI: 10.1007/978-3-540-87827-8

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

Table of contents (30 papers)

  1. Front Matter
  2. Algorithms and Implementations

  3. Numerical Methods and Applications

About these proceedings

Introduction

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.

Keywords

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

  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-87826-1
  • Online ISBN 978-3-540-87827-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349