The advent of fast and sophisticated computer graphics has brought dynamic and interactive images under the control of professional mathematicians and mathematics teachers. This volume in the NATO Special Programme on Advanced Educational Technology takes a comprehensive and critical look at how the computer can support the use of visual images in mathematical problem solving. The contributions are written by researchers and teachers from a variety of disciplines including computer science, mathematics, mathematics education, psychology, and design. Some focus on the use of external visual images and others on the development of individual mental imagery. The book is the first collected volume in a research area that is developing rapidly, and the authors pose some challenging new questions.

With contributions by specialists in optimization and practitioners in the fields of aerospace engineering, chemical engineering, and fluid and solid mechanics, the major themes include an assessment of the state of the art in optimization algorithms as well as challenging applications in design and control, in the areas of process engineering and systems with partial differential equation models.

These are the proceedings of the 19th international conference on domain decomposition methods in science and engineering. Domain decomposition methods are iterative methods for solving the often very large linear or nonlinear systems of algebraic equations that arise in various problems in mathematics, computational science, engineering and industry. They are designed for massively parallel computers and take the memory hierarchy of such systems into account. This is essential for approaching peak floating point performance. There is an increasingly well-developed theory which is having a direct impact on the development and improvement of these algorithms.

This book is based on the belief that, before students can make sense of any presentation of abstract mathematics, they need to be engaged in mental activities that will establish an experiential base for any future verbal explanations and to have the opportunity to reflect on their activities. This approach is based on extensive theoretical and empirical studies, as well as on the substantial experience of the authors in teaching Abstract Algebra. The main source of activities in this course is computer constructions, specifically, small programs written in the math-like programming language ISETL; the main tool for reflection is work in teams of two to four students, where the activities are discussed and debated. Because of the similarity of ISETL expressions to standard written mathematics, there is very little programming overhead: learning to program is inseparable from learning the mathematics. Each topic is first introduced through computer activities, which are then followed by a text section and exercises. The text section is written in an informal, discursive style, closely relating definitions and proofs to the constructions in the activities. Notions such as cosets and quotient groups become much more meaningful to the students than when they are presented in a lecture.

Indispensable for students, invaluable for researchers, this comprehensive treatment of contemporary quasi-Monte Carlo methods, digital nets and sequences, and discrepancy theory starts from scratch with detailed explanations of the basic concepts and then advances to current methods used in research. As deterministic versions of the Monte Carlo method, quasi-Monte Carlo rules have increased in popularity, with many fruitful applications in mathematical practice. These rules require nodes with good uniform distribution properties, and digital nets and sequences in the sense of Niederreiter are known to be excellent candidates. Besides the classical theory, the book contains chapters on reproducing kernel Hilbert spaces and weighted integration, duality theory for digital nets, polynomial lattice rules, the newest constructions by Niederreiter and Xing and many more. The authors present an accessible introduction to the subject based mainly on material taught in undergraduate courses with numerous examples, exercises and illustrations.

This volume contains the proceedings of the Colloquium "Analysis, Manifolds and Physics" organized in honour of Yvonne Choquet-Bruhat by her friends, collaborators and former students, on June 3, 4 and 5, 1992 in Paris. Its title accurately reflects the domains to which Yvonne Choquet-Bruhat has made essential contributions. Since the rise of General Relativity, the geometry of Manifolds has become a non-trivial part of space-time physics. At the same time, Functional Analysis has been of enormous importance in Quantum Mechanics, and Quantum Field Theory. Its role becomes decisive when one considers the global behaviour of solutions of differential systems on manifolds. In this sense, General Relativity is an exceptional theory in which the solutions of a highly non-linear system of partial differential equations define by themselves the very manifold on which they are supposed to exist. This is why a solution of Einstein's equations cannot be physically interpreted before its global behaviour is known, taking into account the entire hypothetical underlying manifold. In her youth, Yvonne Choquet-Bruhat contributed in a spectacular way to this domain stretching between physics and mathematics, when she gave the proof of the existence of solutions to Einstein's equations on differential manifolds of a quite general type. The methods she created have been worked out by the French school of mathematics, principally by Jean Leray. Her first proof of the local existence and uniqueness of solutions of Einstein's equations inspired Jean Leray's theory of general hyperbolic systems.

