¶¶Òõ¶ÌÊÓƵ

Associate Professor David Harvey

Associate Professor David Harvey

Associate Professor
Science
School of Mathematics & Statistics

For more information about David Harvey, see his .

Phone
9385 7088
Location
School of Mathematics and Statistics University of New South Wales Sydney NSW 2052 The Red Centre Room 6108
  • Book Chapters | 2013
    Brent RP; Harvey D, 2013, 'Fast Computation of Bernoulli, Tangent and Secant Numbers', in Baile DHB; Bauschke HH; Borwein P; Garvan F; Théra M; Vanderwerff JD; Wolkowicz H (ed.), Computational and Analytical Mathematics, pp. 127 - 142,
  • Journal articles | 2024
    Harvey D, 2024, 'FASTER TRUNCATED INTEGER MULTIPLICATION', Mathematics of Computation, 93, pp. 1265 - 1296,
    Journal articles | 2023
    Costa E; Harvey D; Sutherland AV, 2023, 'Counting points on smooth plane quartics', Research in Number Theory, 9,
    Journal articles | 2022
    Harvey D; Hittmeir M, 2022, 'A LOG-LOG SPEEDUP FOR EXPONENT ONE-FIFTH DETERMINISTIC INTEGER FACTORISATION', Mathematics of Computation, 91, pp. 1367 - 1379,
    Journal articles | 2022
    Harvey D; Hittmeir M, 2022, 'A deterministic algorithm for finding r-power divisors', Research in Number Theory, 8,
    Journal articles | 2022
    Harvey D; Van Der Hoeven J, 2022, 'Polynomial Multiplication over Finite Fields in Time O(n logn)', Journal of the ACM, 69,
    Journal articles | 2021
    Harvey D; van der Hoeven J, 2021, 'Integer multiplication in time O(n log n)', Annals of Mathematics, 193, pp. 563 - 617,
    Journal articles | 2021
    Harvey D, 2021, 'AN EXPONENT ONE-FIFTH ALGORITHM FOR DETERMINISTIC INTEGER FACTORISATION', Mathematics of Computation, 90, pp. 2937 - 2950,
    Journal articles | 2019
    Costa E; Harvey D; Kedlaya K, 2019, 'Zeta functions of nondegenerate hypersurfaces in toric varieties via controlled reduction in p-adic cohomology', The Open Book Series, 2, pp. 221 - 238,
    Journal articles | 2019
    Harvey D; van der Hoeven J, 2019, 'Faster integer multiplication using short lattice vectors', The Open Book Series, 2, pp. 293 - 310,
    Journal articles | 2019
    Harvey D; van der Hoeven J, 2019, 'Faster polynomial multiplication over finite fields using cyclotomic coefficient rings', Journal of Complexity, 54,
    Journal articles | 2018
    Harvey D; Van Der Hoeven J, 2018, 'Faster integer multiplication using Plain Vanilla FFT primes', Mathematics of Computation, 88, pp. 501 - 514,
    Journal articles | 2018
    Harvey D; van der Hoeven J, 2018, 'On the complexity of integer matrix multiplication', Journal of Symbolic Computation, 89, pp. 1 - 8,
    Journal articles | 2017
    Hart W; Harvey D; Ong W, 2017, 'Irregular primes to two billion', Mathematics of Computation, 86, pp. 3031 - 3049,
    Journal articles | 2017
    Harvey D; Van Der Hoeven J; Lecerf G, 2017, 'Faster polynomial multiplication over finite fields', Journal of the ACM, 63,
    Journal articles | 2016
    Harvey D; van der Hoeven J; Lecerf G, 2016, 'Even faster integer multiplication', Journal of Complexity, 36, pp. 1 - 30,
    Journal articles | 2015
    Harvey D, 2015, 'Computing zeta functions of arithmetic schemes', Proceedings of the London Mathematical Society, 111, pp. 1379 - 1401,
    Journal articles | 2014
    Costa E; Gerbicz R; Harvey D, 2014, 'A search for Wilson primes', Mathematics of Computation, 83, pp. 3071 - 3091,
    Journal articles | 2014
    Costa E; Harvey D, 2014, 'Faster deterministic integer factorization', Mathematics of Computation, 83, pp. 339 - 345,
    Journal articles | 2014
    Harvey D; Sutherland AV, 2014, 'Computing Hasse-Witt matrices of hyperelliptic curves in average polynomial time', LMS Journal of Computation and Mathematics, 17, pp. 257 - 273,
    Journal articles | 2014
    Harvey D, 2014, 'A subquadratic algorithm for computing the n-th Bernoulli number', Mathematics of Computation, 83, pp. 2471 - 2477,
    Journal articles | 2014
    Harvey D, 2014, 'Counting points on hyperelliptic curves in average polynomial time', Annals of Mathematics, 179, pp. 783 - 803,
    Journal articles | 2014
    Harvey D, 2014, 'Faster arithmetic for number-theoretic transforms', Journal of Symbolic Computation, 60, pp. 113 - 119,
    Journal articles | 2013
    Harvey D; Shparlinski IE, 2013, 'Statistics of different reduction types of fermat curves', Experimental Mathematics, 22, pp. 243 - 249,
    Journal articles | 2012
    Harvey D; Hassett B; Tschinkel Y, 2012, 'Characterizing projective spaces on deformations of Hilbert schemes of K3 surfaces', Communications on Pure and Applied Mathematics, 65, pp. 264 - 286,
    Journal articles | 2012
    Harvey D, 2012, 'The Karatsuba integer middle product', Journal of Symbolic Computation, 47, pp. 954 - 967,
    Journal articles | 2011
    Buhler JP; Harvey D, 2011, 'Irregular primes to 163 million', Mathematics of Computation, 80, pp. 2435 - 2444,
    Journal articles | 2011
    Harvey D, 2011, 'Faster algorithms for the square root and reciprocal of power series', Mathematics of Computation, 80, pp. 387 - 394,
    Journal articles | 2010
    Harvey D, 2010, 'A multimodular algorithm for computing Bernoulli numbers', Mathematics of Computation, 79, pp. 2361 - 2370,
    Journal articles | 2009
    Harvey D, 2009, 'A cache-friendly truncated FFT', Theoretical Computer Science, 410, pp. 2649 - 2658,
    Journal articles | 2009
    Harvey D, 2009, 'Faster polynomial multiplication via multipoint Kronecker substitution', Journal of Symbolic Computation, 44, pp. 1502 - 1510,
    Journal articles | 2008
    Harvey D, 2008, 'Efficient computation of p-adic heights', LMS Journal of Computation and Mathematics, 11, pp. 40 - 59,
    Journal articles | 2007
    Harvey D, 2007, 'Kedlaya's algorithm in larger characteristic', International Mathematics Research Notices, 2007, pp. rnm095,
    Journal articles | 2004
    Harvey D, 2004, 'Selberg's Symmetry Formula', Expositiones Mathematicae, 22, pp. 185 - 195,
    Journal articles | 2002
    Harvey DM; Harvey D, 2002, 'The `Happy End` problem', Parabola, 38, pp. 5 - 9
  • Preprints | 2022
    Harvey D; Hittmeir M, 2022, A deterministic algorithm for finding $r$-power divisors,
    Preprints | 2021
    Harvey D; Hittmeir M, 2021, A log-log speedup for exponent one-fifth deterministic integer factorisation,
    Conference Papers | 2016
    Harvey D; Massierer M; Sutherland AV, 2016, 'Computing L-series of geometrically hyperelliptic curves of genus three', in LMS Journal of Computation and Mathematics, University of Kaiserslautern, Germany, pp. 220 - 234, presented at Algorithmic Number Theory Symposium XII, University of Kaiserslautern, Germany, 29 August 2016 - 02 September 2016,
    Preprints | 2016
    Harvey D; Massierer M; Sutherland AV, 2016, Computing L-series of geometrically hyperelliptic curves of genus three,
    Conference Papers | 2016
    Harvey D; Sutherland AV, 2016, 'Computing Hasse-Witt matrices of hyperelliptic curves in average polynomial time, II', pp. 127 - 147,
    Conference Papers | 2016
    Harvey D; Van Der Hoeven J; Lecerf G, 2016, 'Fast polynomial multiplication over F260', in Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC, pp. 255 - 262,
    Preprints | 2014
    Harvey D; van der Hoeven J; Lecerf G, 2014, Even faster integer multiplication,
    Preprints | 2014
    Harvey D; van der Hoeven J; Lecerf G, 2014, Faster polynomial multiplication over finite fields,
    Preprints | 2012
    Costa E; Gerbicz R; Harvey D, 2012, A search for Wilson primes,
    Conference Papers | 2011
    Harvey D; Zimmermann P, 2011, 'Short division of long integers', in 20th IEEE Symposium on Computer Arithmetic (ARITH 20), IEEE, Tuebingen, pp. 7 - 14, presented at 20th IEEE Symposium on Computer Arithmetic, Tuebingen,
    Conference Papers | 2010
    Harvey DM; Roche DS, 2010, 'An in-place truncated fourier transform and applications to polynomial multiplication', in ISSAC '10 Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation, Munich, Germany, pp. 325 - 329, presented at ISSAC International Symposium on Symbolic and Algebraic Computation, Munich, Germany, 25 July 2010 - 28 July 2010,