Topological Methods in Group Theory
Topological Methods in Group Theory is about the interplay between algebraic topology and the theory of infinite discrete ...
اقرأ المزيد
Towards Mechanized Mathematical Assistants
This volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences ...
اقرأ المزيد
Transactions on Computational Science II
Transactions on Computational Science II is devoted to the subject of denotational mathematics for computational intelligence. ...
اقرأ المزيد
Transactions on Petri Nets and Other Models of Concurrency I
It contains teaching concurrency; process languages; process mining; software engineering; state space visualisation techniques; ...
اقرأ المزيد
Transseries and Real Differential Algebra
Transseries are formal objects constructed from an infinitely large variable x and the reals using infinite summation, exponentiation ...
اقرأ المزيد
Tropical Algebraic Geometry
Tropical geometry is algebraic geometry over the semifield of tropical numbers, i.e., the real numbers and negative infinity ...
اقرأ المزيد
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: ...
اقرأ المزيد
Two Cultures
Editor Kim Williams has assembled a group of notes where scholars contribute essays inspired by their contact with Prof David ...
اقرأ المزيد
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 ...
اقرأ المزيد
Un invito allAlgebra
The book offers a basic course in algebra for university students, structured according to the new regulations. Themes such ...
اقرأ المزيدUndergraduate Algebra
Undergraduate Algebra is a text for the standard undergraduate algebra course. It concentrates on the basic structures and ...
اقرأ المزيد
Understanding and Using Linear Programming
This is an introductory textbook of linear programming, written mainly for students of computer science and mathematics. ...
اقرأ المزيد
Unitals in Projective Planes
This clearly written text is the first book on unitals embedded in finite projective planes. Unitals are key structures in ...
اقرأ المزيد
Universal Algebra
Universal Algebra, heralded as ". . . the standard reference in a field notorious for the lack of standardization . . .," ...
اقرأ المزيد
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 ...
اقرأ المزيد
Valued Fields
In this book, the theory of valuations as well as of Henselizations is developed. The presentation is based on the knowledge ...
اقرأ المزيد
Vector Analysis for Computer Graphics
The book is divided into eleven chapters covering the history of vector analysis, linear equations, vector algebra, vector ...
اقرأ المزيد
Vector Semantics / András Kornai
Links the formal theory of word vectors to the cognitive theory of linguistics. The computational linguists and deep learning ...
اقرأ المزيد
Visualization, Explanation and Reasoning Styles in Mathematics
This book contains groundbreaking contributions to the philosophical analysis of mathematical practice. Several philosophers ...
اقرأ المزيد
Walks on Ordinals and Their Characteristics
The analysis of the characteristics of walks on ordinals is a powerful new technique for building mathematical structures, ...
اقرأ المزيد
