Oafishness
发表于 2025-3-26 23:50:23
http://reply.papertrans.cn/24/2334/233312/233312_31.png
矛盾心理
发表于 2025-3-27 01:24:28
http://reply.papertrans.cn/24/2334/233312/233312_32.png
DIS
发表于 2025-3-27 06:27:28
,Lie Transform Tutorial — II,This survey paper is an extension of Meyer (1990) since it contains complete proofs of the main theorems and some generalizations of Lie transform theory. However, the first part of this paper deals with the applications of Lie transforms to various perturbation problems leaving the technical proofs to the later sections.
humectant
发表于 2025-3-27 13:12:39
Interval Tools for Computer Aided Proofs in Analysis,A brief survey of theory and software implementations of interval and related techniques for computing with machine representable sets is presented with applications to computer aided proofs in analysis. Recent work on variable precision software is discussed.
recede
发表于 2025-3-27 16:19:50
http://reply.papertrans.cn/24/2334/233312/233312_35.png
Stable-Angina
发表于 2025-3-27 19:42:17
Shadowing Trajectories of Dynamical Systems,Computer simulation of the trajectories of deterministic systems involve truncation and rounding errors. A theorem is presented which describes a computer-assisted method for checking whether there is a true trajectory near the computer-generated one.
空气传播
发表于 2025-3-28 01:36:06
http://reply.papertrans.cn/24/2334/233312/233312_37.png
完全
发表于 2025-3-28 03:55:08
http://reply.papertrans.cn/24/2334/233312/233312_38.png
Lobotomy
发表于 2025-3-28 08:45:45
http://reply.papertrans.cn/24/2334/233312/233312_39.png
enchant
发表于 2025-3-28 14:13:14
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 .