Routledge Library Editions: The City reprints some of the most important works in urban studies published in the last century. For further information on this collection please email [email protected].

This book was first published in 1970.

It is because mathematics is often misunderstood, it is commonly believed it has nothing to say about politics. The high school experience with mathematics, for so many the lasting impression of the subject, suggests that mathematics is the study of numbers, operations, formulas, and manipulations of symbols. Those believing this is the extent of mathematics might conclude mathematics has no relevance to politics. This book counters this impression. The second edition of this popular book focuses on mathematical reasoning about politics. In the search for ideal ways to make certain kinds of decisions, a lot of wasted effort can be averted if mathematics can determine that finding such an ideal is actually impossible in the first place. In the first three parts of this book, we address the following three political questions: (1) Is there a good way to choose winners of elections? (2) Is there a good way to apportion congressional seats? (3) Is there a good way to make decisions in situations of conflict and uncertainty? In the fourth and final part of this book, we examine the Electoral College system that is used in the United States to select a president. There we bring together ideas that are introduced in each of the three earlier parts of the book.

Linear algebra and matrix theory are among the most important and most frequently applied branches of mathematics. They are especially important in solving engineering and economic models, where either the model is assumed linear, or the nonlinear model is approximated by a linear model, and the resulting linear model is examined.This book is mainly a textbook, that covers a one semester upper division course or a two semester lower division course on the subject.The second edition will be an extended and modernized version of the first edition. We added some new theoretical topics and some new applications from fields other than economics. We also added more difficult exercises at the end of each chapter which require deep understanding of the theoretical issues. We also modernized some proofs in the theoretical discussions which give better overview of the study material. In preparing the manuscript we also corrected the typos and errors, so the second edition will be a corrected, extended and modernized new version of the first edition.

This book explores how different social psychology theories and concepts can be applied to practice. Considering theories from attribution theory to coercion theory, social identity theories to ostracism, the authors offer a greater understanding and appreciation of the ways in which social psychology can contribute to forensic practice. The book argues that social psychology is useful for carrying out assessments (including risk assessments), formulations, and interventions with clients in forensic settings, as well as for psychological consultation, training, and the development of services. These theories are also important when understanding multi-disciplinary and multi-agency working, staff-client relationships, and peer-to-peer relationships. Through illustrative composite case examples, taken from the authors' experiences in forensic settings, the chapters demonstrate effective ways to pursue a theoretically informed practice. Exploring a broad range of theories and a timely topic, Social Psychology in Forensic Practice will interest a wide readership including graduate and undergraduate students and researchers in criminology, sociology, and forensic, social and clinical psychology. It will also be of practical use to health professionals and non-health professionals working in forensic settings as well as policy makers and others commissioning forensic services.

In the summer of 1991 the Department of Mathematics and Statistics of the Universite de Montreal was fortunate to host the NATO Advanced Study Institute "Algebras and Orders" as its 30th Seminaire de mathematiques superieures (SMS), a summer school with a long tradition and well-established reputation. This book contains the contributions of the invited speakers. Universal algebra- which established itself only in the 1930's- grew from traditional algebra (e.g., groups, modules, rings and lattices) and logic (e.g., propositional calculus, model theory and the theory of relations). It started by extending results from these fields but by now it is a well-established and dynamic discipline in its own right. One of the objectives of the ASI was to cover a broad spectrum of topics in this field, and to put in evidence the natural links to, and interactions with, boolean algebra, lattice theory, topology, graphs, relations, automata, theoretical computer science and (partial) orders. The theory of orders is a relatively young and vigorous discipline sharing certain topics as well as many researchers and meetings with universal algebra and lattice theory. W. Taylor surveyed the abstract clone theory which formalizes the process of compos ing operations (i.e., the formation of term operations) of an algebra as a special category with countably many objects, and leading naturally to the interpretation and equivalence of varieties."

This volume presents the core of invited expository lectures given at the 1993 NATO ASI held at the University of York. The subject matter of the ASI was the interplay between automata, semigroups, formal languages and groups. The invited talks were of an introductory nature but at a high level and many reached the cutting edge of research in the area. The lectures were given to a mixed group of students and specialists and were designed to be accessible to a broad audience. The papers were written in a similar spirit in the hope that their readership will be as wide as possible. With one exception they are all based on the talks which the lecturers gave at the meeting. The exception is caused by the fact that due to unanticipated progress the topic of John Rhodes' talk is now in such a state of flux that it has not been possible to produce a paper giving a clear picture of the situation. However, we do include an article by a member of the "Rhodes school" , namely Christopher Nehaniv, expanding on a contributed talk he gave. It generalizes the celebrated Krohn-Rhodes theorem for finite semigroups to all semigroups. For many years there has been a strong link between formal language theory and the theory of semigroups. Each subject continues to influence the other.

