Didier Bert & Jonathan P. Bowen 
ZB 2002: Formal Specification and Development in Z and B [PDF ebook] 
2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings

Fractional Integral Transforms: Theory and Applications presents over twenty-five integral transforms, many of which have never before been collected in one single volume. Some transforms are classic …

The Handbook of Ordinary Differential Equations: Exact Solutions, Methods, and Problems, is an exceptional and complete reference for scientists and engineers as it contains over 7, 000 ordinary diff …

Mathematicians have devised different chaotic systems that are modeled by integer or fractional-order differential equations, and whose mathematical models can generate chaos or hyperchaos. The …

The Baseball Mysteries: Challenging Puzzles for Logical Detectives is a book of baseball puzzles, logical baseball puzzles. To jump in, all you need is logic and a casual fan’s knowledge of the game. …

‘ Exploring commutative algebra”s connections with and applications to topological algebra and algebraic geometry, Commutative Ring Theory covers the spectra of rings chain conditions, dimension the …

Model theory is one of the central branches of mathematical logic. The field has evolved rapidly in the last few decades. This book is an introduction to current trends in model theory, and contains …

Based on the fifth Mid-Atlantic Algebra Conference held recently at George Mason University, Fairfax, Virginia. Focuses on both the practical and theoretical aspects of computational algebra. Demonst …

Discrete Mathematics and Applications, Second Edition is intended for a one-semester course in discrete mathematics. Such a course is typically taken by mathematics, mathematics education, and comput …

This book is designed to be a vital companion to math textbooks covering the topics of precalculus, calculus, linear algebra, differential equations, and probability and statistics. While these exist …

This book treats the Atiyah-Singer index theorem using the heat equation, which gives a local formula for the index of any elliptic complex. Heat equation methods are also used to discuss Lefschetz f …