Efficient Multiplication of Dense Matrices over GF(2) - Martin R. Albrecht; Gregory V. Bard; William Hart (CoRR, 2008)

Algorithm 898: Efficient multiplication of dense matrices over GF(2). - Martin R. Albrecht; Gregory V. Bard; William Hart (ACM Trans. Math. Softw., 2010)

Practical Divide-and-Conquer Algorithms for Polynomial Arithmetic. - William Hart; Andrew Novocin (CASC, 2011)

Practical polynomial factoring in polynomial time. - William Hart; Mark van Hoeij; Andrew Novocin (ISSAC, 2011)

Nemo/Hecke: Computer Algebra and Number Theory Packages for the Julia Programming Language. - Claus Fieker; William Hart; Tommy Hofmann; Fredrik Johansson 001 (ISSAC, 2017)

Irregular primes to two billion. - William Hart; David Harvey; Wilson Ong (Math. Comput., 2017)

Short Addition Sequences for Theta Functions. - Andreas Enge; William Hart; Fredrik Johansson 001 (J. Integer Seq., 2018)

Evaluating Language Models for Mathematics through Interactions. - Katherine M. Collins; Albert Q. Jiang; Simon Frieder; Lionel Wong; Miri Zilka; Umang Bhatt; Thomas Lukasiewicz; Yuhuai Wu; Joshua B. Tenenbaum; William Hart; Timothy Gowers; Wenda Li; et al. (CoRR, 2023)

No LLM Solved Yu Tsumura's 554th Problem. - Simon Frieder; William Hart (CoRR, 2025)