Computer mathematics : proceedings of fifth Asian Symposium(ASCM 2001), Matsuyama, Japan, 26-28 September 2001
著者
書誌事項
Computer mathematics : proceedings of fifth Asian Symposium(ASCM 2001), Matsuyama, Japan, 26-28 September 2001
(Lecture notes series on computing, v. 9)
World Scientific, c2001
大学図書館所蔵 件 / 全4件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and index
内容説明・目次
内容説明
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.
目次
- 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.
「Nielsen BookData」 より