research
∙
02/14/2023
Sizes of flat maximal antichains of subsets
This is the second of two papers investigating for which positive intege...
share
research
∙
02/08/2022
Natural Language Proof Checking in Introduction to Proof Classes – First Experiences with Diproche
We present and analyze the employment of the Diproche system, a natural ...
research
∙
06/04/2021
Maximal antichains of subsets II: Constructions
This is the second in a sequence of three papers investigating the quest...
research
∙
06/04/2021
Maximal antichains of subsets I: The shadow spectrum
Extending a classical theorem of Sperner, we investigate the question fo...
research
∙
03/20/2018