Sale!

Computer Mathematics Proceedings of the 5th Asian Symposium ASCM 2001 Lecture Notes Series on Computing 1st Edition by K Yokoyama, K Shirayanagi ISBN 9812799664 9789812799661

Original price was: $50.00.Current price is: $35.00.

Computer Mathematics Proceedings of the 5th Asian Symposium ASCM 2001 Lecture Notes Series on Computing 1st Edition K. Yokoyama Digital Instant Download

Author(s): K. Yokoyama, K. Shirayanagi
ISBN(s): 9789812799661, 9812799664
Edition: 1st
File Details: PDF, 9.66 MB
Year: 2002
Language: english
SKU: EB-1818790 Category: Tags: ,

Computer Mathematics Proceedings of the 5th Asian Symposium ASCM 2001 Lecture Notes Series on Computing 1st Edition by K Yokoyama, K Shirayanagi – Ebook PDF Instant Download/Delivery: 9812799664, 9789812799661
Full download Computer Mathematics Proceedings of the 5th Asian Symposium ASCM 2001 Lecture Notes Series on Computing 1st Edition after payment

Product details:

ISBN 10: 9812799664
ISBN 13: 9789812799661
Author: K Yokoyama, K Shirayanagi

This volume covers some of the most recent and significant advances in computer mathematics, including algebraic, symbolic, numeric and geometric computation, automated mathematical reasoning, mathematical software and computer-aided geometric design. Researchers, engineers, academics and graduate students interested in doing mathematics using computers will find this volume good reading and a valuable reference.

Computer Mathematics Proceedings of the 5th Asian Symposium ASCM 2001 Lecture Notes Series on Computing 1st Table of contents:

  1. Solution of a Linear Differential Equations in the Form of Power Series and Its Application
    T. Kitamoto

  2. On the Specification for Solvers of Polynomial Systems
    D. Lazard

  3. OMEI: An Open Mathematical Engine Interface
    W. Liao et al.

  4. Polynomial Solutions of Algebraic Differential Equations
    Y. Ma & X.-S. Gao

  5. FIGUE: Mathematical Formula Layout with Interaction and MathML Support
    H. Naciri & L. Rideau

  6. An Inductive Approach to Formalizing Notions of Number Theory Proofs
    T. M. Rasmussen

  7. A Generalized Algorithm for Computing Characteristic Sets
    D. Wang

  8. Action Refinement for Timed LOTOS
    J. Wu

  9. Exact Analytical Solutions to a Set of Coupled Nonlinear Differential Equations

People also search for Computer Mathematics Proceedings of the 5th Asian Symposium ASCM 2001 Lecture Notes Series on Computing 1st:

computer mathematics proceedings
    
computer mathematics and logic
    
computerized mathematics
    
computer mathematical and natural sciences
    
computational mathematics science and engineering

Tags: K Yokoyama, K Shirayanagi, Computer Mathematics, Asian Symposium