Computer Mathematics : Proceedings of the Fifth Asian Symposium (Ascm 2001).
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 s...
Saved in:
| Online Access: |
Full text (Emerson users only) |
|---|---|
| Main Author: | |
| Contributors: | |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Singapore :
World Scientific Publishing Company,
2001.
|
| Series: | Lecture notes series on computing.
|
| Subjects: | |
| Local Note: | ProQuest Ebook Central |
MARC
| LEADER | 00000cam a2200000ui 4500 | ||
|---|---|---|---|
| 001 | in00000187619 | ||
| 006 | m o d | ||
| 007 | cr |n|---||||| | ||
| 008 | 140501s2001 si o 000 0 eng d | ||
| 005 | 20240808172939.4 | ||
| 020 | |a 9789812799661 | ||
| 020 | |a 9812799664 | ||
| 035 | |a (OCoLC)879023469 | ||
| 035 | |a (OCoLC)ocn879023469 | ||
| 040 | |a MHW |b eng |e pn |c MHW |d EBLCP |d OCLCO |d OCLCQ |d ZCU |d MERUC |d ICG |d OCLCO |d OCLCF |d OCLCQ |d OCLCO |d AU@ |d OCLCQ |d DKC |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO | ||
| 050 | 4 | |a QA76.9 .M35 A83 2001 | |
| 082 | 0 | 4 | |a 004.0151 |
| 100 | 1 | |a Shirayanagi, Kiyoshi. | |
| 245 | 1 | 0 | |a Computer Mathematics : |b Proceedings of the Fifth Asian Symposium (Ascm 2001). |
| 260 | |a Singapore : |b World Scientific Publishing Company, |c 2001. | ||
| 300 | |a 1 online resource (240 pages) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes Series on Computing | |
| 505 | 0 | |a Preface ; Invited Talks ; Finding All the Solutions of Cyclic 9 Using Grobner Basis Techniques ; On the Complexity of Computing Determinants (Extended Abstract) ; Papers. | |
| 505 | 8 | |a Investigating the Growth of Length of Intermediate Expressions in Polynomial Sequences Using a Maple Program Giesbrecht's Algorithm the HFE Cryptosystem and Ore's p8-polynomials ; Solution of a Linear Differential Equation in the Form of Power Series and its Application. | |
| 505 | 8 | |a A New Algorithm for Real Roots of a Zero-Dimensional System by a Linear Separating Map On the Specification for Solvers of Polynomial Systems ; On the Construction of a PSE for GCD Computation ; OMEI: An Open Mathematical Engine Interface. | |
| 505 | 8 | |a Polynomial Solutions of Algebraic Differential Equations The Design and Implementation of OpenXM-RFC 100 and 101 ; FIGUE: Mathematical Formula Layout with Interaction and MathML Support. | |
| 505 | 8 | |a Symbolic-Numeric Computations of Wu's Method: Comparison of the Cut-off Method and the Stabilization Techniques An Inductive Approach to Formalizing Notions of Number Theory Proofs ; Application of Grobner Basis and Quantifier Elimination in Engineering Design: An Introduction for Engineers. | |
| 520 | |a 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. Contents: 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). | ||
| 588 | 0 | |a Print version record. | |
| 590 | |a ProQuest Ebook Central |b Ebook Central Academic Complete | ||
| 650 | 0 | |a Computer science |x Mathematics |v Congresses. | |
| 650 | 0 | |a Computer science |v Congresses. | |
| 700 | 1 | |a Yokoyama, Kazuhiro. | |
| 776 | 0 | 8 | |i Print version: |z 9789810247638 |
| 830 | 0 | |a Lecture notes series on computing. | |
| 852 | |b EBooks |h ProQuest | ||
| 856 | 4 | 0 | |u https://ebookcentral.proquest.com/lib/emerson/detail.action?docID=1679385 |z Full text (Emerson users only) |t 0 |
| 947 | |a FLO |x pq-ebc-base | ||
| 999 | f | f | |s af4ae85f-d403-4f60-8a0f-db0495f9bfbc |i 6d205e5c-02f9-473d-829e-c68f9e66c28f |t 0 |
| 952 | f | f | |p Can circulate |a Emerson College |b Main Campus |c Emerson College Library |d EBooks |t 0 |e ProQuest |h Other scheme |i E-Resource |
| 856 | 4 | 0 | |t 0 |u https://ebookcentral.proquest.com/lib/emerson/detail.action?docID=1679385 |y Full text (Emerson users only) |