Advertisement

© 2008

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

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

Industry Sectors
Automotive
Chemical Manufacturing
Biotechnology
IT & Software
Telecommunications
Law
Consumer Packaged Goods
Pharma
Materials & Steel
Finance, Business & Banking
Electronics
Energy, Utilities & Environment
Aerospace
Oil, Gas & Geosciences
Engineering