This welcome boon for students of algebraic topology cuts a much-needed central path between other texts whose treatment of the classification theorem for compact surfaces is either too formalized and complex for those without detailed background knowledge, or too informal to afford students a comprehensive insight into the subject. Its dedicated, student-centred approach details a near-complete proof of this theorem, widely admired for its efficacy and formal beauty. The authors present the technical tools needed to deploy the method effectively as well as demonstrating their use in a clearly structured, worked example. Ideal for students whose mastery of algebraic topology may be a work-in-progress, the text introduces key notions such as fundamental groups, homology groups, and the Euler-Poincaré characteristic. These prerequisites are the subject of detailed appendices that enable focused, discrete learning where it is required, without interrupting the carefully planned structure of the core exposition. Gently guiding readers through the principles, theory, and applications of the classification theorem, the authors aim to foster genuine confidence in its use and in so doing encourage readers to move on to a deeper exploration of the versatile and valuable techniques available in algebraic topology.

Contents: Introduction. - Standard Notations. - Preliminaries. - Curves on Surfaces. - Mappings of Surfaces. - Some General Properties of Surfaces. - Examples. - The Enriques-Kodaira Classification. - Surfaces of General Type. - K3-Surfaces and Enriques Surfaces. - Bibliography. - Subject Index.

Classification Made Relevant: How Scientists Build and Use Classifications and Ontologies explains how classifications and ontologies are designed and used to analyze scientific information. The book presents the fundamentals of classification, leading up to a description of how computer scientists use object-oriented programming languages to model classifications and ontologies. Numerous examples are chosen from the Classification of Life, the Periodic Table of the Elements, and the symmetry relationships contained within the Classification Theorem of Finite Simple Groups. When these three classifications are tied together, they provide a relational hierarchy connecting all of the natural sciences. The book's chapters introduce and describe general concepts that can be understood by any intelligent reader. With each new concept, they follow practical examples selected from various scientific disciplines. In these cases, technical points and specialized vocabulary are linked to glossary items where the item is clarified and expanded. - Explains the theory and practice of classification, emphasizing the importance of classifications and ontologies to the modern fields of mathematics, physics, chemistry, biology and medicine - Includes numerous real-world examples that demonstrate how bad construction technique can destroy the value of classifications and ontologies - Explains how we define and understand the relationships among the classes within a classification and how the properties of a class are inherited by its subclasses - Describes ontologies and how they differ from classifications and explains conditions under which ontologies are useful

This book constitutes the proceedings of the 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, held in Cochem, Germany, in February 2024. The 33 full papers presented in this book were carefully reviewed and selected from 81 submissions. The book also contains one invited talk in full paper length. They focus on original research and challenges in foundations of computer science including algorithms, AI-based methods, computational complexity, and formal models.

This text provides a guide to dealing with 3-manifolds by computers. Its emphasis is on presenting algorithms which are used for solving (in practice) the homeomorphism problem for the smallest of these objects. The key concept is the 3-gem, a special kind of edge-colored graph, which encodes the manifold via a ball complex. Passages between 3-gems and more standard presentations like Heegaard diagrams and surgery descriptions are provided. A catalogue of all closed orientable 3-manifolds induced by 3-gems up to 30 vertices is included. In order to help the classification, various invariants are presented, including the new quantum invariants.

One service mathematics has rendered the human race. It has put common sense back where it belongs. It has put common sense back where it belongs, on the topmost shelf next to the dusty canister labelled discarded nonsense. Eric TBell Every picture tells a story. Advenisement for for Sloan's backache and kidney oils, 1907 The book you have in your hands as you are reading this, is a text on3-dimensional topology. It can serve as a pretty comprehensive text book on the subject. On the other hand, it frequently gets to the frontiers of current research in the topic. If pressed, I would initially classify it as a monograph, but, thanks to the over three hundred illustrations of the geometrical ideas involved, as a rather accessible one, and hence suitable for advanced classes. The style is somewhat informal; more or less like orally presented lectures, and the illustrations more than make up for all the visual aids and handwaving one has at one's command during an actual presentation.

Possibly the most comprehensive overview of computer graphics as seen in the context of geometric modelling, this two volume work covers implementation and theory in a thorough and systematic fashion. Computer Graphics and Geometric Modelling: Mathematics, contains the mathematical background needed for the geometric modeling topics in computer graphics covered in the first volume. This volume begins with material from linear algebra and a discussion of the transformations in affine & projective geometry, followed by topics from advanced calculus & chapters on general topology, combinatorial topology, algebraic topology, differential topology, differential geometry, and finally algebraic geometry. Two important goals throughout were to explain the material thoroughly, and to make it self-contained. This volume by itself would make a good mathematics reference book, in particular for practitioners in the field of geometric modelling. Due to its broad coverage and emphasis on explanation it could be used as a text for introductory mathematics courses on some of the covered topics, such as topology (general, combinatorial, algebraic, and differential) and geometry (differential & algebraic).