papers
Publications (11)
math.LO2019
Definable relations in finite dimensional subspace lattices with involution. Part II: Quantifier free and homogeneous descriptions
Christian Herrmann, Martin Ziegler
math.LO2019
On the Finiteness Problem for classes of modular lattices
Christian Herrmann
math.LO2016
On the consistency problem for modular lattices and related structures
Christian Herrmann, Yasuyuki Tsukamoto, Martin Ziegler
math.RA2016
Linear representations of regular rings and complemented modular lattices with involution
Christian Herrmann, Marina Semenova
cs.CC2013
Satisfiability of cross product terms is complete for real nondeterministic polytime Blum-Shub-Smale machines
Christian Herrmann, Johanna Sokoli, Martin Ziegler
math.LO2012
Computational Complexity of Quantum Satisfiability
Christian Herrmann, Martin Ziegler
cs.CV2018
Unconstrained Face Detection and Open-Set Face Recognition Challenge
Manuel Günther, Peiyun Hu, Christian Herrmann +12
cs.CV2017
Open Set Logo Detection and Retrieval
Andras Tüzkö, Christian Herrmann, Daniel Manger +1
math.SG2019
(Co)isotropic triples and poset representations
Christian Herrmann, Jonathan Lorand, Alan Weinstein
math.RA2015
Proatomic modular ortholattices: Representation and equational theory
Christian Herrmann, Michael S. Roddy
math.RA2018
On linear representation of $\ast$-regular rings having representable ortholattice of projections
Christian Herrmann, Niklas Niemann