These proceedings collect the papers accepted for presentation at the bien nial IMA Conference on the Mathematics of Surfaces, held in the University of Cambridge, 4-7 September 2000. While there are many international con ferences in this fruitful borderland of mathematics, computer graphics and engineering, this is the oldest, the most frequent and the only one to concen trate on surfaces. Contributors to this volume come from twelve different countries in Eu rope, North America and Asia. Their contributions reflect the wide diversity of present-day applications which include modelling parts of the human body for medical purposes as well as the production of cars, aircraft and engineer ing components. Some applications involve design or construction of surfaces by interpolating or approximating data given at points or on curves. Others consider the problem of 'reverse engineering'-giving a mathematical descrip tion of an already constructed object. We are particularly grateful to Pamela Bye (at the Institue of Mathemat ics and its Applications) for help in making arrangements; Stephanie Harding and Karen Barker (at Springer Verlag, London) for publishing this volume and to Kwan-Yee Kenneth Wong (Cambridge) for his heroic help with com piling the proceedings and for dealing with numerous technicalities arising from large and numerous computer files. Following this Preface is a listing of the programme committee who with the help of their colleagues did much work in refereeing the papers for these proceedings.

In the framework of the Diderot Mathematical Forum (DMF) of the European Mathematical Society (EMS), December 19-20, 1997, a Videoconference was held linking three teams of specialists in Amsterdam, Madrid and Venice respectively. The general subject of this videoconference, the second one of the DMF series, was Mathematics and Environment and more specifically, Problems related to Water.

This volume contains the texts of the Madrid site contributions with important, new and unpublished, examples on the modeling, mathematical and numerical analysis and treatment of the associated control problems of relevant questions arising in Oceanography and Environment.

This book collects contributions to the conference" Dynamics, Bifurcation and Symmetry, new trends and new tools," which was held at the Institut d'Etudes Sci entifiques de Cargese (France), September 3-9, 1993. The first aim of this conference was to gather and summarize the work of the European Bifurcation Theory Group after two years of existence (the EBTG links european laboratories in five countries via an EC grant). Thanks to a NATO ARW grant, the conference developed into an international meeting on bifurcation theory and dynamical systems, with the partic ipation of leading specialists not only from Europe but also from overseas countries (Canada, USA, South America). It was a great satisfaction to notice the active, and quite enthusiastic participation of many young scientists. This is reflected in the present book for which many contributors are PhD students or post-doc researchers. Although several "big" themes (bifurcation with symmetry, low dimensional dynam ics, dynamics in EDP's, applications, . . . ) are present in these proceedings, we have divided the book into corresponding parts. In fact these themes overlap in most contributions, which seems to reflect a general tendancy in nonlinear science. I am very pleased to thank for their support the NATO International Exchange Scientific Program as well as the EEC Science Program, which made possible the suc cess of this conference."

Developments in both computer hardware and Perhaps the greatest impact has been felt by the software over the decades have fundamentally education community. Today, it is nearly changed the way people solve problems. impossible to find a college or university that has Technical professionals have greatly benefited not introduced mathematical computation in from new tools and techniques that have allowed some form, into the curriculum. Students now them to be more efficient, accurate, and creative have regular access to the amount of in their work. computational power that were available to a very exclusive set of researchers five years ago. This Maple V and the new generation of mathematical has produced tremendous pedagogical computation systems have the potential of challenges and opportunities. having the same kind of revolutionary impact as high-level general purpose programming Comparisons to the calculator revolution of the languages (e.g. FORTRAN, BASIC, C), 70's are inescapable. Calculators have application software (e.g. spreadsheets, extended the average person's ability to solve Computer Aided Design - CAD), and even common problems more efficiently, and calculators have had. Maple V has amplified our arguably, in better ways. Today, one needs at mathematical abilities: we can solve more least a calculator to deal with standard problems problems more accurately, and more often. In in life -budgets, mortgages, gas mileage, etc. specific disciplines, this amplification has taken For business people or professionals, the excitingly different forms.

This book explores new difference schemes for approximating the solutions of regular and singular perturbation boundary-value problems for PDEs. The construction is based on the exact difference scheme and Taylor's decomposition on the two or three points, which permits investigation of differential equations with variable coefficients and regular and singular perturbation boundary value problems.

