An Invitation to Computational Homotopy

An Invitation to Computational Homotopy

Author: Graham Ellis

Publisher: Oxford University Press

Published: 2019-08-14

Total Pages: 640

ISBN-13: 0192569414

DOWNLOAD EBOOK

An Invitation to Computational Homotopy is an introduction to elementary algebraic topology for those with an interest in computers and computer programming. It expertly illustrates how the basics of the subject can be implemented on a computer through its focus on fully-worked examples designed to develop problem solving techniques. The transition from basic theory to practical computation raises a range of non-trivial algorithmic issues which will appeal to readers already familiar with basic theory and who are interested in developing computational aspects. The book covers a subset of standard introductory material on fundamental groups, covering spaces, homology, cohomology and classifying spaces as well as some less standard material on crossed modules. These topics are covered in a way that hints at potential applications of topology in areas of computer science and engineering outside the usual territory of pure mathematics, and also in a way that demonstrates how computers can be used to perform explicit calculations within the domain of pure algebraic topology itself. The initial chapters include in-depth examples from data mining, biology and digital image analysis, while the later chapters cover a range of computational examples on the cohomology of classifying spaces that are likely beyond the reach of a purely paper-and-pen approach to the subject. An Invitation to Computational Homotopy serves as a self-contained and informal introduction to these topics and their implementation in the sphere of computer science. Written in a dynamic and engaging style, it skilfully showcases a range of useful machine computations, and will serve as an invaluable aid to graduate students working with algebraic topology.


An Invitation to Computational Homotopy

An Invitation to Computational Homotopy

Author: Graham Ellis

Publisher:

Published: 2019

Total Pages:

ISBN-13: 9780191871375

DOWNLOAD EBOOK

'An Invitation to Computational Homotopy' is an introduction to elementary algebraic topology for those with an interest in computers and computer programming. It expertly illustrates how the basics of the subject can be implemented on a computer through its focus on fully-worked examples designed to develop problem solving techniques.


The Nature of Computation

The Nature of Computation

Author: Cristopher Moore

Publisher: OUP Oxford

Published: 2011-08-11

Total Pages: 1498

ISBN-13: 0191620807

DOWNLOAD EBOOK

Computational complexity is one of the most beautiful fields of modern mathematics, and it is increasingly relevant to other sciences ranging from physics to biology. But this beauty is often buried underneath layers of unnecessary formalism, and exciting recent results like interactive proofs, phase transitions, and quantum computing are usually considered too advanced for the typical student. This book bridges these gaps by explaining the deep ideas of theoretical computer science in a clear and enjoyable fashion, making them accessible to non-computer scientists and to computer scientists who finally want to appreciate their field from a new point of view. The authors start with a lucid and playful explanation of the P vs. NP problem, explaining why it is so fundamental, and so hard to resolve. They then lead the reader through the complexity of mazes and games; optimization in theory and practice; randomized algorithms, interactive proofs, and pseudorandomness; Markov chains and phase transitions; and the outer reaches of quantum computing. At every turn, they use a minimum of formalism, providing explanations that are both deep and accessible. The book is intended for graduate and undergraduate students, scientists from other areas who have long wanted to understand this subject, and experts who want to fall in love with this field all over again.


An Invitation to Applied Category Theory

An Invitation to Applied Category Theory

Author: Brendan Fong

Publisher: Cambridge University Press

Published: 2019-07-18

Total Pages: 351

ISBN-13: 1108582249

DOWNLOAD EBOOK

Category theory is unmatched in its ability to organize and layer abstractions and to find commonalities between structures of all sorts. No longer the exclusive preserve of pure mathematicians, it is now proving itself to be a powerful tool in science, informatics, and industry. By facilitating communication between communities and building rigorous bridges between disparate worlds, applied category theory has the potential to be a major organizing force. This book offers a self-contained tour of applied category theory. Each chapter follows a single thread motivated by a real-world application and discussed with category-theoretic tools. We see data migration as an adjoint functor, electrical circuits in terms of monoidal categories and operads, and collaborative design via enriched profunctors. All the relevant category theory, from simple to sophisticated, is introduced in an accessible way with many examples and exercises, making this an ideal guide even for those without experience of university-level mathematics.


Computational Chemistry

Computational Chemistry

Author: Jerzy Leszczynski

Publisher: World Scientific

Published: 2000

Total Pages: 337

ISBN-13: 9810243715

DOWNLOAD EBOOK

