Titlebook: Computer Aided Proofs in Analysis; Kenneth R. Meyer,Dieter S. Schmidt Book 1991 Springer-Verlag New York Inc. 1991 Mathematica.algebra.alg

無感覺

書目名稱Computer Aided Proofs in Analysis影響因子(影響力)




書目名稱Computer Aided Proofs in Analysis影響因子(影響力)學(xué)科排名




書目名稱Computer Aided Proofs in Analysis網(wǎng)絡(luò)公開度




書目名稱Computer Aided Proofs in Analysis網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Computer Aided Proofs in Analysis被引頻次




書目名稱Computer Aided Proofs in Analysis被引頻次學(xué)科排名




書目名稱Computer Aided Proofs in Analysis年度引用




書目名稱Computer Aided Proofs in Analysis年度引用學(xué)科排名




書目名稱Computer Aided Proofs in Analysis讀者反饋




書目名稱Computer Aided Proofs in Analysis讀者反饋學(xué)科排名

曲解

CESS

Floating-Point Systems for Theorem Proving,guarantees. These systems may be conveniently used as a component in theorem proving. Following a brief description of the methodology which underlies these systems, we tabulate them, indicating some properties and noting where they may be obtained for use. A brief appendix supplies an introduction

expire

ILEUM

托運

MACSYMA Program to Implement Averaging Using Elliptic Functions,tic functions, a process which is most easily and accurately accomplished using computer algebra. We present the listing of a MACSYMA program which implements the method to 0(.), as well as the results of a run for which . is taken as a general cubic polynomial in . and .

托運

輪流

A Toolbox for Nonlinear Dynamics,ch in nonlinear dynamics. On the mathematical front, we point to the theory of Lie transformations; in the area of computational software, we explain how massively data parallel machines open the way for symbolic solution of large problems. Finally, we show how color graphics assist in the qualitati

催眠

Accurate Strategies for K.A.M. Bounds and Their Implementation,convergence of these expansions for values of the perturbation parameter as close to optimal as desired. The method is based on a constructive form of K.A.M. theory and implemented using interval arithmetic. For some cases, the algorithms have been run on a computer yielding results better than 90%

翻布尋找