LMS Journal of Computation and Mathematics

Volume 3 (2000)
A. A. Adams
A formalisation of weak normalisation (with respect to permutations) of sequent calculus proofs   1
Graeme J. Barclay, David F. Griffiths and Desmond J. Higham
Theta method dynamics   27
Arieh Iserles and Antonella Zanna
On the dimension of certain graded Lie algebras arising in geometric integration of differential equations   44
B. M. Brown and M. S. P. Eastham
Spectral concentration for perturbed equations of harmonic oscillator type   76
Bernd Borchert, Lane A. Hemaspaandra and Jörg Rothe
Restrictive acceptance suffices for equivalence problems   86
Catherine Greenhill
An algorithm for recognising the exterior square of a multiset   96
Leslie Ann Goldberg and Mark Jerrum
Counting unlabelled subtrees of a tree is #P-complete   117
Manfred Einsiedler, Graham Everest and Thomas Ward
Primes in sequences associated to polynomials (after Lehmer)   125
Jacques D. Fleuriot and Lawrence C. Paulson
Mechanizing nonstandard real analysis   140
Douglas Bridges and Robin Havea
A constructive analysis of a proof that the numerical range is convex   191
N. P. Kirk
Computational aspects of classifying singularities   207
J. D. Howroyd
A domain-theoretic approach to integration in Hausdorff spaces   229
Frauke M. Bleher and Wolfgang Kimmerle
On the structure of integral group rings of sporadic groups   274
William H. Foster and Ilia Krasikov
Explicit bounds for Hermite polynomials in the oscillatory region   307
Christopher T. H. Baker and Evelyn Buckwar
Numerical analysis of explicit one-step methods for stochastic delay differential equations   315
Stefania Cavallar and Franz Lemmermeyer
Euclidean windows   336

LMS JCM Homepage
Volume 1 (1998)
Volume 2 (1999)
Volume 3 (2000)
Volume 4 (2001)
Volume 5 (2002)
Volume 6 (2003)
Volume 7 (2004)
Volume 8 (2005)
Volume 9 (2006)
Volume 10 (2007)
Volume 11 (2008)
Volume 12 (2009)