Computer Mathematics - Proceedings Of The Fifth Asian Symposium (Ascm 2001)
Will be published approx. on 18. September 2001
Book
Hardback
240 pages
978-981-02-4763-8 (ISBN)
Description
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.
More details
Series
Language
English
Place of publication
Singapore
Singapore
Target group
College/higher education
Professional and scholarly
Product notice
sewn/stitched
Cloth over boards
Dimensions
Height: 223 mm
Width: 161 mm
Thickness: 19 mm
Weight
445 gr
ISBN-13
978-981-02-4763-8 (9789810247638)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Persons
Content
Solution of a Linear Differential Equations in the Form of Power Series and Its Application (T Kitamoto); On the Specification for Solvers of Polynomial Systems (D Lazard); OMEI: An Open Mathematical Engine Interface (W Liao et al.); Polynomial Solutions of Algebraic Differential Equations (Y Ma & X-S Gao); FIGUE: Mathematical Formula Layout with Interaction and MathML Support (H Naciri & L Rideau); An Inductive Approach to Formalizing Notions of Number Theory Proofs (T M Rasmussen); A Generalized Algorithm for Computing Characteristic Sets (D Wang); Action Refinement for Timed LOTOS (J Wu); Exact Analytical Solutions to a Set of Coupled Nonlinear Differential Equations Using Symbolic Computation (R-X Yao & Z-B Li); and other papers.