William Hart

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 5

Top Topics

Computer Algebra

Multiresolution

Top Venues

J. Integer Seq.

Publications

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
Evaluating Language Models for Mathematics through Interactions. CoRR (2023)
Andreas Enge, William Hart, Fredrik Johansson
Short Addition Sequences for Theta Functions. J. Integer Seq. 21 (2) (2018)
Claus Fieker, William Hart, Tommy Hofmann, Fredrik Johansson
Nemo/Hecke: Computer Algebra and Number Theory Packages for the Julia Programming Language. CoRR (2017)
Claus Fieker, William Hart, Tommy Hofmann, Fredrik Johansson
Nemo/Hecke: Computer Algebra and Number Theory Packages for the Julia Programming Language. ISSAC (2017)
William Hart, David Harvey, Wilson Ong
Irregular primes to two billion. Math. Comput. 86 (308) (2017)
William Hart, Mark van Hoeij, Andrew Novocin
Practical polynomial factoring in polynomial time. ISSAC (2011)
William Hart, Andrew Novocin
Practical Divide-and-Conquer Algorithms for Polynomial Arithmetic. CASC (2011)
Martin R. Albrecht, Gregory V. Bard, William Hart
Algorithm 898: Efficient multiplication of dense matrices over GF(2). ACM Trans. Math. Softw. 37 (1) (2010)
Martin R. Albrecht, Gregory V. Bard, William Hart
Efficient Multiplication of Dense Matrices over GF(2) CoRR (2008)