Topological Methods in Group Theory is about the interplay between algebraic topology and the theory of infinite discrete ...
Lire la suiteThis volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences ...
Lire la suiteTransactions on Computational Science II is devoted to the subject of denotational mathematics for computational intelligence. ...
Lire la suiteIt contains teaching concurrency; process languages; process mining; software engineering; state space visualisation techniques; ...
Lire la suiteTransseries are formal objects constructed from an infinitely large variable x and the reals using infinite summation, exponentiation ...
Lire la suiteTropical geometry is algebraic geometry over the semifield of tropical numbers, i.e., the real numbers and negative infinity ...
Lire la suiteThis edited volume presents a fascinating collection of lecture notes focusing on differential equations from two viewpoints: ...
Lire la suiteEditor Kim Williams has assembled a group of notes where scholars contribute essays inspired by their contact with Prof David ...
Lire la suiteThe topic of this book was formal reasoning and computer programming based on type theory. Great importance was attached ...
Lire la suiteThe book offers a basic course in algebra for university students, structured according to the new regulations. Themes such ...
Lire la suiteUndergraduate Algebra is a text for the standard undergraduate algebra course. It concentrates on the basic structures and ...
Lire la suiteThis is an introductory textbook of linear programming, written mainly for students of computer science and mathematics. ...
Lire la suiteThis clearly written text is the first book on unitals embedded in finite projective planes. Unitals are key structures in ...
Lire la suiteUniversal Algebra, heralded as ". . . the standard reference in a field notorious for the lack of standardization . . .," ...
Lire la suiteMatousek's lively little textbook now shows that Lovász' insight as well as beautiful work of many others (such as Vrecica ...
Lire la suiteIn this book, the theory of valuations as well as of Henselizations is developed. The presentation is based on the knowledge ...
Lire la suiteThe book is divided into eleven chapters covering the history of vector analysis, linear equations, vector algebra, vector ...
Lire la suiteLinks the formal theory of word vectors to the cognitive theory of linguistics. The computational linguists and deep learning ...
Lire la suiteThis book contains groundbreaking contributions to the philosophical analysis of mathematical practice. Several philosophers ...
Lire la suiteThe analysis of the characteristics of walks on ordinals is a powerful new technique for building mathematical structures, ...
Lire la suite