In this monograph the theory and methods of solving inverse Stefan problems for quasilinear parabolic equations in regions with free boundaries are developed. The study of this new class of ill-posed problems is motivated by the needs of the mod eling and control of nonlinear processes with phase transitions in thermophysics and mechanics of continuous media. Inverse Stefan problems are important for the perfection of technologies both in high temperature processes (e.g., metallurgy, the aircraft industry, astronautics and power engineering) and in hydrology, exploitation of oil-gas fields, etc. The proposed book will complete a gap in these subjects in the preceding re searches of ill-posed problems. It contains the new theoretical and applied studies of a wide class of inverse Stefan problems. The statements of such problems on the determination of boundary functions and coefficients of the equation are considered for different types of additional information about their solution. The variational method of obtaining stable approximate solutions is proposed and established. It is implemented by an efficient computational scheme of descriptive regularization. This algorithm utilizes a priori knowledge of the qualitative structure of the sought solution and ensures a substantial saving in computational costs. It is tested on model and applied problems in nonlinear thermophysics. In particular, the results of calculations for important applications in continuous casting of ingots and in the melting of a plate with the help of laser technology are presented."

Techniques of optimization are applied in many problems in economics, automatic control, engineering, etc. and a wealth of literature is devoted to this subject. The first computer applications involved linear programming problems with simp- le structure and comparatively uncomplicated nonlinear pro- blems: These could be solved readily with the computational power of existing machines, more than 20 years ago. Problems of increasing size and nonlinear complexity made it necessa- ry to develop a complete new arsenal of methods for obtai- ning numerical results in a reasonable time. The lineariza- tion method is one of the fruits of this research of the last 20 years. It is closely related to Newton's method for solving systems of linear equations, to penalty function me- thods and to methods of nondifferentiable optimization. It requires the efficient solution of quadratic programming problems and this leads to a connection with conjugate gra- dient methods and variable metrics. This book, written by one of the leading specialists of optimization theory, sets out to provide - for a wide readership including engineers, economists and optimization specialists, from graduate student level on - a brief yet quite complete exposition of this most effective method of solution of optimization problems.

In the study of integrable systems, two different approaches in particular have attracted considerable attention during the past twenty years. (1) The inverse scattering transform (IST), using complex function theory, which has been employed to solve many physically significant equations, the `soliton' equations. (2) Twistor theory, using differential geometry, which has been used to solve the self-dual Yang--Mills (SDYM) equations, a four-dimensional system having important applications in mathematical physics. Both soliton and the SDYM equations have rich algebraic structures which have been extensively studied. Recently, it has been conjectured that, in some sense, all soliton equations arise as special cases of the SDYM equations; subsequently many have been discovered as either exact or asymptotic reductions of the SDYM equations. Consequently what seems to be emerging is that a natural, physically significant system such as the SDYM equations provides the basis for a unifying framework underlying this class of integrable systems, i.e. `soliton' systems. This book contains several articles on the reduction of the SDYM equations to soliton equations and the relationship between the IST and twistor methods. The majority of nonlinear evolution equations are nonintegrable, and so asymptotic, numerical perturbation and reduction techniques are often used to study such equations. This book also contains articles on perturbed soliton equations. Painleve analysis of partial differential equations, studies of the Painleve equations and symmetry reductions of nonlinear partial differential equations. (ABSTRACT) In the study of integrable systems, two different approaches in particular have attracted considerable attention during the past twenty years; the inverse scattering transform (IST), for `soliton' equations and twistor theory, for the self-dual Yang--Mills (SDYM) equations. This book contains several articles on the reduction of the SDYM equations to soliton equations and the relationship between the IST and twistor methods. Additionally, it contains articles on perturbed soliton equations, Painleve analysis of partial differential equations, studies of the Painleve equations and symmetry reductions of nonlinear partial differential equations.

This book contains 50 papers from among the 95 papers presented at the Seventh International Conference on Fibonacci Numbers and Their Applications which was held at the Institut Fiir Mathematik, Technische Universitiit Graz, Steyrergasse 30, A-SOlO Graz, Austria, from July 15 to July 19, 1996. These papers have been selected after a careful review by well known referees in the field, and they range from elementary number theory to probability and statistics. The Fibonacci numbers and recurrence relations are their unifying bond. It is anticipated that this book, like its six predecessors, will be useful to research workers and graduate students interested in the Fibonacci numbers and their applications. September 1, 1997 The Editors Gerald E. Bergum South Dakota State University Brookings, South Dakota, U. S. A. Alwyn F. Horadam University of New England Armidale, N. S. W. , Australia Andreas N. Philippou House of Representatives Nicosia, Cyprus xxvii THE ORGANIZING COMMITTEES LOCAL COMMITTEE INTERNATIONAL COMMITTEE Tichy, Robert, Chairman Horadam, A. F. (Australia), Co-Chair Prodinger, Helmut, Co-Chairman Philippou, A. N. (Cyprus), Co-Chair Grabner, Peter Bergurt:t, G. E. (U. S. A. ) Kirschenhofer, Peter Filipponi, P. (Italy) Harborth, H. (Germany) Horibe, Y. (Japan) Johnson, M. (U. S. A. ) Kiss, P. (Hungary) Phillips, G. M. (Scotland) Turner, J. (New Zealand) Waddill, M. E. (U. S. A. ) xxix LIST OF CONTRIBUTORS TO THE CONFERENCE *ADELBERG, ARNOLD, "Higher Order Bernoulli Polynomials and Newton Polygons. " AMMANN, ANDRE, "Associated Fibonacci Sequences. " *ANDERSON, PETER G. , "The Fibonacci Shuffle Tree.

