Gasiorek, M.; Simson, D.; Zajac, K.
(Algebra and Discrete Mathematics, 2014)
We present symbolic and numerical algorithms for a computer search in the Coxeter spectral classification problems. One of the main aims of the paper is to study finite posets I that are principal, i.e., the rational ...