William Hart

According to our database, William Hart authored at least 8 papers between 2008 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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, Adrian Weller, Mateja Jamnik

CoRR, 2023

2018

Short Addition Sequences for Theta Functions.

Andreas Enge, William Hart, Fredrik Johansson

J. Integer Seq., 2018

2017

Irregular primes to two billion.

William Hart, David Harvey, Wilson Ong

Math. Comput., 2017

Nemo/Hecke: Computer Algebra and Number Theory Packages for the Julia Programming Language.

Claus Fieker, William Hart, Tommy Hofmann, Fredrik Johansson

Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, 2017

2011

Practical polynomial factoring in polynomial time.

William Hart, Mark van Hoeij, Andrew Novocin

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2011

Practical Divide-and-Conquer Algorithms for Polynomial Arithmetic.

William Hart, Andrew Novocin

Proceedings of the Computer Algebra in Scientific Computing - 13th International Workshop, 2011

2010

Algorithm 898: Efficient multiplication of dense matrices over GF(2).

Martin R. Albrecht, Gregory V. Bard, William Hart

ACM Trans. Math. Softw., 2010

2008

Efficient Multiplication of Dense Matrices over GF(2)

Martin R. Albrecht, Gregory V. Bard, William Hart

CoRR, 2008