You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This volume contains the proceedings of the Conference on Mathematics and its Applications-2014, held from November 14-17, 2014, at Kuwait University, Safat, Kuwait. Papers contained in this volume cover various topics in pure and applied mathematics ranging from an introductory study of quotients and homomorphisms of C-systems, also known as contextual pre-categories, to the most important consequences of the so-called Fokas method. Also covered are multidisciplinary topics such as new structural and spectral matricial results, acousto-electromagnetic tomography method, a recent hybrid imaging technique, some numerical aspects of sonic-boom minimization, PDE eigenvalue problems, von Neumann...
Because of their applications in so many diverse areas, finite fields continue to play increasingly important roles in various branches of modern mathematics, including number theory, algebra, and algebraic geometry, as well as in computer science, information theory, statistics, and engineering. Computational and algorithmic aspects of finite field problems also continue to grow in importance. This volume contains the refereed proceedings of a conference entitled Finite Fields: Theory, Applications and Algorithms, held in August 1993 at the University of Nevada at Las Vegas. Among the topics treated are theoretical aspects of finite fields, coding theory, cryptology, combinatorial design theory, and algorithms related to finite fields. Also included is a list of open problems and conjectures. This volume is an excellent reference for applied and research mathematicians as well as specialists and graduate students in information theory, computer science, and electrical engineering.
The book contains the first systematic exposition of the current known theory of K-loops, as well as some new material. In particular, big classes of examples are constructed. The theory for sharply 2-transitive groups is generalized to the theory of Frobenius groups with many involutions. A detailed discussion of the relativistic velocity addition based on the author's construction of K-loops from classical groups is also included. The first chapters of the book can be used as a text, the later chapters are research notes, and only partially suitable for the classroom. The style is concise, but complete proofs are given. The prerequisites are a basic knowledge of algebra such as groups, fields, and vector spaces with forms.
This is the first book on analytic hyperbolic geometry, fully analogous to analytic Euclidean geometry. Analytic hyperbolic geometry regulates relativistic mechanics just as analytic Euclidean geometry regulates classical mechanics. The book presents a novel gyrovector space approach to analytic hyperbolic geometry, fully analogous to the well-known vector space approach to Euclidean geometry. A gyrovector is a hyperbolic vector. Gyrovectors are equivalence classes of directed gyrosegments that add according to the gyroparallelogram law just as vectors are equivalence classes of directed segments that add according to the parallelogram law. In the resulting “gyrolanguage” of the book one...
Leading researchers survey the latest developments in group theory and many related areas.
"I cannot define coincidence [in mathematics]. But 1 shall argue that coincidence can always be elevated or organized into a superstructure which perfonns a unification along the coincidental elements. The existence of a coincidence is strong evidence for the existence of a covering theory. " -Philip 1. Davis [Dav81] Alluding to the Thomas gyration, this book presents the Theory of gy rogroups and gyrovector spaces, taking the reader to the immensity of hyper bolic geometry that lies beyond the Einstein special theory of relativity. Soon after its introduction by Einstein in 1905 [Ein05], special relativity theory (as named by Einstein ten years later) became overshadowed by the ap pearance ...
The general problem studied by information theory is the reliable transmission of information through unreliable channels. Channels can be unreliable either because they are disturbed by noise or because unauthorized receivers intercept the information transmitted. In the first case, the theory of error-control codes provides techniques for correcting at least part of the errors caused by noise. In the second case cryptography offers the most suitable methods for coping with the many problems linked with secrecy and authentication. Now, both error-control and cryptography schemes can be studied, to a large extent, by suitable geometric models, belonging to the important field of finite geome...
This book provides a self-contained introduction to diagram geometry. Tight connections with group theory are shown. It treats thin geometries (related to Coxeter groups) and thick buildings from a diagrammatic perspective. Projective and affine geometry are main examples. Polar geometry is motivated by polarities on diagram geometries and the complete classification of those polar geometries whose projective planes are Desarguesian is given. It differs from Tits' comprehensive treatment in that it uses Veldkamp's embeddings. The book intends to be a basic reference for those who study diagram geometry. Group theorists will find examples of the use of diagram geometry. Light on matroid theory is shed from the point of view of geometry with linear diagrams. Those interested in Coxeter groups and those interested in buildings will find brief but self-contained introductions into these topics from the diagrammatic perspective. Graph theorists will find many highly regular graphs. The text is written so graduate students will be able to follow the arguments without needing recourse to further literature. A strong point of the book is the density of examples.
This is the first book on cut-elimination in first-order predicate logic from an algorithmic point of view. Instead of just proving the existence of cut-free proofs, it focuses on the algorithmic methods transforming proofs with arbitrary cuts to proofs with only atomic cuts (atomic cut normal forms, so-called ACNFs). The first part investigates traditional reductive methods from the point of view of proof rewriting. Within this general framework, generalizations of Gentzen's and Sch\”utte-Tait's cut-elimination methods are defined and shown terminating with ACNFs of the original proof. Moreover, a complexity theoretic comparison of Gentzen's and Tait's methods is given. The core of the bo...
This present volume is the Proceedings of the 14th International Conference on Near rings and Nearfields held in Hamburg at the Universitiit der Bundeswehr Hamburg, from July 30 to August 06, 1995. This Conference was attended by 70 mathematicians and many accompanying persons who represented 22 different countries from all five continents. Thus it was the largest conference devoted entirely to nearrings and nearfields. The first of these conferences took place in 1968 at the Mathematische For schungsinstitut Oberwolfach, Germany. This was also the site of the conferences in 1972, 1976, 1980 and 1989. The other eight conferences held before the Hamburg Conference took place in eight differen...