Van Hirtum, Lennart
- A computation of D(9) using FPGA Supercomputing
2023/04/06 by Lennart Van Hirtum, Van Hirtum, Lennart, Patrick De Causmaecker +11 · 1 voice · 1 citation
Computer Science · Mathematics · #Combinatorics (math.CO) #Discrete Mathematics (cs.DM) #FOS: Computer and information sciences #FOS: Mathematics #cs.DM #math.CO
- Solving systems of equations on antichains for the computation of the ninth Dedekind Number
2024/05/31 by Patrick De Causmaecker, Lennart Van Hirtum, De Causmaecker, Patrick +1 · 1 citation
Computer Science · Mathematics · #Advanced Topics in Algebra #Algebraic structures and combinatorial models #Combinatorics (math.CO) #Discrete Mathematics (cs.DM) #FOS: Computer and information sciences #FOS: Mathematics #Polynomial and algebraic computation