This volume comprises six chapters which explore the development and applications of the methods of computational chemistry. The first chapter is on new developments in coupled-cluster (CC) theory. The homotopy method is used to obtain complete sets of solutions of nonlinear CC equations. The correspondence between multiple solutions to the CCSD, CCSDT, and full CI equations is established, and the applications of the new approach in modeling molecular systems are discussed. The second chapter reviews the computational theory for the time-dependent calculations of a solution to the Schrodinger equation for two electrons and focuses on the development of propagators to the solution. The next chapter features a discussion on a new self-consistent field for molecular interactions (SCF-MI) scheme for modifying Roothaan equations in order to avoid basis set superposition errors (BSSE). This method is especially suitable for computations of intermolecular interactions. Details of the theory, alongwith examples of applications to nucleic acid base pair complexes, are given. This chapter is well complemented by the following chapter, which reports the current status of computational studies of aromatic stacking and hydrogen bonding interactions among nucleic acid bases. The next chapter reveals the possibility of calculating the kinetics of chemical reactions in biological systems from the first principles. The last chapter reviews the results of rigorous ab initio studies of the series of derivatives of methane, silane, and germane. The presented molecular and vibrational parameters complement experimental data for these systems. In addition, the theoretical approach allows the predictionof the effects of halogeno-substitutions on their structures and properties.


Invitation to Discrete Mathematics

Invitation to Discrete Mathematics

Author: Jiří Matoušek

Publisher: Oxford University Press

Published: 2009

Total Pages: 462

ISBN-13: 0198570430

DOWNLOAD EBOOK

A clear and self-contained introduction to discrete mathematics for undergraduates and early graduates.


Introduction to Banach Spaces and Algebras

Introduction to Banach Spaces and Algebras

Author: Graham R. Allan

Publisher: Oxford University Press

Published: 2011

Total Pages: 380

ISBN-13: 0199206538

DOWNLOAD EBOOK

A timely graduate level text in an active field covering functional analysis, with an emphasis on Banach algebras.


An Invitation to Quantum Cohomology

An Invitation to Quantum Cohomology

Author: Joachim Kock

Publisher: Springer Science & Business Media

Published: 2007-12-27

Total Pages: 162

ISBN-13: 0817644954

DOWNLOAD EBOOK

Elementary introduction to stable maps and quantum cohomology presents the problem of counting rational plane curves Viewpoint is mostly that of enumerative geometry Emphasis is on examples, heuristic discussions, and simple applications to best convey the intuition behind the subject Ideal for self-study, for a mini-course in quantum cohomology, or as a special topics text in a standard course in intersection theory


Undergraduate Topology

Undergraduate Topology

Author: Aisling McCluskey

Publisher: Oxford University Press

Published: 2014

Total Pages: 157

ISBN-13: 0198702337

DOWNLOAD EBOOK

This textbook offers an accessible, modern introduction at undergraduate level to an area known variously as general topology, point-set topology or analytic topology with a particular focus on helping students to build theory for themselves. It is the result of several years of the authors' combined university teaching experience stimulated by sustained interest in advanced mathematical thinking and learning, alongside established research careers in analytic topology. Point-set topology is a discipline that needs relatively little background knowledge, but sufficient determination to grasp ideas precisely and to argue with straight and careful logic. Research and long experience in undergraduate mathematics education suggests that an optimal way to learn such a subject is to teach it to yourself, pro-actively, by guided reading of brief skeleton notes and by doing your own spadework to fill in the details and to flesh out the examples. This text will facilitate such an approach for those learners who opt to do it this way and for those instructors who would like to encourage this so-called 'Moore approach', even for a modest segment of the teaching term or for part of the class. In reality, most students simply do not have the combination of time, background and motivation needed to implement such a plan fully. The accessibility, flexibility and completeness of this text enable it to be used equally effectively for more conventional instructor-led courses. Critically, it furnishes a rich variety of exercises and examples, many of which have specimen solutions, through which to gain in confidence and competence.


Algebraic Models in Geometry

Algebraic Models in Geometry

Author: Yves Félix

Publisher: Oxford University Press

Published: 2008

Total Pages: 483

ISBN-13: 0199206511

DOWNLOAD EBOOK

A text aimed at both geometers needing the tools of rational homotopy theory to understand and discover new results concerning various geometric subjects, and topologists who require greater breadth of knowledge about geometric applications of the algebra of homotopy theory.