vix.ing · top · new · best · stats · spec

Van Hirtum, Lennart

  1. 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
  2. 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