Kaye Stacey' Helen Chick' and Margaret Kendal The University of Melbourne' Australia Abstract: This section reports on the organisation' procedures' and publications of the ICMI Study' The Future of the Teaching and Learning of Algebra. Key words: Study Conference' organisation' procedures' publications The International Commission on Mathematical Instruction (ICMI) has' since the 1980s' conducted a series of studies into topics of particular significance to the theory and practice of contemporary mathematics education. Each ICMI Study involves an international seminar' the "Study Conference"' and culminates in a published volume intended to promote and assist discussion and action at the international' national' regional' and institutional levels. The ICMI Study running from 2000 to 2004 was on The Future of the Teaching and Learning of Algebra' and its Study Conference was held at The University of Melbourne' Australia fromDecember to 2001. It was the first study held in the Southern Hemisphere. There are several reasons why the future of the teaching and learning of algebra was a timely focus at the beginning of the twenty first century. The strong research base developed over recent decades enabled us to take stock of what has been achieved and also to look forward to what should be done and what might be achieved in the future. In addition' trends evident over recent years have intensified. Those particularly affecting school mathematics are the "massification" of education-continuing in some countries whilst beginning in others-and the advance of technology.

This book is a basic reference in the modern theory of holomorphic foliations, presenting the interplay between various aspects of the theory and utilizing methods from algebraic and complex geometry along with techniques from complex dynamics and several complex variables. The result is a solid introduction to the theory of foliations, covering basic concepts through modern results on the structure of foliations on complex projective spaces.

A modern approach to number theory through a blending of complementary algebraic and analytic perspectives, emphasising harmonic analysis on topological groups. The main goal is to cover John Tates visionary thesis, giving virtually all of the necessary analytic details and topological preliminaries -- technical prerequisites that are often foreign to the typical, more algebraically inclined number theorist. While most of the existing treatments of Tates thesis are somewhat terse and less than complete, the intent here is to be more leisurely, more comprehensive, and more comprehensible. While the choice of objects and methods is naturally guided by specific mathematical goals, the approach is by no means narrow. In fact, the subject matter at hand is germane not only to budding number theorists, but also to students of harmonic analysis or the representation theory of Lie groups. The text addresses students who have taken a year of graduate-level course in algebra, analysis, and topology. Moreover, the work will act as a good reference for working mathematicians interested in any of these fields.

This book is a study in economic geography, treated historically. Its primary purpose is to describe and explain the industrial geography of London since 1861, using the most recent statistics available for that purpose, noting that this work was originally published in 1962.

The modern theory of Kleinian groups starts with the work of Lars Ahlfors and Lipman Bers; specifically with Ahlfors' finiteness theorem, and Bers' observation that their joint work on the Beltrami equation has deep implications for the theory of Kleinian groups and their deformations. From the point of view of uniformizations of Riemann surfaces, Bers' observation has the consequence that the question of understanding the different uniformizations of a finite Riemann surface poses a purely topological problem; it is independent of the conformal structure on the surface. The last two chapters here give a topological description of the set of all (geometrically finite) uniformizations of finite Riemann surfaces. We carefully skirt Ahlfors' finiteness theorem. For groups which uniformize a finite Riemann surface; that is, groups with an invariant component, one can either start with the assumption that the group is finitely generated, and then use the finiteness theorem to conclude that the group represents only finitely many finite Riemann surfaces, or, as we do here, one can start with the assumption that, in the invariant component, the group represents a finite Riemann surface, and then, using essentially topological techniques, reach the same conclusion. More recently, Bill Thurston wrought a revolution in the field by showing that one could analyze Kleinian groups using 3-dimensional hyperbolic geome try, and there is now an active school of research using these methods."

* Examines fragments of real multimodal communication, which provides insights on the universal mechanisms and devices of power and social influence * Enhances the readers awareness of how people may use multimodal communication to achieve and maintain power, and of how, by their own body, they may influence others and defend themselves from their influence, making this essential reading for students and academics * Refers to a variety of contexts in which communication is used and adapted, including in everyday life, at work, at school, and in politics to show the similarities and differences in these environments

Fraleigh and Beauregard's text is known for its clear presentation and writing style, mathematical appropriateness, and overall student usability. Its inclusion of calculus-related examples, true/false problems, section summaries, integrated applications, and coverage of Cn make it a superb text for the sophomore or junior-level linear algebra course. This Third Edition retains the features that have made it successful over the years, while addressing recent developments of how linear algebra is taught and learned. Key concepts are presented early on, with an emphasis on geometry.

This volume contains the latest developments in the use of iterative methods to block Toeplitz systems. These systems arise in a variety of applications in mathematics, scientific computing, and engineering, such as image processing, numerical differential equations and integral equations, time series analysis, and control theory. Iterative methods such as Krylov subspace methods and multigrid methods are proposed to solve block Toeplitz systems. One of the main advantages of these iterative methods is that the operation cost of solving a large class of mn x mn block Toeplitz systems only requires O (mn log mn) operations.

This book is the first book on Toeplitz iterative solvers and it includes recent research results. The author belongs to one of the most important groups in the field of structured matrix computation. The book is accessible to readers with a working knowledge of numerical linear algebra. It should be of interest to everyone who deals with block Toeplitz systems, numerical linear algebra, partial differential equations, ordinary differential equations, image processing, and approximation theory. "

