You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
These notes are the result of a course in dynamical systems given at Orsay during the 1976-77 academic year. I had given a similar course at the Gradu ate Center of the City University of New York the previous year and came to France equipped with the class notes of two of my students there, Carol Hurwitz and Michael Maller. My goal was to present Smale's n-Stability Theorem as completely and compactly as possible and in such a way that the students would have easy access to the literature. I was not confident that I could do all this in lectures in French, so I decided to distribute lecture notes. I wrote these notes in English and Remi Langevin translated them into French. His work involve...
Based on the subjects from the Clay Mathematics Institute/Mathematical Sciences Research Institute Workshop titled 'Recent Progress in Dynamics' in September and October 2004, this volume contains surveys and research articles by leading experts in several areas of dynamical systems that have experienced substantial progress. One of the major surveys is on symplectic geometry, which is closely related to classical mechanics and an exciting addition to modern geometry. The survey on local rigidity of group actions gives a broad and up-to-date account of another flourishing subject. Other papers cover hyperbolic, parabolic, and symbolic dynamics as well as ergodic theory. Students and researchers in dynamical systems, geometry, and related areas will find this book fascinating. The book also includes a fifty-page commented problem list that takes the reader beyond the areas covered by the surveys, to inspire and guide further research.
This volume is composed of six contributions derived from the lectures given during the UIMP-RSME Lluis Santalo Summer School on ``Recent Advances in Real Complexity and Computation'', held July 16-20, 2012, in Santander, Spain. The goal of this Summer School was to present some of the recent advances on Smale's 17th Problem: ``Can a zero of $n$ complex polynomial equations in $n$ unknowns be found approximately, on the average, in polynomial time with a uniform algorithm?'' These papers cover several aspects of this problem: from numerical to symbolic methods in polynomial equation solving, computational complexity aspects (both worse and average cases and both upper and lower complexity bounds) as well as aspects of the underlying geometry of the problem. Some of the contributions also deal with either real or multiple solutions solving.
The classical theory of computation has its origins in the work of Goedel, Turing, Church, and Kleene and has been an extraordinarily successful framework for theoretical computer science. The thesis of this book, however, is that it provides an inadequate foundation for modern scientific computation where most of the algorithms are real number algorithms. The goal of this book is to develop a formal theory of computation which integrates major themes of the classical theory and which is more directly applicable to problems in mathematics, numerical analysis, and scientific computing. Along the way, the authors consider such fundamental problems as: * Is the Mandelbrot set decidable? * For s...
A collection of essays celebrating the influence of Alan Turing's work in logic, computer science and related areas.
This work brings together two streams in computer algebra: symbolic integration and summation on the one hand, and fast algorithmics on the other hand. In many algorithmically oriented areas of computer science, theanalysisof- gorithms–placedintothe limelightbyDonKnuth’stalkat the 1970ICM –provides a crystal-clear criterion for success. The researcher who designs an algorithmthat is faster (asymptotically, in the worst case) than any previous method receives instant grati?cation: her result will be recognized as valuable. Alas, the downside is that such results come along quite infrequently, despite our best efforts. An alternative evaluation method is to run a new algorithm on example...
This invaluable book contains the collected papers of Stephen Smale. These are divided into eight groups: topology; calculus of variations; dynamics; mechanics; economics; biology, electric circuits and mathematical programming; theory of computation; miscellaneous. In addition, each group contains one or two articles by world leaders on its subject which comment on the influence of Smale's work, and another article by Smale with his own retrospective views.
None
The classical theory of computation has been a successful framework for theoretical computer science. The thesis of this book, however, is that it provides an inadequate foundation for modern scientific computation where most of the algorithms are real number algorithms.