Search results

This book contains a collection of articles corresponding to some of the talks delivered at the Foundations of Computational Mathematics conference held at IMPA in Rio de Janeiro in January 1997. Some ofthe others are published in the December 1996 issue of the Journal of Complexity. Both of these publications were available and distributed at the meeting. Even in this aspect we hope to have achieved a synthesis of the mathematics and computer science cultures as well as of the disciplines. The...

In this treatise we present the semigroup approach to quasilinear evolution equa of parabolic type that has been developed over the last ten years, approxi tions mately. It emphasizes the dynamic viewpoint and is sufficiently general and flexible to encompass a great variety of concrete systems of partial differential equations occurring in science, some of those being of rather 'nonstandard' type. In partic ular, to date it is the only general method that applies to noncoercive systems. Alth...

The intention of this book is to shine a bright light on the intellectual context of Euler’s contributions to physics and mathematical astronomy. Leonhard Euler is one of the most important figures in the history of science, a blind genius who introduced mathematical concepts and many analytical tools to help us understand and describe the universe. Euler also made a monumental contribution to astronomy and orbital mechanics, developing what he called astronomia mechanica. Orbital mechanics of a...

This book comprises five parts. The first three contain ten historical essays on important topics: number theory, calculus/analysis, and proof, respectively. Part four deals with several historically oriented courses, and Part five provides biographies of five mathematicians who played major roles in the historical events described in the first four parts of the work. Excursions in the History of Mathematics was written with several goals in mind: to arouse mathematics teachers' interest in th...

The Kronecker product of matrices plays a central role in mathematics and in applications found in engineering and theoretical physics. These applications are signal processing, statistical physics, quantum groups and quantum computers. This book provides a comprehensive introduction to the Kronecker product of matrices together with its software implementation in C++ using an object-oriented design.

Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfangen des Verlags von 1842 erschienen sind. Der Verlag stellt mit diesem Archiv Quellen fur die historische wie auch die disziplingeschichtliche Forschung zur Verfugung, die jeweils im historischen Kontext betrachtet werden mussen. Dieser Titel erschien in der Zeit vor 1945 und wird daher in seiner zeittypischen politisch-ideologischen Ausrichtung vom Verlag nicht beworben.

Recent major advances in model theory include connections between model theory and Diophantine and real analytic geometry, permutation groups, and finite algebras. The present book contains lectures on recent results in algebraic model theory, covering topics from the following areas: geometric model theory, the model theory of analytic structures, permutation groups in model theory, the spectra of countable theories, and the structure of finite algebras. Audience: Graduate students in...

This volume contains edited versions of 11 contributions given by main speakers at the NATO Advanced Study Institute on lReal and Complex Dynamical Systems in Hiller0d, Denmark, June 20th - July 2nd, 1993. The vision of the institute was to illustrate the interplay between two important fields of Mathematics: Real Dynamical Systems and Complex Dynamical Systems. The interaction between these two fields has been growing over the years. Problems in Real Dynamical Systems have recently been solved...

Systems of conservation laws arise naturally in physics and chemistry. Following on from the previous volume, the author considers the maximum principle from the viewpoints of both viscous approximation and numerical schemes. Convergence is studied through compensated compactness. This tool is applied to the description of large amplitude wave propagation. Small waves are studied through geometrical optics. Special structures are presented in chapters on Rich and Temple systems. Finally, Serre e...

What is Dynamics about? In broad terms, the goal of Dynamics is to describe the long term evolution of systems for which an "infinitesimal" evolution rule is known. Examples and applications arise from all branches of science and technology, like physics, chemistry, economics, ecology, communications, biology, computer science, or meteorology, to mention just a few. These systems have in common the fact that each possible state may be described by a finite (or infinite) number of observable quan...

These are the proceedings of the Israel Seminar on the Geometric Aspects of Functional Analysis (GAFA) which was held between October 1985 and June 1986. The main emphasis of the seminar was on the study of the geometry of Banach spaces and in particular the study of convex sets in and infinite-dimensional spaces. The greater part of the volume is made up of original research papers; a few of the papers are expository in nature. Together, they reflect the wide scope of the problems studied at pr...

Multivariate approximation theory is today an increasingly active research area. It encompasses a wide range of tools for multivariate approximation such as multi-dimensional splines and finite elements, shift-invariant spaces and radial-basis functions. Approximation theory in the multivariate setting has many applications including numerical analysis, wavelet analysis, signal processing, geographic information systems, computer aided geometric design and computer graphics. The field is fascina...

This volume of the EMS contains four survey articles on analytic spaces. They are excellent introductions to each respective area. Starting from basic principles in several complex variables each article stretches out to current trends in research. Graduate students and researchers will find a useful addition in the extensive bibliography at the end of each article.

A gentle introduction to advanced topics such as parallel computing, multigrid methods, and special methods for systems of PDEs. The goal of all chapters is to 'compute' solutions to problems, hence algorithmic and software issues play a central role. All software examples use the Diffpack programming environment - some experience with Diffpack is required. There are also some chapters covering complete applications, i.e., the way from a model, expressed as systems of PDEs, through to discretiza...