Reversible grammar allows computational models to be built that are equally well suited for the analysis and generation of natural language utterances. This task can be viewed from very different perspectives by theoretical and computational linguists, and computer scientists. The papers in this volume present a broad range of approaches to reversible, bi-directional, and non-directional grammar systems that have emerged in recent years. This is also the first collection entirely devoted to the problems of reversibility in natural language processing. Most papers collected in this volume are derived from presentations at a workshop held at the University of California at Berkeley in the summer of 1991 organised under the auspices of the Association for Computational Linguistics. This book will be a valuable reference to researchers in linguistics and computer science with interests in computational linguistics, natural language processing, and machine translation, as well as in practical aspects of computability.

One service methematics has rendered 'Et moi, ..., si j'avait su comment en revenir, je n'y serais point alle.' the human race. It has put common sense JulesVerne back where it belongs, on the topmost shelf next to the dusty canister labelled The series is divergent; therefore we may 'discarded nonsecse'. be able to do something with it. Eric T. Bell O.Heaviside Mathematics is a tool for thought. A highly necessary tool in a world where both feedback and nonlinearities abound. Similarly, all kinds of parts of mathematics serve as tools for other parts and for other sciences. Applying a simple rewriting rule to the quote on the right above one finds such statements as: 'One service topology has rendered mathematical physics ... '; 'One service logic has rendered computer science ... '; 'One service category theory has rendered mathematics ... '. All arguable true. And all statements obtainable this way form part of the raison d'etre of this series.

This special volume focuses on optimization and control of processes governed by partial differential equations. The contributors are mostly participants of the DFG-priority program 1253: Optimization with PDE-constraints which is active since 2006. The book is organized in sections which cover almost the entire spectrum of modern research in this emerging field. Indeed, even though the field of optimal control and optimization for PDE-constrained problems has undergone a dramatic increase of interest during the last four decades, a full theory for nonlinear problems is still lacking. The contributions of this volume, some of which have the character of survey articles, therefore, aim at creating and developing further new ideas for optimization, control and corresponding numerical simulations of systems of possibly coupled nonlinear partial differential equations. The research conducted within this unique network of groups in more than fifteen German universities focuses on novel methods of optimization, control and identification for problems in infinite-dimensional spaces, shape and topology problems, model reduction and adaptivity, discretization concepts and important applications. Besides the theoretical interest, the most prominent question is about the effectiveness of model-based numerical optimization methods for PDEs versus a black-box approach that uses existing codes, often heuristic-based, for optimization.

The International Symposium on Computational & Applied PDEs was held at Zhangjiajie National Park of China from July 1-7, 2001. The main goal of this conference is to bring together computational, applied and pure mathematicians on different aspects of partial differential equations to exchange ideas and to promote collaboration. Indeed, it attracted a number of leading scientists in computational PDEs including Doug Arnold (Minnesota), Jim Bramble (Texas A & M), Achi Brandt (Weizmann), Franco Brezzi (Pavia), Tony Chan (UCLA), Shiyi Chen (John Hopkins), Qun Lin (Chinese Academy of Sciences), Mitch Luskin (Minnesota), Tom Manteuffel (Colorado), Peter Markowich (Vienna), Mary Wheeler (Texas Austin) and Jinchao Xu (Penn State); in applied and theoretical PDEs including Weinan E (Princeton), Shi Jin (Wisconsin), Daqian Li (Fudan) and Gang Tian (MIT). It also drew an international audience of size 100 from Austria, China, Germany, Hong Kong, Iseael, Italy, Singapore and the United States. The conference was organized by Yunqing Huang of Xiangtan University, Jinchao Xu of Penn State University, and Tony Chan of UCLA through ICAM (Institute for Computational and Applied Mathematics) of Xiangtan university which was founded in January 1997 and directed by Jinchao Xu. The scientific committee of this conference consisted of Randy Bank of UCSD, Tony Chan of UCLA, K. C.

