Solving systems of equations on antichains for the computation of the ninth Dedekind Number

Patrick De Causmaecker, Lennart Van Hirtum

We study systems of equations on antichains, together with a way to count the number of solutions. We start with a simple example, generalise and show more applications. One of the…