In this book the details of many calculations are provided for access to work in quantum groups, algebraic differential calculus, noncommutative geometry, fuzzy

This book constitutes the proceedings of the 15th International Symposium on Functional and Logic Programming, FLOPS 2020, held in Akita, Japan*, in September 2

This upper-level undergraduate text's unique approach enables students to develop both physical insight and mathematical intuition.

This volume contains the research papers, invited papers, and abstracts of - torials presented at the Second International Conference on Tests and Proofs (TAP 2

This book constitutes the refereed proceedings of the 21st European Symposium on Programming, ESOP 2012, held in Tallinn, Estonia, as part of ETAPS 2012, in Mar