Now at #ICFCA2023: #Late #Breaking Talk by Christian on《Breaking the Barrier: A Computation of the Ninth #Dedekind Number》#WorldRecord #FCA #Applied #Discrete #Maths https://www.kde.cs.uni-kassel.de/icfca2023/latebreaking.html
This server is meant to be a haven for people who research and apply both computer science as well as mathematics, in particular algebra, and their fans ;)