Electronic Books

Total Books: 161 - 178 /178
978-1-4020-5036-7
The Heart of Cohomology

Fundamental notions in cohomology for examples, functors, representable functors, Yoneda embedding, derived functors, spectral ...

Continue reading
978-0-8176-4603-5
The Legacy of Mario Pieri in Geometry and Arithmetic

The Italian mathematician Mario Pieri (1860-1913) played an integral part in the research groups of Corrado Segre and Giuseppe ...

Continue reading
978-3-540-77659-8
The Modern Algebra of Information Retrieval

This book takes a unique approach to information retrieval by laying down the foundations for a modern algebra of information ...

Continue reading
978-3-7643-7536-2
The Monodromy Group

In singularity theory and algebraic geometry, the monodromy group is embodied in the Picard-Lefschetz formula and the Picard-Fuchs ...

Continue reading
978-3-7643-7536-2
The Monodromy Group

In singularity theory and algebraic geometry, the monodromy group is embodied in the Picard-Lefschetz formula and the Picard-Fuchs ...

Continue reading
978-0-8176-4467-3
The Unity of Mathematics

The invited papers in this volume reflect the unity of mathematics as a whole, with particular emphasis on the many connections ...

Continue reading
978-3-540-69224-9
Theory and Applications of Relational Structures as Knowledge Instruments II

This book is a follow-up of LNCS volume 2929 with the same title, and presents the major results of COST action 274 (2002-2005), ...

Continue reading
NoIMG
Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I

This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...

Continue reading
NoIMG
Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II

This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...

Continue reading
978-3-7643-7342-9
Topics in Cohomological Studies of Algebraic Varieties

The articles in this volume study various cohomological aspects of algebraic varieties: - characteristic classes of singular ...

Continue reading
978-3-030-60806-4
Topics in Galois Fields

Provides a self-contained presentation of the foundations of finite fields, including a detailed treatment of their algebraic ...

Continue reading
978-3-030-48412-5
Topics in Uniform Approximation of Continuous Functions

This book presents the evolution of uniform approximations of continuous functions. Starting from the simple case of a real ...

Continue reading
978-0-387-74614-2
Topological Methods in Group Theory

Topological Methods in Group Theory is about the interplay between algebraic topology and the theory of infinite discrete ...

Continue reading
978-3-7643-8310-7
Tropical Algebraic Geometry

Tropical geometry is algebraic geometry over the semifield of tropical numbers, i.e., the real numbers and negative infinity ...

Continue reading
978-3-030-26454-3
Two Algebraic Byways from Differential Equations: Gröbner Bases and Quivers

This edited volume presents a fascinating collection of lecture notes focusing on differential equations from two viewpoints: ...

Continue reading
978-3-540-68103-8
Types for Proofs and Programs : International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers

The topic of this book was formal reasoning and computer programming based on type theory. Great importance was attached ...

Continue reading
978-3-540-76649-0
Using the Borsuk-Ulam Theorem : Lectures on Topological Methods in Combinatorics and Geometry

Matousek's lively little textbook now shows that Lovász' insight as well as beautiful work of many others (such as Vrecica ...

Continue reading
978-981-19-5607-2
Vector Semantics / András Kornai

Links the formal theory of word vectors to the cognitive theory of linguistics. The computational linguists and deep learning ...

Continue reading
Total Books: 161 - 178 /178