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

Gallicchio, James

  1. Formal Verification of the Empty Hexagon Number
    2024/03/26 by Subercaseaux, Bernardo, Nawrocki, Wojciech, Gallicchio, James +3 · 1 citation
    #Computational Geometry (cs.CG) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)