Drug research and discovery are of critical importance in human health care. Computational approaches for drug lead discovery and optimization have proven successful in many recent research programs. These methods have grown in their effectiveness not only because of improved understanding of the basic science - the biological events and molecular interactions that define a target for therapeutic intervention - but also because of advances in algorithms, representations, and mathematical procedures for studying such processes. This volume surveys some of those advances. A broad landscape of high-profile topics in computer-assisted molecular design (CAMD) directed to drug design are included. Subject areas represented in the volume include receptor-based applications such as binding energy approximations, molecular docking, and de novo design; non-receptor-based applications such as molecular similarity; molecular dynamics simulations; solvation and partitioning of a solute between aqueous and nonpolar media; graph theory; non-linear multidimensional optimization, processing of information obtained from simulation studies, global optimization and search strategies, and performance enhancement through parallel computing.

This book focuses on the topics which provide the foundation for practicing engineering mathematics: ordinary differential equations, vector calculus, linear algebra and partial differential equations. Destined to become the definitive work in the field, the book uses a practical engineering approach based upon solving equations and incorporates computational techniques throughout.

This volume contains the proceedings of the Second International Workshop on Optimal Design and Control, held in Arlington, Virginia, 30 September-3 Octo ber, 1997. The First Workshop was held in Blacksburg, Virginia in 1994. The proceedings of that meeting also appeared in the Birkhauser series on Progress in Systems and Control Theory and may be obtained through Birkhauser. These workshops were sponsored by the Air Force Office of Scientific Re search through the Center for Optimal Design and Control (CODAC) at Vrrginia Tech. The meetings provided a forum for the exchange of new ideas and were designed to bring together diverse viewpoints and to highlight new applications. The primary goal of the workshops was to assess the current status of research and to analyze future directions in optimization based design and control. The present volume contains the technical papers presented at the Second Workshop. More than 65 participants from 6 countries attended the meeting and contributed to its success. It has long been recognized that many modern optimal design problems are best viewed as variational and optimal control problems. Indeed, the famous problem of determining the body of revolution that produces a minimum drag nose shape in hypersonic How was first proposed by Newton in 1686. Optimal control approaches to design can provide theoretical and computational insight into these problems. This volume contains a number of papers which deal with computational aspects of optimal control.

This book presents a substantial part of matrix analysis that is functional analytic in spirit. Topics covered include the theory of majorization, variational principles for eigenvalues, operator monotone and convex functions, and perturbation of matrix functions and matrix inequalities. The book offers several powerful methods and techniques of wide applicability, and it discusses connections with other areas of mathematics.

Presents a discrete in time-space universal map of relative dynamics that is used to unfold an extensive catalogue of dynamic events not previously discussed in mathematical or social science literature. With emphasis on the chaotic dynamics that may ensue, the book describes the evolution on the basis of temporal and locational advantages. It explains nonlinear discrete time dynamic maps primarily through numerical simulations. These very rich qualitative dynamics are linked to evolution processes in socio-spatial systems. Important features include: The analytical properties of the one-stock, two- and three-location map; the numerical results from the one- and two-stock, two- and three-location dynamics; and the demonstration of the map's potential applicability in the social sciences through simulating population dynamics of the U.S. Regions over a two-century period. In addition, this book includes new findings: the Hopf equivalent discrete time dynamics bifurcation; the Feigenbaum slope-sequences; the presence of strange local attractors and containers; switching of extreme states; the presence of different types of turbulence; local and global turbulence. Intended for researchers and advanced graduate students in applied mathematics and an interest in dynamics and chaos. Mathematical social scientists in many other fields will also find this book useful.

Since the original publication of this book, available computer power has increased greatly. Today, scientific computing is playing an ever more prominent role as a tool in scientific discovery and engineering analysis. In this second edition, the key addition is an introduction to the finite element method. This is a widely used technique for solving partial differential equations (PDEs) in complex domains. This text introduces numerical methods and shows how to develop, analyze, and use them. Complete MATLAB programs for all the worked examples are now available at www.cambridge.org/Moin, and more than 30 exercises have been added. This thorough and practical book is intended as a first course in numerical analysis, primarily for new graduate students in engineering and physical science. Along with mastering the fundamentals of numerical methods, students will learn to write their own computer programs using standard numerical methods.