The Applications of Computer Algebra (ACA) conference covers a wide range of topics from Coding Theory to Differential Algebra to Quantam Computing, focusing on the interactions of these and other areas with the discipline of Computer Algebra. This volume provides the latest developments in the field as well as its applications in various domains, including communications, modelling, and theoretical physics. The book will appeal to researchers and professors of computer algebra, applied mathematics, and computer science, as well as to engineers and computer scientists engaged in research and development.

This self-contained monograph explores a new theory centered around boolean representations of simplicial complexes leading to a new class of complexes featuring matroids as central to the theory. The book illustrates these new tools to study the classical theory of matroids as well as their important geometric connections. Moreover, many geometric and topological features of the theory of matroids find their counterparts in this extended context. Graduate students and researchers working in the areas of combinatorics, geometry, topology, algebra and lattice theory will find this monograph appealing due to the wide range of new problems raised by the theory. Combinatorialists will find this extension of the theory of matroids useful as it opens new lines of research within and beyond matroids. The geometric features and geometric/topological applications will appeal to geometers. Topologists who desire to perform algebraic topology computations will appreciate the algorithmic potential of boolean representable complexes.

The book is inspired by the first seminar in a cycle connected to the celebrations of the 150th anniversary of the Politecnico di Milano. "Dealing with the Image Ivory Towers and Virtual Bridges" was the motto of this meeting, aiming to stimulate a discussion among engineers, designers and architects, all of whom are traditionally involved in the use of the Image as a specialized language supporting their work, their research activities and their educational tasks. The book will also include the essays of invited or interviewed authors from other disciplines, namely Philosophy, Mathematics and Semiotics. According to Regis Debray, in the present "Visual Age", which he has significantly defined as a "Video-Sphere", all the information tends to be processed and controlled by means of visual devices. This occurs especially in the various branches of many technical studies and activities, one of the most sensitive areas to the use of Visual Language in the past and even more in the present.

This is the fourth and revised edition of a well-received book that aims at bridging the gap between the engineering course of tensor algebra on the one side and the mathematical course of classical linear algebra on the other side. In accordance with the contemporary way of scientific publications, a modern absolute tensor notation is preferred throughout. The book provides a comprehensible exposition of the fundamental mathematical concepts of tensor calculus and enriches the presented material with many illustrative examples. In addition, the book also includes advanced chapters dealing with recent developments in the theory of isotropic and anisotropic tensor functions and their applications to continuum mechanics. Hence, this monograph addresses graduate students as well as scientists working in this field. In each chapter numerous exercises are included, allowing for self-study and intense practice. Solutions to the exercises are also provided.

The present publication contains a special collection of research and review articles on deformations of surface singularities, that put together serve as an introductory survey of results and methods of the theory, as well as open problems and examples.  The aim is to collect material that will help mathematicians already working or wishing to work in this area to deepen their insight and eliminate the technical barriers in this learning process. Additionally, we introduce some material which emphasizes the newly found relationship with the theory of Stein fillings and symplectic geometry. This links two main theories of mathematics: low dimensional topology and algebraic geometry.​ The theory of normal surface singularities is a distinguished part of analytic or algebraic geometry with several important results, its own technical machinery, and several open problems. Recently several connections were established with low dimensional topology, symplectic geometry and theory of Stein fillings. This created an intense mathematical activity with spectacular bridges between the two areas. The theory of deformation of singularities is the key object in these connections.   

The book is inspired by the third seminar in a cycle connected to the celebrations of the 150th anniversary of the Politecnico di Milano (July 2013). "Educating by Image. Teaching Styles vs Learning Styles" was the motto of this meeting. The contributions (coming from lectures, the poster session, interviews and round table) aim to propose an updated look at visual education, highlighting how digital tools and networks have profoundly affected the "representational styles" of the teachers and the "cognitive styles" of the learners, while at the same time reaffirming the importance of the interaction between the two groups. As Herbert Alexander Simon once said, "Learning results... only from what the student does and thinks"; therefore "the teacher can advance learning only by influencing what the student does to learn". That is no mean feat if we consider that, according to Benjamin Samuel Bloom, visual education not only involves the pure cognition, but also the affective and the psychomotor domains, not to mention the social aspects. This is why, alongside some theoretical and historical retrospectives, the contributions recommend a continuous revision of "what" and "how" could be included in the academic curricula, also in connection with secondary schools, the professional world, targeted Lifelong Learning Programmes for students and teachers. The volume includes an interview with the science journalist and writer Piero Angela.

