Skip to main content
  • Conference proceedings
  • © 2008

Computer Mathematics

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

Editors:

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

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Conference series link(s): ASCM: Asian Symposium on Computer Mathematics

Conference proceedings info: ASCM 2007.

Buying options

eBook USD 84.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.00
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (30 papers)

  1. Front Matter

Other Volumes

  1. Computer Mathematics

About this book

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

Buying options

eBook USD 84.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.00
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions