This two-volume work includes all the published papers of Dr Larry Wos. It illustrates some of the successes that automated reasoning programs have had in tackling problems in mathematics, logic, program verification and circuit design. The CD-ROM contains a searchable index of …
This book deals mainly with the dynamics of the one-dimensional nonlinear stochastic waves. It contains a description of the basic mathematical tools, and recent results in fields including: exactly integrable nonlinear stochastic equations; and dynamics of the nonlinear waves i…
This work studies the independent motions of infinitely many particles in the d-dimensional Euclidean space Rd. It includes coverage of random walks, that is, to the case where the particles execute random motions and birth and death processes independently.
Presents, in a systematic manner, the general theory of normal families, quasi-normal families and Qm-normal families of meromorphic functions, and includes various applications. The notion of closed families of meromorphic functions is also introduced.
International Physics Olympiad: Proceedings
Deals with the qualitative theory of dynamical systems, focusing on the study of flows and cascades in the vicinity of a smooth invariant manifold; and presents results concerning the existence of stable and unstable local manifolds.
