عنوان

Computer mathematics :

شابک

9789812799661

شابک

9812799664

شابک اشتباه

9789810247638

شابک اشتباه

981024763X

شماره

b793147

عنوان اصلي

Computer mathematics :

نام عام مواد

[Book]

ساير اطلاعات عنواني

proceedings of the fifth Asian Symposium (ASCM 2001), Matsuyama, Japan, 26-28 September 2001 /

نام نخستين پديدآور

editors, Kiyoshi Shirayanagi, Kazuhiro Yokoyama.

محل نشرو پخش و غیره

River Edge, N.J. :

نام ناشر، پخش کننده و غيره

World Scientific,

تاریخ نشرو بخش و غیره

©2001.

نام خاص و کميت اثر

1 online resource (xi, 227 pages) :

ساير جزييات

illustrations

عنوان فروست

Lecture notes series on computing ;

مشخصه جلد

v. 9

متن يادداشت

Includes bibliographical references and index.

متن يادداشت

Invited talks. Finding all the solutions of cyclic 9 using Grobner basis techniques / J.-C. Faugere -- On the complexity of computing determinants (extended abstract) / E. Kaltofen and G. Villard -- Papers. Investigating the growth of length of intermediate expressions in polynomial sequences using a maple program (extended abstract) / M.A.O. Camargo-Brunetto -- Giesbrecht's algorithm, the HFE cryptosystem and Ore's p8-polynomials / R.S. Coulter, G. Havas and M. Henderson -- Solution of a linear differential equation in the form of power series and its application / T. Kitamoto -- A new algorithm for real roots of a zero-dimensional system by a linear separating map / Y. Kondoh, T. Saito and T. Takeshima -- On the specification for solvers of polynomial systems / D. Lazard -- On the construction of a PSE for GCD computation (extended abstract) / K. Li [and others] -- OMEI: An open mathematical engine interface / W. Liao [and others] -- Polynomial solutions of algebraic differential equations / Y. Ma and X.-S. Gao -- The design and implementation of OpenXM-RFC 100 and 101 / M. Maekawa [and others] -- FIGUE: Mathematical formula layout with interaction and MathML support / H. Naciri and L. Rideau -- Symbolic-numeric computations of Wu's method: Comparison of the cut-off method and the stabilization techniques / Y. Notake, H. Kai and M.-T. Noda -- An inductive approach to formalizing notions of number theory proofs / T.M. Rasmussen -- Application of Grobner basis and quantifier elimination in engineering design: An introduction for engineers / H. Sawada and X.-T. Yan -- JavaMath: An API for Internet accessible mathematical services / A. Solomon and C.A. Struble -- Deformation of double cusp singularity on an irreducible quartic curve by using the computer algebra system Risa/Asir / T. Takahashi -- A generalized algorithm for computing characteristic sets / D. Wang -- Deciding inclusion of differential quasi-algebraic varieties / J. Wang, L. LI and F. Xie -- Action refinement for timed LOTOS / J. Wu -- Symbolic computation and abundant new families of exact solutions for the coupled modified KdV-KdV equation (extended abstract) / Z. Yan and H. Zhang -- Exact analytical solutions to a set of coupled nonlinear differential equations using symbolic computation / R.-X. Yao and Z.-B. Li -- An effective algorithm for isolating the real solutions of semi-algebraic systems and its applications / B.C. Xia and L. Yang -- C-D integrable system and computer aided solver for differential equations / H. Zhang.

بدون عنوان

0

متن يادداشت

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.

موضوع مستند نشده

Computer science-- Mathematics, Congresses.

موضوع مستند نشده

Computer science, Congresses.

موضوع مستند نشده

Computer science-- Mathematics.

موضوع مستند نشده

Computer science.

موضوع مستند نشده

COMPUTERS-- Computer Literacy.

موضوع مستند نشده

COMPUTERS-- Computer Science.

موضوع مستند نشده

COMPUTERS-- Data Processing.

موضوع مستند نشده

COMPUTERS-- Hardware-- General.

موضوع مستند نشده

COMPUTERS-- Information Technology.

موضوع مستند نشده

COMPUTERS-- Machine Theory.

موضوع مستند نشده

COMPUTERS-- Reference.

موضوع مستند نشده

COM-- 013000

موضوع مستند نشده

COM-- 014000

موضوع مستند نشده

COM-- 018000

موضوع مستند نشده

COM-- 032000

موضوع مستند نشده

COM-- 037000

موضوع مستند نشده

COM-- 052000

موضوع مستند نشده

COM-- 067000

شماره

ويراست

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

Shirayanagi, Kiyoshi.

مستند نام اشخاص تاييد نشده

Yokoyama, Kazuhiro.

مستند نام تنالگان تاييد نشده

Asian Symposium on Computer Mathematics(5th :2001 :, Matsuyama-shi, Japan)

تاريخ عمليات

20201207062026.0

قواعد فهرست نويسي ( بخش توصيفي )

pn

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y