This book constitutes the refereed proceedings of the 10th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '97, held in Murray Hill, NJ, USA, in August 1997. The volume presents 19 carefully revised full papers selected from 32 submissions during a thorough reviewing process.

This book demonstrates the lively interaction between algebraic topology, very low dimensional topology and combinatorial group theory. Many of the ideas presented are still in their infancy, and it is hoped that the work here will spur others to new and exciting developments.

The book explores the possibility of extending the notions of "Grassmannian" and "Gauss map" to the PL category. They are distinguished from "classifying space" and "classifying map" which are essentially homotopy-theoretic notions. The analogs of Grassmannian and Gauss map defined incorporate geometric and combinatorial information.

The aim of the present lecture is to propose a method for bivalent (0,1) linear and nonlinear programming. We define a pseudo-Boolean function as a real-valued function with bivalent arguments. An equation (inequality) whose members are pseudo-Boolean functions is named pseudo- Boolean.

The aim of this book is to present a recently developed approach suitable for investigating a variety of qualitative aspects of order-preserving random dynamical systems and to give the background for further development of the theory. The main objects considered are equilibria and attractors.

These notes are based on lectures given by the author during the Winter semester 1975/76 at the University of Bielefeld. The goal of the lectures was to present some of the recent uses of nilpotent Lie groups in the representation theory of semi-simple Lie groups, complex analysis, and partial differential equations.

The starting point of the study of elliptic boundary value problems was Dirichlet's problem for the Laplacian D . This question is generalized as follows.

Ein Rezensent schrieb freundlich über die zwanzigste Auflage des Organikums: „es ist so frisch und aktuell wie je zuvor, wurde sukzessive erneuert und weiter verbessert, so daß es auch heute noch nicht nur für die Ausbildung der Chemie-Studenten ein unverzichtbares Lehrbuch, sondern auch für den in der Praxis arbeitenden Chemiker ein wichtiges Nachschlagewerk ist."

TEX has always been regarded as the most elegant and powerful system for computer typesetting. However, its widespread use, beyond academia, was hampered by its complexity. Recently, fairly good TEX implementations have come out for PCs putting TEX on the desks of many people: writers, designers, desktop publishers, engineers, and consequently, the interest in TEX has surged.

The theory of algebraic stacks emerged in the late sixties and early seventies in the works of P. Deligne, D. Mumford, and M. Artin. The language of algebraic stacks has been used repeatedly since then, mostly in connection with moduli problems: the increasing demand for an accurate description of moduli "spaces" came from various areas of mathematics and mathematical physics.

Random processes are of great and ever increasing interest to scientists and engineers working in various branches of radio physics. This is quite understandable, since at the present stage of technological development, random noise constitutes the chief obstacle to further improvement of certain engineering devices.

These are lecture notes for a course on ring theory given by the author at Yale, September - December, 1973. The lectures had two main goals: first, to present an improved version of the theory of algebras with polynomial identity (over a commutative coefficient ring) based on recent results by Formanek and Rowen and second, to present a detailed and complete account of Amitsur's construction of non-crossed product division algebras.

This is a gentle introduction to the vocabulary and many of the highlights of elementary group theory. Written in an informal style, the material is divided into short sections, each of which deals with an important result or a new idea. Includes more than 300 exercises and approximately 60 illustrations.

The second edition of this book includes revised, updated, and additional material on the structure, theory, and application of classes of dynamic models in Bayesian time series analysis and forecasting.

In the theory of functional differential equations with infinite delay, there are several ways to choose the space of initial functions (phase space); and diverse (duplicated) theories arise, according to the choice of phase space. To unify the theories, an axiomatic approach has been taken since the 1960's.