This book offers an account of the classical theory of quadratic residues and non-residues with the goal of using that theory as a lens through which to view the development of some of the fundamental methods employed in modern elementary, algebraic, and analytic number theory. The first three chapters present some basic facts and the history of quadratic residues and non-residues and discuss various proofs of the Law of Quadratic Reciprosity in depth, with an emphasis on the six proofs that Gauss published. The remaining seven chapters explore some interesting applications of the Law of Quadratic Reciprocity, prove some results concerning the distribution and arithmetic structure of quadratic residues and non-residues, provide a detailed proof of Dirichlet's Class-Number Formula, and discuss the question of whether quadratic residues are randomly distributed. The text is a valuable resource for graduate and advanced undergraduate students as well as for mathematicians interested in number theory.

The featured review of the AMS describes the author’s earlier work in the field of approach spaces as, ‘A landmark in the history of general topology’. In this book, the author has expanded this study further and taken it in a new and exciting direction. The number of conceptually and technically different systems which characterize approach spaces is increased and moreover their uniform counterpart, uniform gauge spaces, is put into the picture. An extensive study of completions, both for approach spaces and for uniform gauge spaces, as well as compactifications for approach spaces is performed. A paradigm shift is created by the new concept of index analysis. Making use of the rich intrinsic quantitative information present in approach structures, a technique is developed whereby indices are defined that measure the extent to which properties hold, and theorems become inequalities involving indices; therefore vastly extending the realm of applicability of many classical results. The theory is then illustrated in such varied fields as topology, functional analysis, probability theory, hyperspace theory and domain theory. Finally a comprehensive analysis is made concerning the categorical aspects of the theory and its links with other topological categories. Index Analysis will be useful for mathematicians working in category theory, topology, probability and statistics, functional analysis, and theoretical computer science.

This book contains 24 technical papers presented at the fourth edition of the Advances in Architectural Geometry conference, AAG 2014, held in London, England, September 2014. It offers engineers, mathematicians, designers, and contractors insight into the efficient design, analysis, and manufacture of complex shapes, which will help open up new horizons for architecture. The book examines geometric aspects involved in architectural design, ranging from initial conception to final fabrication. It focuses on four key topics: applied geometry, architecture, computational design, and also practice in the form of case studies. In addition, the book also features algorithms, proposed implementation, experimental results, and illustrations. Overall, the book presents both theoretical and practical work linked to new geometrical developments in architecture. It gathers the diverse components of the contemporary architectural tendencies that push the building envelope towards free form in order to respond to multiple current design challenges. With its introduction of novel computational algorithms and tools, this book will prove an ideal resource to both newcomers to the field as well as advanced practitioners.

This is a monograph that details the use of Siegel’s method and the classical results of homotopy groups of spheres and Lie groups to determine some Gottlieb groups of projective spaces or to give the lower bounds of their orders. Making use of the properties of Whitehead products, the authors also determine some Whitehead center groups of projective spaces that are relevant and new within this monograph.

The present volume is a collection of a dozen survey articles, dedicated to the memory of the famous Hungarian geometer, László Fejes Tóth, on the 99th anniversary of his birth. Each article reviews recent progress in an important field in intuitive, discrete, and convex geometry. The mathematical work and perspectives of all editors and most contributors of this volume were deeply influenced by László Fejes Tóth. 

This book collects the proceedings of the Algebra, Geometry and Mathematical Physics Conference, held at the University of Haute Alsace, France, October 2011. Organized in the four areas of algebra, geometry, dynamical symmetries and conservation laws and mathematical physics and applications, the book covers deformation theory and quantization; Hom-algebras and n-ary algebraic structures; Hopf algebra, integrable systems and related math structures; jet theory and Weil bundles; Lie theory and applications; non-commutative and Lie algebra and more. The papers explore the interplay between research in contemporary mathematics and physics concerned with generalizations of the main structures of Lie theory aimed at quantization and discrete and non-commutative extensions of differential calculus and geometry, non-associative structures, actions of groups and semi-groups, non-commutative dynamics, non-commutative geometry and applications in physics and beyond. The book benefits a broad audience of researchers and advanced students.

Theta functions were studied extensively by Ramanujan. This book provides a systematic development of Ramanujan's results and extends them to a general theory. The author's treatment of the subject is comprehensive, providing a detailed study of theta functions and modular forms for levels up to 12. Aimed at advanced undergraduates, graduate students, and researchers, the organization, user-friendly presentation, and rich source of examples, lends this book to serve as a useful reference, a pedagogical tool, and a stimulus for further research. Topics, especially those discussed in the second half of the book, have been the subject of much recent research; many of which are appearing in book form for the first time. Further results are summarized in the numerous exercises at the end of each chapter.

