Electronic Books

Total Books: 1 - 20 /144

A Concise Course on Stochastic Partial Differential Equations

Concentrate on (nonlinear) stochastic partial differential equations (SPDE) of evolutionary type. All kinds of dynamics ...

A Geometric Approach to Differential Forms

The modern subject of differential forms subsumes classical vector calculus. This text presents differential forms from a ...

A Geometric Approach to Differential Forms

The modern subject of differential forms subsumes classical vector calculus. This text presents differential forms from a ...

A Natural Introduction to Probability Theory

According to Leo Breiman (1968), probability theory has a right and a left hand. The right hand refers to rigorous mathematics, ...

Abstraction, Reformulation and Approximation

This volume contains the proceedings of the 6th Symposium on Abstraction, Reformulation and Approximation (SARA 2005). the ...

Abstraction, Reformulation, and Approximation

This volume contains the proceedings of SARA 2007, the seventh symposium, held at Whistler Village, British Columbia, Canada, ...

Advanced Linear Algebra

The first part of the book contains a careful but rapid discussion of the basics of linear algebra, including vector spaces, ...

Algebraic Geometry : An Introduction

The book starts with easily-formulated problems with non-trivial solutions – for example, Bézout’s theorem and the problem ...

Algebraic Methodology and Software Technology : 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings

This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software ...

Algebras, Rings and Modules

Covers the major topics in ring and module theory and includes both fundamental classical results and more developments. ...

An Invitation to Abstract Mathematics

this book begins with a playful exploration of the building blocks of mathematics, such as definitions, axioms, and proofs. ...

Applied Proof Theory: Proof Interpretations and Their Use in Mathematics

Ulrich Kohlenbach presents an applied form of proof theory that has led in recent years to new results in number theory, ...

Artificial Intelligence and Symbolic Computation

This book constitutes the refereed proceedings of the 8th International Conference on Artificial Intelligence and Symbolic ...

Artinian Modules over Group Rings

This book highlights important developments on artinian modules over group rings of generalized nilpotent groups. Along with ...

Asymptotic Theory of Statistics and Probability

This book is an encyclopedic treatment of classic as well as contemporary large sample theory, dealing with both statistical ...

Automated Deduction in Geometry

The book show the lively variety of topics and methods and the current applicability of automated deduction in geometry to ...

Automated Deduction in Geometry

The book show the lively variety of topics and methods and the current applicability of automated deduction in geometry to ...

Automated Deduction in Geometry

This book constitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Automated Deduction in ...

Automated Deduction – CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings

This book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually ...

Automated Deduction – CADE-20

This book constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held ...

Total Books: 1 - 20 /144