This volume is the Proceedings of the symposium held at the University of Wyoming in August, 1985, to honor Gail Young on his seventieth birthday (which actually took place on October 3, 1985) and on the occasion of his retirement. Nothing can seem more natural to a mathematician in this country than to honor Gail Young. Gail embodies all the qualities that a mathematician should possess. He is an active and effective research mathematician, having written over sixty pa pers in topology, n-dimensional analysis, complex variables, and "miscellanea." He is an outstanding expositor, as his fine book Topology, written with J. G. Hocking (Addison Wesley, 1961), amply demonstrates. He has a superlative record in public office of outstanding, unstinting service to the mathematical community and to the cause of education. But what makes Gail unique and special is that throughout all aspects of his distinguished career, he has emphasized human values in everything he has done. In touching the lives of so many of us, he has advanced the entire profession. Deservedly, he has innumerable friends in the mathematical community, the academic community, and beyond.

Contains papers that represent the proceedings of a conference entitled 'Differential Geometry: The Interface Between Pure and Applied Mathematics', which was held in San Antonio, Texas, in April 1986. This work covers a range of applications and techniques in such areas as ordinary differential equations, Lie groups, algebra and control theory.

Collection of papers by leading researchers in computational mathematics, suitable for graduate students and researchers.

The starting point in the formulation of any numerical problem is to take an intuitive idea about the problem in question and to translate it into precise mathematical language. This book provides step-by-step descriptions of how to formulate numerical problems and develops techniques for solving them. A number of engineering case studies motivate the development of efficient algorithms that involve, in some cases, transformation of the problem from its initial formulation into a more tractable form. Five general problem classes are considered: linear systems of equations, non-linear systems of equations, unconstrained optimization, equality-constrained optimization and inequality-constrained optimization. The book contains many worked examples and homework exercises and is suitable for students of engineering or operations research taking courses in optimization. Supplementary material including solutions, lecture slides and appendices are available online at www.cambridge.org/9780521855648.

The field of computational sciences has seen a considerable development in mathematics, engineering sciences, and economic equilibrium theory. Researchers in this field are faced with the problem of solving a variety of equations or variational inequalities. We note that in computational sciences, the practice of numerical analysis for finding such solutions is essentially connected to variants of Newton's method. The efficient computational methods for finding the solutions of fixed point problems, nonlinear equations and variational inclusions are the first goal of the present book. The second goal is the applications of these methods in nonlinear problems and the connection with fixed point theory. This book is intended for researchers in computational sciences, and as a reference book for an advanced computational methods in nonlinear analysis. We collect the recent results on the convergence analysis of numerical algorithms in both finite-dimensional and infinite-dimensional spaces, and present several applications and connections with fixed point theory. The book contains abundant and updated bibliography, and provides comparison between various investigations made in recent years in the field of computational nonlinear analysis.

This book presents a variety of advanced research papers in optimization and dynamics written by internationally recognized researchers in these fields. As an example of applying optimization in sport, it introduces a new method for finding the optimal bat sizes in baseball and softball. The book is divided into three parts: operations research, dynamics, and applications. The operations research section deals with the convergence of Newton-type iterations for solving nonlinear equations and optimum problems, the limiting properties of the Nash bargaining solution, the utilization of public goods, and optimizing lot sizes in the automobile industry. The topics in dynamics include special linear approximations of nonlinear systems, the dynamic behavior of industrial clusters, adaptive learning in oligopolies, periodicity in duopolies resulting from production constraints, and dynamic models of love affairs. The third part presents applications in the fields of reverse logistic network design for end-of-life wind turbines, fuzzy optimization of the structure of agricultural products, water resources management in the restoration plans for a lake and also in groundwater supplies. In addition it discusses applications in reliability engineering to find the optimal preventive replacement times of deteriorating equipment and using bargaining theory to determine the best maintenance contract. The diversity of the application areas clearly illustrates the usefulness of the theory and methodology of optimization and dynamics in solving practical problems.

Discusses a dozen topics related to mathematical and computational issues in geophysical fluid and solid mechanics, including local grid refinement for reservoir simulation, a method of factoring long z-transform polynomials, and the finite element modelling of surface flow problems. See entry QC155

The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers: S. Homer: The Isomorphism Conjecture and its Generalization.- A. Nerode: Some Lectures on Intuitionistic Logic.- R.A. Platek: Making Computers Safe for the World. An Introduction to Proofs of Programs. Part I. - G.E. Sacks: Prolog Programming.- A. Scedrov: A Guide to Polymorphic Types.

An extraordinary mathematical conference was held 5-9 August 1990 at the University of California at Berkeley: From Topology to Computation: Unity and Diversity in the Mathematical Sciences An International Research Conference in Honor of Stephen Smale's 60th Birthday The topics of the conference were some of the fields in which Smale has worked: • Differential Topology • Mathematical Economics • Dynamical Systems • Theory of Computation • Nonlinear Functional Analysis • Physical and Biological Applications This book comprises the proceedings of that conference. The goal of the conference was to gather in a single meeting mathemati cians working in the many fields to which Smale has made lasting con tributions. The theme "Unity and Diversity" is enlarged upon in the section entitled "Research Themes and Conference Schedule." The organizers hoped that illuminating connections between seemingly separate mathematical sub jects would emerge from the conference. Since such connections are not easily made in formal mathematical papers, the conference included discussions after each of the historical reviews of Smale's work in different fields. In addition, there was a final panel discussion at the end of the conference.

The first history of postwar mathematics, offering a new interpretation of the rise of abstraction and axiomatics in the twentieth century. Why did abstraction dominate American art, social science, and natural science in the mid-twentieth century? Why, despite opposition, did abstraction and theoretical knowledge flourish across a diverse set of intellectual pursuits during the Cold War? In recovering the centrality of abstraction across a range of modernist projects in the United States, Alma Steingart brings mathematics back into the conversation about midcentury American intellectual thought. The expansion of mathematics in the aftermath of World War II, she demonstrates, was characterized by two opposing tendencies: research in pure mathematics became increasingly abstract and rarified, while research in applied mathematics and mathematical applications grew in prominence as new fields like operations research and game theory brought mathematical knowledge to bear on more domains of knowledge. Both were predicated on the same abstractionist conception of mathematics and were rooted in the same approach: modern axiomatics. For American mathematicians, the humanities and the sciences did not compete with one another, but instead were two complementary sides of the same epistemological commitment. Steingart further reveals how this mathematical epistemology influenced the sciences and humanities, particularly the postwar social sciences. As mathematics changed, so did the meaning of mathematization. Axiomatics focuses on American mathematicians during a transformative time, following a series of controversies among mathematicians about the nature of mathematics as a field of study and as a body of knowledge. The ensuing debates offer a window onto the postwar development of mathematics band Cold War epistemology writ large. As Steingart’s history ably demonstrates, mathematics is the social activity in which styles of truth—here, abstraction—become synonymous with ways of knowing.