This book describes, by using elementary techniques, how some geometrical structures widely used today in many areas of physics, like symplectic, Poisson, Lagrangian, Hermitian, etc., emerge from dynamics. It is assumed that what can be accessed in actual experiences when studying a given system is just its dynamical behavior that is described by using a family of variables ("observables" of the system). The book departs from the principle that ''dynamics is first'' and then tries to answer in what sense the sole dynamics determines the geometrical structures that have proved so useful to describe the dynamics in so many important instances. In this vein it is shown that most of the geometrical structures that are used in the standard presentations of classical dynamics (Jacobi, Poisson, symplectic, Hamiltonian, Lagrangian) are determined, though in general not uniquely, by the dynamics alone. The same program is accomplished for the geometrical structures relevant to describe quantum dynamics. Finally, it is shown that further properties that allow the explicit description of the dynamics of certain dynamical systems, like integrability and super integrability, are deeply related to the previous development and will be covered in the last part of the book. The mathematical framework used to present the previous program is kept to an elementary level throughout the text, indicating where more advanced notions will be needed to proceed further. A family of relevant examples is discussed at length and the necessary ideas from geometry are elaborated along the text. However no effort is made to present an ''all-inclusive'' introduction to differential geometry as many other books already exist on the market doing exactly that. However, the development of the previous program, considered as the posing and solution of a generalized inverse problem for geometry, leads to new ways of thinking and relating some of the most conspicuous geometrical structures appearing in Mathematical and Theoretical Physics.

This book provides quick access to the theory of Lie groups and isometric actions on smooth manifolds, using a concise geometric approach. After a gentle introduction to the subject, some of its recent applications to active research areas are explored, keeping a constant connection with the basic material. The topics discussed include polar actions, singular Riemannian foliations, cohomogeneity one actions, and positively curved manifolds with many symmetries. This book stems from the experience gathered by the authors in several lectures along the years and was designed to be as self-contained as possible. It is intended for advanced undergraduates, graduate students and young researchers in geometry and can be used for a one-semester course or independent study.

George Gratzer's Lattice Theory: Foundation is his third book on lattice theory (General Lattice Theory, 1978, second edition, 1998). In 2009, Gratzer considered updating the second edition to reflect some exciting and deep developments. He soon realized that to lay the foundation, to survey the contemporary field, to pose research problems, would require more than one volume and more than one person. So Lattice Theory: Foundation provided the foundation. Now we complete this project with Lattice Theory: Special Topics and Applications, in two volumes, written by a distinguished group of experts, to cover some of the vast areas not in Foundation. This second volume is divided into ten chapters contributed by K. Adaricheva, N. Caspard, R. Freese, P. Jipsen, J.B. Nation, N. Reading, H. Rose, L. Santocanale, and F. Wehrung.

This book focuses on theoretical aspects of the affine projection algorithm (APA) for adaptive filtering. The APA is a natural generalization of the classical, normalized least-mean-squares (NLMS) algorithm. The book first explains how the APA evolved from the NLMS algorithm, where an affine projection view is emphasized. By looking at those adaptation algorithms from such a geometrical point of view, we can find many of the important properties of the APA, e.g., the improvement of the convergence rate over the NLMS algorithm especially for correlated input signals. After the birth of the APA in the mid-1980s, similar algorithms were put forward by other researchers independently from different perspectives. This book shows that they are variants of the APA, forming a family of APAs. Then it surveys research on the convergence behavior of the APA, where statistical analyses play important roles. It also reviews developments of techniques to reduce the computational complexity of the APA, which are important for real-time processing. It covers a recent study on the kernel APA, which extends the APA so that it is applicable to identification of not only linear systems but also nonlinear systems. The last chapter gives an overview of current topics on variable parameter APAs. The book is self-contained, and is suitable for graduate students and researchers who are interested in advanced theory of adaptive filtering.

The book deals with fundamental structural aspects of algebraic and simple groups, Coxeter groups and the related geometries and buildings. All contributing authors are very active researchers in the topics related to the theme of the book. Some of the articles provide the latest developments in the subject; some provide an overview of the current status of some important problems in this area; some survey an area highlighting the current developments; and some provide an exposition of an area to collect problems and conjectures. It is hoped that these articles would be helpful to a beginner to start independent research on any of these topics, as well as to an expert to know some of the latest developments or to consider some problems for investigation.

