Steinbach

The field of binary Logics has two main areas of application, the Digital Design of Circuits (related to Electrical Engineering) and Propositional Logics (related to Mathematics, Artificial Intelligence, Complexity etc.). In both cases it is quite possible to teach the theoretical foundations and to do some exercises, but in both cases the examp...

This book provides a detailed description of fast boundary element methods, all based on rigorous mathematical analysis. In particular, the authors use a symmetric formulation of boundary integral equations as well as discussing Galerkin discretisation. All the necessary related stability and error estimates are derived. The authors therefore de...