The Merging of Disciplines: New Directions in Pure, Applied, and Computational Mathematics


Book Description

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.




Differential Geometry: The Interface between Pure and Applied Mathematics


Book Description

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.




Foundations of Computational Mathematics


Book Description

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




Computational Methods in Nonlinear Analysis


Book Description

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.




Applied Optimization


Book Description

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 Theory and Applications of Iteration Methods


Book Description

The theory and applications of Iteration Methods is a very fast-developing field of numerical analysis and computer methods. The second edition is completely updated and continues to present the state-of-the-art contemporary theory of iteration methods with practical applications, exercises, case studies, and examples of where and how they can be used. The Theory and Applications of Iteration Methods, Second Edition includes newly developed iteration methods taking advantage of the most recent technology (computers, robots, machines). It extends the applicability of well-established methods by increasing the convergence domain and offers sharper error tolerance. New proofs and ideas for handling convergence are introduced along with a new variety of story problems picked from diverse disciplines. This new edition is for researchers, practitioners, and students in engineering, economics, and computational sciences.




Numerical Analysis for Engineers and Scientists


Book Description

A graduate-level introduction balancing theory and application, providing full coverage of classical methods with many practical examples and demonstration programs.




Logic and Computer Science


Book Description

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.




Computational Methods in Geosciences


Book Description

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




Numerical Methods for Roots of Polynomials - Part II


Book Description

We discuss the secant method:where are initial guesses. In the Regula Falsi variation we start with initial guesses and such that ; after an iteration similar to the above we replace either a or b by the new value depending on which of or has the same sign as . Often one of the points gets “stuck,” and several variants such as the Illinois or Pegasus methods and variations are used to “unstick” it. We discuss convergence and efficiency of most of the methods considered. We treat methods involving quadratic of higher order interpolation and rational approximation. We also discuss the bisection method where again and we set . We replace a or b by c according to the sign of as in the Regula Falsi method. Various generalizations are described, including some for complex roots. Finally we consider hybrid methods involving two or more of the previously described methods.