Associate Professor David Harvey

Books

Book Chapters

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,

Edited Books

Journal Articles

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

Working Papers

Other

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 F2⁶⁰', 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,

51�Թ�app

Follow

Associate Professor David Harvey