2 papers
math.SG2019
(Co)isotropic triples and poset representations
Christian Herrmann, Jonathan Lorand, Alan Weinstein
We study triples of coisotropic or isotropic subspaces in symplectic vector spaces; in particular, we classify indecomposable structures of this kind. The classification depends on…
math.LO2016
On the consistency problem for modular lattices and related structures
Christian Herrmann, Yasuyuki Tsukamoto, Martin Ziegler
The consistency problem for a class of algebraic structures asks for an algorithm to decide for any given conjunction of equations whether it admits a non-trivial satisfying assign…