mathematics

Designed for an undergraduate course or for independent study, this text presents sophisticated mathematical ideas in an elementary and friendly fashion. The fundamental purpose of this book is to teach mathematical thinking while conveying the beauty and elegance of mathematics. The book contains a large number of exercises of varying difficulty, some of which are designed to help reinforce basic concepts and others of which will challenge virtually all readers. The sole prerequisite for reading this text is high school algebra. Topics covered include: * mathematical induction * modular arithmetic * the Fundamental Theorem of Arithmetic * Fermat's Little Theorem * RSA encryption * the Euclidean algorithm * rational and irrational numbers * complex numbers * cardinality * Euclidean plane geometry * constructibility (including a proof that an angle of 60 degrees cannot be trisected with a straightedge and compass)* infinite series * higher dimensional spaces.This textbook is suitable for a wide variety of courses and for a broad range of students of mathematics and other subjects. Mathematically inclined senior high school students will also be able to read this book.From the reviews of the first edition:“It is carefully written in a precise but readable and engaging style… I thoroughly enjoyed reading this recent addition to the Springer Undergraduate Texts in Mathematics series and commend this clear, well-organised, unfussy text to its target audiences.” (Nick Lord, The Mathematical Gazette, Vol. 100 (547), 2016) “The book is an introduction to real mathematics and is very readable. … The book is indeed a joy to read, and would be an excellent text for an ‘appreciation of mathematics’ course, among other possibilities.” (G.A. Heuer, Mathematical Reviews, February, 2015)“Many a benighted book misguidedly addresses the need [to teach mathematical thinking] by framing reasoning, or narrowly, proof, not as pervasive modality but somehow as itself an autonomous mathematical subject. Fortunately, the present book gets it right.... [presenting] well-chosen, basic, conceptual mathematics, suitably accessible after a K-12 education, in a detailed, self-conscious way that emphasizes methodology alongside content and crucially leads to an ultimate clear payoff. … Summing Up: Recommended. Lower-division undergraduates and two-year technical program students; general readers.” (D.V. Feldman, Choice, Vol. 52 (6), February, 2015)

Book IV continues the discussion begun in the first three volumes. Although it is aimed at first-year graduate students, it is also intended to serve as a basic reference for people working in affine differential geometry. It also should be accessible to undergraduates interested in affine differential geometry. We are primarily concerned with the study of affine surfaces {which} are locally homogeneous. We discuss affine gradient Ricci solitons, affine Killing vector fields, and geodesic completeness. Opozda has classified the affine surface geometries which are locally homogeneous; we follow her classification. Up to isomorphism, there are two simply connected Lie groups of dimension 2. The translation group ℝ² is Abelian and the �������� + ���� groupindex{ax+b group} is non-Abelian. The first chapter presents foundational material. The second chapter deals with Type ���� surfaces. These are the left-invariant affine geometries on ℝ². Associating to each Type ���� surface the space of solutions to the quasi-Einstein equation corresponding to the eigenvalue ����=-1$ turns out to be a very powerful technique and plays a central role in our study as it links an analytic invariant with the underlying geometry of the surface. The third chapter deals with Type ���� surfaces; these are the left-invariant affine geometries on the �������� + ���� group. These geometries form a very rich family which is only partially understood. The only remaining homogeneous geometry is that of the sphere ����². The fourth chapter presents relations between the geometry of an affine surface and the geometry of the cotangent bundle equipped with the neutral signature metric of the modified Riemannian extension.

This book explores the visualization of three-dimensional non-Euclidean spaces using ray-tracing techniques in Graphics Processing Unit (GPU). This is a trending topic in mathematical visualization that combines the mathematics areas of geometry and topology, with visualization concepts of computer graphics. Several conditions made this a special moment for such topic. On one hand, the development of mathematical research, computer graphics, and algorithms have provided the necessary theoretical framework. On the other hand, the evolution of the technologies and media allows us to be immersed in three-dimensional spaces using Virtual Reality. The content of this book serves both experts in the areas and students. Although this is a short book, it is self-contained since it considers all the ideas, motivations, references, and intuitive explanations of the required fundamental concepts.

The aim of this work is to offer a concise and self-contained 'lecture-style' introduction to the theory of classical rigid geometry established by John Tate, together with the formal algebraic geometry approach launched by Michel Raynaud. These Lectures are now viewed commonly as an ideal means of learning advanced rigid geometry, regardless of the reader's level of background. Despite its parsimonious style, the presentation illustrates a number of key facts even more extensively than any other previous work.This Lecture Notes Volume is a revised and slightly expanded version of a preprint that appeared in 2005 at the University of Münster's Collaborative Research Center 'Geometrical Structures in Mathematics'.

Ontologies have become increasingly important as the use of knowledge graphs, machine learning, natural language processing (NLP), and the amount of data generated on a daily basis has exploded. As of 2014, 90% of the data in the digital universe was generated in the two years prior, and the volume of data was projected to grow from 3.2 zettabytes to 40 zettabytes in the next six years. The very real issues that government, research, and commercial organizations are facing in order to sift through this amount of information to support decision-making alone mandate increasing automation. Yet, the data profiling, NLP, and learning algorithms that are ground-zero for data integration, manipulation, and search provide less than satisfactory results unless they utilize terms with unambiguous semantics, such as those found in ontologies and well-formed rule sets. Ontologies can provide a rich 'schema' for the knowledge graphs underlying these technologies as well as the terminological and semantic basis for dramatic improvements in results. Many ontology projects fail, however, due at least in part to a lack of discipline in the development process. This book, motivated by the Ontology 101 tutorial given for many years at what was originally the Semantic Technology Conference (SemTech) and then later from a semester-long university class, is designed to provide the foundations for ontology engineering. The book can serve as a course textbook or a primer for all those interested in ontologies.