الصفحة 9
الصفحة 9
Essays in Constructive Mathematics
This book aims to promote constructive mathematics, not by defining it or formalizing it, but by practicing it, by basing all definitions and proofs on finite algorithms. The topics covered derive from classic works of nineteenth century mathematics---among them Galois' theory of algebraic equations, Gauss's theory of binary quadratic forms and Abel's theorem about integrals of rational differentials on algebraic curves. It is not surprising that the first two topics can be treated constructively---although the constructive treatments shed a surprising amount of light on them---but the last topic, involving integrals and differentials as it does, might seem to call for infinite processes. In this case too, however, finite algorithms suffice to define the genus of an algebraic curve, to prove that birationally equivalent curves have the same genus, and to prove the Riemann-Roch theorem. The main algorithm in this case is Newton's polygon, which is given a full treatment. Other topics covered include the fundamental theorem of algebra, the factorization of polynomials over an algebraic number field, and the spectral theorem for symmetric matrices.
Error-Correcting Linear Codes : Classification by Isometry and Applications
This text offers a thorough introduction to the mathematical concepts behind the theory of error-correcting linear codes. Care is taken to introduce the necessary algebraic concepts, for instance the theory of finite fields, the polynomial rings over such fields and the ubiquitous concept of group actions that allows the classification of codes by isometry. The book provides in-depth coverage of important topics like cyclic codes and the coding theory used in compact disc players. The final four chapters cover advanced and algorithmic topics like the classification of linear codes by isometry, the enumeration of isometry classes, random generation of codes, the use of lattice basis reduction to compute minimum distances, the explicit construction of codes with given parameters, as well as the systematic evaluation of representatives of all isometry classes of codes.
Equidistribution in Number Theory, An Introduction
This volume presents details of the lecture series that were given at the school. Across the broad panorama of topics that constitute modern number t- ory one nds shifts of attention and focus as more is understood and better questions are formulated. Over the last decade or so we have noticed incre- ing interest being paid to distribution problems, whether of rational points, of zeros of zeta functions, of eigenvalues, etc. Although these problems have been motivated from very di?erent perspectives, one nds that there is much in common, and presumably it is healthy to try to view such questions as part of a bigger subject.
Enumerative Invariants in Algebraic Geometry and String Theory : Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy June 6–11, 2005
Starting in the middle of the 80s, there has been a growing and fruitful interaction between algebraic geometry and certain areas of theoretical high-energy physics, especially the various versions of string theory. Physical heuristics have provided inspiration for new mathematical definitions (such as that of Gromov-Witten invariants) leading in turn to the solution of problems in enumerative geometry. Conversely, the availability of mathematically rigorous definitions and theorems has benefited the physics research by providing the required evidence in fields where experimental testing seems problematic. The aim of this volume, a result of the CIME Summer School held in Cetraro, Italy, in 2005, is to cover part of the most recent and interesting findings in this subject.
Engineering theories of software intensive systems : Theory, algorithms, software, and applications
Software engineering has over the years been applied in many different fields, ranging from telecommunications to embedded systems in car and aircraft industry as well as in production engineering and computer networks. Foundations in software technology lie in models allowing to capture application domains, detailed requirements, but also to understand the structure and working of software systems like software architectures and programs. These models have to be expressed in techniques based on discrete mathematics, algebra and logics. However, according to the very specific needs in applications of software technology, formal methods have to serve the needs and the quality of advanced software engineering methods, especially taking into account security aspects in Information Technology. This book presents mathematical foundations of software engineering and state-of-the-art engineering methods in their theoretical substance in the step towards practical applications to examine software engineering techniques and foundations used for industrial tasks.
Encyclopaedia of the History of Science, Technology, and Medicine in Non-Western Cultures
The second edition of this landmark encyclopaedia will contain approximately 1000 entries dealing in depth with the history of the scientific, technological and medical accomplishments of cultures outside of the United States and Europe. The entries consist of fully updated articles together with hundreds of entirely new topics.This unique reference work includes: Intercultural articles on broad topics such as Mathematics and Astronomy Philosophical articles on concepts and ideas related to the study of non-Western Science, such as Rationality, Objectivity, and Method, Religion and Science, East and West, and Magic and Science Articles on topics such as Native American Mathematics, Polynesian Navigation, Korean Maps, and African Metallurgy Biographical articles for those cultures where individual scientists are known to us, such as China and the Islamic world.
Emergent Properties in Natural and Artificial Dynamical Systems
An important part of the science of complexity is the study of emergent properties arising through dynamical processes in various types of natural and artificial systems. This is the aim of this book, which is the outcome of a discussion meeting within the first European conference on complex systems. It presents multidisciplinary approaches for getting representations of complex systems and using different methods to extract emergent structures. This carefully edited book studies emergent features such as self organization, synchronization, opening on stability and robustness properties. Invariant techniques are presented which can express global emergent properties in dynamical and in temporal evolution systems. This book demonstrates how artificial systems such as a distributed platform can be used for simulation used to search emergent placement during simulation execution.
Elliptic Theory and Noncommutative Geometry : Nonlocal Elliptic Operators
This comprehensive yet concise book deals with nonlocal elliptic differential operators, whose coefficients involve shifts generated by diffeomorophisms of the manifold on which the operators are defined. The main goal of the study is to relate analytical invariants (in particular, the index) of such elliptic operators to topological invariants of the manifold itself. This problem can be solved by modern methods of noncommutative geometry. This is the first and so far the only book featuring a consistent application of methods of noncommutative geometry to the index problem in the theory of nonlocal elliptic operators. Although the book provides important results, which are in a sense definitive, on the above-mentioned topic, it contains all the necessary preliminary material, such as C*-algebras and their K-theory or cyclic homology.
Elements of Mathematics : Lie Groups and Lie Algebras
Provide a formal, systematic presentation of mathematics from their beginning. This volume concludes the book on Lie Groups and Lie Algebras by covering the structure and representation theory of semi-simple Lie algebras and compact Lie groups. It contains the following chapters: 7. Cartan Subalgebras and Regular Elements / 8. Split Semi-Simple Lie Algebras / 9. Compact Real Lie Groups
Eléments dhistoire des mathématiques = Elements of the history of mathematics
Brings together the historical notes published in the various books of mathematics elements by the author. They therefore concern all the matters covered in this treaty: set theory, algebra, topology, functions of a variable real, topological vector spaces, integration, commutative algebra, groups and Lie algebras. Composed of initially separate studies, this work does not claim to sketch a followed and complete history of development of mathematics. The interweaving of the different themes and the unity of the point of view ensure the deep consistency.
Elementary linear algebra applications version
Gives an elementary treatment of linear algebra that is suitable for a first course for undergraduate students. The aim is to present the fundamentals of linear algebra in the clearest possible way; pedagogy is the main consideration. Calculus is not a prerequisite, but there are clearly labeled exercises and examples (which can be omitted without loss of continuity) for students who have studied calculus.
Elementary linear algebra
Gives an elementary treatment of linear algebra that is suitable for a first course for undergraduate students. The aim is to present the fundamentals of linear algebra in the clearest possible way; pedagogy is the main consideration. Calculus is not a prerequisite, but there are clearly labeled exercises and examples (which can be omitted without loss of continuity) for students who have studied calculus.
Elasticity and Plasticity of Large Deformations : An Introduction
The book presents in detail the used mathematical tools, such as tensor algebra and analysis. The general theory of mechanical behavior is particularized for the broad and important classes of elasticity and plasticity. The book is intended to bring the reader close to the fields of today's research activities. A list of notations and an index help the reader to find specific topics.
Elasticity and Plasticity of Large Deformations : An Introduction
The book offers a careful introduction to modern non-linear mechanics. The used mathematical tools, such as tensor algebra and analysis are given in detail. The general theory of mechanical behaviour is particularized for the broad and important classes of elasticity and plasticity. It is intended to bring the reader close to the fields of today's research activities. A list of notations and an index help the reader to find specific topics. The book is based on three decades of teaching experience in this field.
Effective Computational Geometry for Curves and Surfaces
Computational geometry emerged as a discipline in the seventies and has had considerable success in improving the asymptotic complexity of the solutions to basic geometric problems including constructions of data structures,convex hulls, triangulations, Voronoi diagrams and geometric arrangements as well as geometric optimisation. The goal of this book is to take into consideration the multidisciplinary nature of the problem and to provide solid mathematical and algorithmic foundations for effiective computational geometry fo rcurves and surfaces. This book covers two main approaches. In a first part, we discuss exact geometric algorithms for curves and s- faces. We revisit two prominent data structures of computational geometry, namely arrangements (Chap. 1) and Voronoi diagrams (Chap. 2) in order to understand how these structures, which are well-known for linear objects, behave when de?ned on curved objects.
Educational Algebra : A Theoretical and Empirical Approach
Educational Algebra: A Theoretical and Empirical Approach adds to previous developments with priority given to a pragmatic perspective on "meaning in use" over "formal meaning". The bulk of these approaches and others of similar nature have lead to a focus on competence rather than on a user’s activity with mathematical language. Such a shift in perspective has fundamental implications on the way mathematical language is studied. Essentially, Grammar—the abstract formal system—and Pragmatics—the principles of the use of language—are complementary domains in this volume. Both are related to different teaching models, whether new or traditional, used in helping students to become competent users of Algebra.
Dynamical Systems with Applications Using Mathematica®
Dynamical Systems with Applications using Mathematica® provides an introduction to the theory of dynamical systems with the aid of the Mathematica computer algebra package. The book has a very hands-on approach and takes the reader from basic theory to recently published research material.
Dynamical Entropy in Operator Algebras
The book including quantum dynamical systems and applications of operator algebras and ergodic theory. Although the authors assume a basic knowledge of operator algebras, they give precise definitions of the notions and in most cases complete proofs of the results which are used.
Dynamic brain : From neural spikes to behaviors ; 12th International Summer School on Neural Networks, Erice, Italy, December 5-12, 2007, Revised Lectures
The volume presents 12 thoroughly revised tutorial papers based on lectures given by leading researchers at the 12th International Summer School on Neural Networks in Erice, Italy, in December 2007.
Dualisability : Unary Algebras and Beyond
Natural duality theory is one of the major growth areas within general algebra. This text provides a short path to the forefront of research in duality theory. It presents a coherent approach to new results in the area, as well as exposing open problems. Unary algebras play a special role throughout the text. Individual unary algebras are relatively simple and easy to work with. But as a class they have a rich and complex entanglement with dualisability. This combination of local simplicity and global complexity ensures that, for the study of natural duality theory, unary algebras are an excellent source of examples and counterexamples.