To construct a compiler for a modern higher-level programming languagel one needs to structure the translation to a machine-like intermediate language in a way that reflects the semantics of the language. little is said about such struc turing in compiler texts that are intended to cover a wide variety of program ming languages. More is said in the Iiterature on semantics-directed compiler construction [1] but here too the viewpoint is very general (though limited to 1 languages with a finite number of syntactic types). On the other handl there is a considerable body of work using the continuation-passing transformation to structure compilers for the specific case of call-by-value languages such as SCHEME and ML [21 3]. ln this paperl we will describe a method of structuring the translation of ALGOL-like languages that is based on the functor-category semantics devel oped by Reynolds [4] and Oles [51 6]. An alternative approach using category theory to structure compilers is the early work of F. L. Morris [7]1 which anticipates our treatment of boolean expressionsl but does not deal with procedures. 2 Types and Syntax An ALGOL-like language is a typed lambda calculus with an unusual repertoire of primitive types. Throughout most of this paper we assume that the primi tive types are comm(and) int(eger)exp(ression) int(eger)acc(eptor) int(eger)var(iable) I and that the set 8 of types is the least set containing these primitive types and closed under the binary operation -.

This book is intended as an introductory text on the subject of Lie groups and algebras and their role in various fields of mathematics and physics. It is written by and for researchers who are primarily analysts or physicists, not algebraists or geometers. Not that we have eschewed the algebraic and geo metric developments. But we wanted to present them in a concrete way and to show how the subject interacted with physics, geometry, and mechanics. These interactions are, of course, manifold; we have discussed many of them here-in particular, Riemannian geometry, elementary particle physics, sym metries of differential equations, completely integrable Hamiltonian systems, and spontaneous symmetry breaking. Much ofthe material we have treated is standard and widely available; but we have tried to steer a course between the descriptive approach such as found in Gilmore and Wybourne, and the abstract mathematical approach of Helgason or Jacobson. Gilmore and Wybourne address themselves to the physics community whereas Helgason and Jacobson address themselves to the mathematical community. This book is an attempt to synthesize the two points of view and address both audiences simultaneously. We wanted to present the subject in a way which is at once intuitive, geometric, applications oriented, mathematically rigorous, and accessible to students and researchers without an extensive background in physics, algebra, or geometry."

This book is intended for one-quarter or one semester-courses in homological algebra. The aim is to cover Ext and Tor early and without distraction. It includes several further topics, which can be pursued independently of each other. Many of these, such as Lazard's theorem, long exact sequences in Abelian categories with no cheating, or the relation between Krull dimension and global dimension, are hard to find elsewhere. The intended audience is second or third year graduate students in algebra, algebraic topology, or any other field that uses homological algebra.

The first contribution by Carter covers the theory of finite groups of Lie type, an important field of current mathematical research. In the second part, Platonov and Yanchevskii survey the structure of finite-dimensional division algebras, including an account of reduced K-theory.

One service mathematics has rendered the tEL moi, .... si j'avait su comment en revenir. je n'y serais point alle'.' human race. It has put common sense back Jules Verne where it belongs, on the topmost shelf next to the dusty canister labelled 'discarded non sense', The series is divergent; therefore we may be Eric T. Bell able to do something with it. O. Heaviside Mathematics is a tool for thought. A highly necessary tool in a world where both feedback and non linearities 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 com puter science ...'; 'One service category theory has rendered mathematics, ..'. All arguably true. And all statements obtainable this way form part of the raison d'elre of this series."

This book teaches mathematical structures and how they can be applied in environmental science. Each chapter presents story problems with an emphasis on derivation. For each of these, the discussion follows the pattern of first presenting an example of a type of structure as applied to environmental science. The definition of the structure is presented, followed by additional examples using MATLAB, and analytic methods of solving and learning from the structure.

This is a fully revised edition of the best-selling Introduction to Maple. The book presents the modern computer algebra system Maple, teaching the reader not only what can be done by Maple, but also how and why it can be done. The book also provides the necessary background for those who want the most of Maple or want to extend its built-in knowledge. Emphasis is on understanding the Maple system more than on factual knowledge of built-in possibilities. To this end, the book contains both elementary and more sophisticated examples as well as many exercises. The typical reader should have a background in mathematics at the intermediate level. Andre Heck began developing and teaching Maple courses at the University of Nijmegen in 1987. In 1989 he was appointed managing director of the CAN Expertise Center in Amsterdam. CAN, Computer Algebra in the Netherlands, stimulates and coordinates the use of computer algebra in education and research. In 1996 the CAN Expertise Center was integrated into the Faculty of Science at the University of Amsterdam, into what became the AMSTEL Institute. The institute program focuses on the innovation of computer activities in mathematics and science education on all levels of education. The author is actively involved in the research and development aimed at the integrated computer learning environment Coach for mathematics and science education at secondary school level.