61 citations · 78 across the 8 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.MS2019
Bembel: The Fast Isogeometric Boundary Element C++ Library for Laplace, Helmholtz, and Electric Wave Equation
J. Dölz, H. Harbrecht, S. Kurz +3
In this article, we present Bembel, the C++ library featuring higher order isogeometric Galerkin boundary element methods for Laplace, Helmholtz, and Maxwell problems. Bembel is co…
cs.LO2019
Bisimulation Invariant Monadic-Second Order Logic in the Finite
Achim Blumensath, Felix Wolf
We consider bisimulation-invariant monadic second-order logic over various classes of finite transition systems. We present several combinatorial characterisations of when the expr…