This volume has been divided into two parts: Geometry and Applications. The geometry portion of the book relates primarily to geometric flows, laminations, integral formulae, geometry of vector fields on Lie groups and osculation; the articles in the applications portion concern some particular problems of the theory of dynamical systems, including mathematical problems of liquid flows and a study of cycles for non-dynamical systems. This Work is based on the second international workshop entitled "Geometry and Symbolic Computations," held on May 15-18, 2013 at the University of Haifa and is dedicated to modeling (using symbolic calculations) in differential geometry and its applications in fields such as computer science, tomography and mechanics. It is intended to create a forum for students and researchers in pure and applied geometry to promote discussion of modern state-of-the-art in geometric modeling using symbolic programs such as Maple™ and Mathematica® , as well as presentation of new results.

This book brings together geometric tools and their applications for Information analysis. It collects current and many uses of in the interdisciplinary fields of Information Geometry Manifolds in Advanced Signal, Image & Video Processing, Complex Data Modeling and Analysis, Information Ranking and Retrieval, Coding, Cognitive Systems, Optimal Control, Statistics on Manifolds, Machine Learning, Speech/sound recognition and natural language treatment which are also substantially relevant for the industry.

Exploring several of the evolutionary branches of the mathematical notion of genus, this book traces the idea from its prehistory in problems of integration, through algebraic curves and their associated Riemann surfaces, into algebraic surfaces, and finally into higher dimensions. Its importance in analysis, algebraic geometry, number theory and topology is emphasized through many theorems. Almost every chapter is organized around excerpts from a research paper in which a new perspective was brought on the genus or on one of the objects to which this notion applies. The author was motivated by the belief that a subject may best be understood and communicated by studying its broad lines of development, feeling the way one arrives at the definitions of its fundamental notions, and appreciating the amount of effort spent in order to explore its phenomena.

Mathematical algorithms are a fundamental component of Computer Aided Design and Manufacturing (CAD/CAM) systems. This book provides a bridge between algebraic geometry and geometric modelling algorithms, formulated within a computer science framework. Apart from the algebraic geometry topics covered, the entire book is based on the unifying concept of using algebraic techniques – properly specialized to solve geometric problems – to seriously improve accuracy, robustness and efficiency of CAD-systems. It provides new approaches as well as industrial applications to deform surfaces when animating virtual characters, to automatically compare images of handwritten signatures and to improve control of NC machines. This book further introduces a noteworthy representation based on 2D contours, which is essential to model the metal sheet in industrial processes. It additionally reviews applications of numerical algebraic geometry to differential equations systems with multiple solutions and bifurcations. Future Vision and Trends on Shapes, Geometry and Algebra is aimed specialists in the area of mathematics and computer science on the one hand and on the other hand at those who want to become familiar with the practical application of algebraic geometry and geometric modelling such as students, researchers and doctorates.

This book includes selected papers presented at the MIMS (Mediterranean Institute for the Mathematical Sciences) - GGTM (Geometry and Topology Grouping for the Maghreb) conference, held in memory of Mohammed Salah Baouendi, a most renowned figure in the field of several complex variables, who passed away in 2011. All research articles were written by leading experts, some of whom are prize winners in the fields of complex geometry, algebraic geometry and analysis. The book offers a valuable resource for all researchers interested in recent developments in analysis and geometry.

Based on lectures given at an advanced course on integrable systems at the Centre de Recerca Matematica in Barcelona, these lecture notes address three major aspects of integrable systems: obstructions to integrability from differential Galois theory; the description of singularities of integrable systems on the basis of their relation to bi-Hamiltonian systems; and the generalization of integrable systems to the non-Hamiltonian settings. All three sections were written by top experts in their respective fields. Native to actual problem-solving challenges in mechanics, the topic of integrable systems is currently at the crossroads of several disciplines in pure and applied mathematics, and also has important interactions with physics. The study of integrable systems also actively employs methods from differential geometry. Moreover, it is extremely important in symplectic geometry and Hamiltonian dynamics, and has strong correlations with mathematical physics, Lie theory and algebraic geometry (including mirror symmetry). As such, the book will appeal to experts with a wide range of backgrounds.

This book collects significant contributions from the fifth conference on Fractal Geometry and Stochastics held in Tabarz, Germany, in March 2014. The book is divided into five topical sections: geometric measure theory, self-similar fractals and recurrent structures, analysis and algebra on fractals, multifractal theory, and random constructions. Each part starts with a state-of-the-art survey followed by papers covering a specific aspect of the topic. The authors are leading world experts and present their topics comprehensibly and attractively. Both newcomers and specialists in the field will benefit from this book.