Back to
Associate Professor David Harvey
Associate Professor

Associate Professor David Harvey

Science
School of Mathematics & Statistics

For more information about David Harvey, see his personal web page.
Phone
9385 7088
E-mail
d.harvey@unsw.edu.au
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, http://dx.doi.org/10.1007/978-1-4614-7621-4_8
  • Journal articles | 2023
    Costa E; Harvey D; Sutherland AV, 2023, 'Counting points on smooth plane quartics', Research in Number Theory, 9, http://dx.doi.org/10.1007/s40993-022-00397-8
    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, http://dx.doi.org/10.1090/mcom/3708
    Journal articles | 2022
    Harvey D; Hittmeir M, 2022, 'A deterministic algorithm for finding r-power divisors', Research in Number Theory, 8, http://dx.doi.org/10.1007/s40993-022-00387-w
    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, pp. 1 - 40, http://dx.doi.org/10.1145/3505584
    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, http://dx.doi.org/10.4007/annals.2021.193.2.4
    Journal articles | 2021
    Harvey D, 2021, 'AN EXPONENT ONE-FIFTH ALGORITHM FOR DETERMINISTIC INTEGER FACTORISATION', Mathematics of Computation, 90, pp. 2937 - 2950, http://dx.doi.org/10.1090/mcom/3658
    Journal articles | 2019
    Harvey D; van der Hoeven J, 2019, 'Faster polynomial multiplication over finite fields using cyclotomic coefficient rings', Journal of Complexity, 54, http://dx.doi.org/10.1016/j.jco.2019.03.004
    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, http://dx.doi.org/10.1090/mcom/3328
    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, http://dx.doi.org/10.1016/j.jsc.2017.11.001
    Journal articles | 2017
    Hart W; Harvey D; Ong W, 2017, 'Irregular primes to two billion', Mathematics of Computation, 86, pp. 3031 - 3049, http://dx.doi.org/10.1090/mcom/3211
    Journal articles | 2017
    Harvey D; Van Der Hoeven J; Lecerf G, 2017, 'Faster polynomial multiplication over finite fields', Journal of the ACM, 63, http://dx.doi.org/10.1145/3005344
    Journal articles | 2016
    Harvey D; van der Hoeven J; Lecerf G, 2016, 'Even faster integer multiplication', Journal of Complexity, 36, pp. 1 - 30, http://dx.doi.org/10.1016/j.jco.2016.03.001
    Journal articles | 2015
    Harvey D, 2015, 'Computing zeta functions of arithmetic schemes', Proceedings of the London Mathematical Society, 111, pp. 1379 - 1401, http://dx.doi.org/10.1112/plms/pdv056
    Journal articles | 2014
    Costa E; Gerbicz R; Harvey D, 2014, 'A search for Wilson primes', Mathematics of Computation, 83, pp. 3071 - 3091, http://dx.doi.org/10.1090/S0025-5718-2014-02800-7
    Journal articles | 2014
    Costa E; Harvey D, 2014, 'Faster deterministic integer factorization', Mathematics of Computation, 83, pp. 339 - 345, http://dx.doi.org/10.1090/S0025-5718-2013-02707-X
    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, http://dx.doi.org/10.1112/S1461157014000187
    Journal articles | 2014
    Harvey D, 2014, 'A subquadratic algorithm for computing the n-th Bernoulli number', Mathematics of Computation, 83, pp. 2471 - 2477, http://dx.doi.org/10.1090/S0025-5718-2014-02832-9
    Journal articles | 2014
    Harvey D, 2014, 'Counting points on hyperelliptic curves in average polynomial time', Annals of Mathematics, 179, pp. 783 - 803, http://dx.doi.org/10.4007/annals.2014.179.2.7
    Journal articles | 2014
    Harvey D, 2014, 'Faster arithmetic for number-theoretic transforms', Journal of Symbolic Computation, 60, pp. 113 - 119, http://dx.doi.org/10.1016/j.jsc.2013.09.002
    Journal articles | 2013
    Harvey D; Shparlinski IE, 2013, 'Statistics of different reduction types of fermat curves', Experimental Mathematics, 22, pp. 243 - 249, http://dx.doi.org/10.1080/10586458.2013.790201
    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, http://dx.doi.org/10.1002/cpa.20384
    Journal articles | 2012
    Harvey D, 2012, 'The Karatsuba integer middle product', Journal of Symbolic Computation, 47, pp. 954 - 967, http://dx.doi.org/10.1016/j.jsc.2012.02.001
    Journal articles | 2011
    Buhler JP; Harvey D, 2011, 'Irregular primes to 163 million', Mathematics of Computation, 80, pp. 2435 - 2444, http://dx.doi.org/10.1090/S0025-5718-2011-02461-0
    Journal articles | 2011
    Harvey D, 2011, 'Faster algorithms for the square root and reciprocal of power series', Mathematics of Computation, 80, pp. 387 - 394, http://dx.doi.org/10.1090/S0025-5718-2010-02392-0
    Journal articles | 2010
    Harvey D, 2010, 'A multimodular algorithm for computing Bernoulli numbers', Mathematics of Computation, 79, pp. 2361 - 2370, http://dx.doi.org/10.1090/S0025-5718-2010-02367-1
    Journal articles | 2009
    Harvey D, 2009, 'A cache-friendly truncated FFT', Theoretical Computer Science, 410, pp. 2649 - 2658, http://dx.doi.org/10.1016/j.tcs.2009.03.014
    Journal articles | 2009
    Harvey D, 2009, 'Faster polynomial multiplication via multipoint Kronecker substitution', Journal of Symbolic Computation, 44, pp. 1502 - 1510, http://dx.doi.org/10.1016/j.jsc.2009.05.004
    Journal articles | 2008
    Harvey D, 2008, 'Efficient computation of p-adic heights', LMS Journal of Computation and Mathematics, 11, pp. 40 - 59, http://dx.doi.org/10.1112/S1461157000000528
    Journal articles | 2007
    Harvey D, 2007, 'Kedlaya's algorithm in larger characteristic', International Mathematics Research Notices, 2007, pp. rnm095, http://dx.doi.org/10.1093/imrn/rnm095
    Journal articles | 2004
    Harvey D, 2004, 'Selberg's Symmetry Formula', Expositiones Mathematicae, 22, pp. 185 - 195, http://dx.doi.org/10.1016/S0723-0869(04)80011-2
    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, , http://dx.doi.org/10.48550/arxiv.2202.12401
    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, http://dx.doi.org/10.1112/S1461157016000383
    Conference Papers | 2016
    Harvey D; Sutherland AV, 2016, 'Computing Hasse-Witt matrices of hyperelliptic curves in average polynomial time, II', in Kohel D; Shparlinski I (ed.), FROBENIUS DISTRIBUTIONS: LANG-TROTTER AND SATO-TATE CONJECTURES, AMER MATHEMATICAL SOC, Ctr Int Rencontres Math, Marseille, FRANCE, pp. 127 - 147, presented at Winter School and Workshop on Frobenius Distributions on Curves, Ctr Int Rencontres Math, Marseille, FRANCE, 17 February 2014 - 28 February 2014, http://dx.doi.org/10.1090/conm/663/13352
    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, http://dx.doi.org/10.1145/2930889.2930920
    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, http://dx.doi.org/10.1109/ARITH.2011.11
    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, http://dx.doi.org/10.1145/1837934.1837996