Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
18 | Michael R. Vaughan-Lee |
On 4-Engel Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 10, pp. 341-353, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Kalvis M. Jansons, Paul D. Metcalfe |
Optimally Coupling the Kolmogorov Diffusion, and Related Optimal Control Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 10, pp. 1-20, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Guy McCusker |
Categorical Models of Syntactic Control of Intereference Revisited, Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 10, pp. 176-206, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Michael R. Vaughan-Lee |
Simple Lie Algebras of Low Dimension Over GF (2). ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 9, pp. 174-192, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Robert Sinclair, Minoru Tanaka |
A Bound on the Number of Endpoints of the Cut Locus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 9, pp. 21-39, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Maska Law, Alice C. Niemeyer, Cheryl E. Praeger, Ákos Seress |
A Reduction Algorithm for Large-Base Primitive Permutation Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 9, pp. 159-173, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Katsiaryna Krupchyk, Jukka Tuomela |
The Sharpiro-Lopatinskij Condition for Elliptic Boundary Value Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 9, pp. 287-329, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Luís Machado, Fátima Silva Leite, Knut Hüper |
Riemannian Means as Solutions of Variational Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 9, pp. 86-103, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Ruth Gornet, Jeffrey McGowan |
Lens Spaces, Isospectral on Forms but not on Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 9, pp. 270-286, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Robert Granger, Dan Page, Martijn Stam |
On Small Characteristic Algebraic Tori in Pairing-Based Cryptography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 9, pp. 64-85, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | A. S. Detinko, Dane L. Flannery |
Computing in Nilpotent Matrix Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 9, pp. 104-134, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Michael Batty, Andrew J. Duncan, Samuel L. Braunstein |
Extending the Promise of the Deutsch-Jozsa-Høyer Algorithm for Finite Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 9, pp. 40-63, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Alan G. B. Lauder |
A Recursive Method for Computing Zeta Functions of Varieties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 9, pp. 222-269, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Anthony J. Roberts |
Resolving the Multitude of Microscale Interactions Accurately Models Stochastic Partial Differential Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 9, pp. 193-221, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Takakazu Satoh |
On Polynomial Interpolations related to Verheul Homomorphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 9, pp. 135-158, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Leslie Ann Goldberg, Markus Jalsenius, Russell Martin, Mike Paterson |
Improved Mixing Bounds for the Anti-Ferromagnetic Potts Model on Z2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 9, pp. 1-20, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Denis Xavier Charles, Kristin E. Lauter |
Computing Modular Polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 8, pp. 195-204, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Martine Girard, Leopoldo Kulesz |
Computation of Sets of Rational Points of Genus-3 Curves via the Dem'Janenko-Manin Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 8, pp. 267-300, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | L. C. O. Almeida, S. C. Coutinho |
On Homogenous Minimal Involutive Varieties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 8, pp. 301-315, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Rui C. Rodrigues, Fatima Silva Leite, Janusz Jakubiak |
A New Geometric Algorithm to Generate Smooth Interpolating Curves on Riemannian Manifolds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 8, pp. 251-266, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Imin Chen |
A Diophantine Equation Associated to X0(5). ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 8, pp. 116-121, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Gunter Malle, David P. Roberts |
Number Fields with Discriminant ±2a3b and Galois Group An or Sn. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 8, pp. 80-101, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Sophie Ambrose, Max Neunhöffer, Cheryl E. Praeger, Csaba Schneider |
Generalised Sifting in Black-Box Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 8, pp. 217-250, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Jaime Gutierrez 0001, Tony Shaska |
Hyperelliptic Curves with Extra Involutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 8, pp. 102-115, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Christoph Jansen |
The Minimal Degrees of Faithful Representations of the Sporadic Simple Groups and their Covering Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 8, pp. 122-144, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Richard W. Barraclough, Robert A. Wilson |
Conjugacy Class Representatives in the Monster Group. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 8, pp. 205-216, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Derek F. Holt, Colva M. Roney-Dougal |
Constructing Maximal Subgroups of Classical Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 8, pp. 46-79, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Werner Bley, Markus Endres |
Picard Groups and Refined Discrete Logarithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 8, pp. 1-16, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | John Howse, Gem Stapleton, John Taylor 0001 |
Spider Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 8, pp. 145-194, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | E. Brian Davies |
Spectral Bounds Using Higher-Order Numerical Ranges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 8, pp. 17-45, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Peter Rowley |
Cross Orbits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 7, pp. 219-265, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | E. Brian Davies |
Computing the Decay of a Simple Reversible Sub-Markov Semigroup. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 7, pp. 1-20, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Pascale Jacobs, Dimitri Leemans |
An Algorithmic Analysis of the Intersection Property. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 7, pp. 284-299, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Maxim Vsemirnov |
Hurwitz Groups of Intermediate Rank. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 7, pp. 300-336, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Colin M. Campbell, George Havas, Colin Ramsay, Edmund F. Robertson |
Nice Efficient Presentions for all Small Simple Groups and their Covers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 7, pp. 266-283, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | A. Muzereau, Nigel P. Smart, Frederik Vercauteren |
The Equivalence between the DHP and DLP for Elliptic Curves Used in Practical Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 7, pp. 50-72, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | F. Hess |
Generalising the GHS Attack on the Elliptic Curve Discrete Logarithm Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 7, pp. 167-192, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Ken McMurdy |
Stable Model of X0(125). ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 7, pp. 21-36, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | P. C. Matthews |
Automating Symmetry-Breaking Calculations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 7, pp. 101-119, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Chris J. Bates, Peter Rowley |
Involutions in Conway's Largest Simple Group. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 7, pp. 337-351, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Huiling Le |
Estimation of Riemannian Barycentres. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 7, pp. 193-200, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Peter M. Neumann, Cheryl E. Praeger |
On Tensor-Factorisation Problems, I: The Combinatorial Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 7, pp. 73-100, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Jianbei An, Robert A. Wilson |
The Alperin Weight Conjecture and Uno's Conjecture for the Baby Monster B, p Odd. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 7, pp. 120-166, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Mihai Cipu |
Upper Bounds for Norms of Products of Binomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 7, pp. 37-49, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Steven D. Galbraith, Victor Rotger |
Easy Decision Diffie-Hellman Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 7, pp. 201-218, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Jitse Niesen |
A Priori Estimates for the Global Error Committed by Runge-Kutta Methods for a Nonlinear Oscillator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 6, pp. 18-28, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Jianbei An, Eamonn A. O'Brien, Robert A. Wilson |
The Alperin Weight Conjecture and Dade's Conjecture for the Simple Group J4. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 6, pp. 119-140, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Willem A. de Graaf |
An Algorithm to Compute the Canonical Basis of an Irreducible Module Over a Quantized Enveloping Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 6, pp. 105-118, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Lawrence C. Paulson |
The Relative Consistency of the Axiom of Choice Mechanized Using Isabelle⁄zf. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 6, pp. 198-248, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Douglas S. Bridges, Luminita Vîta |
Strong and Uniform Continuity - the Uniform Space Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 6, pp. 326-334, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Jin Ho Kwak, Jaeun Lee, Alexander D. Mednykh |
Enumerating Branched Surface Coverings from Unbranched Ones. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 6, pp. 89-104, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Peter A. Brooksbank |
Fast Constructive Recognition of Black-Box Unitary Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 6, pp. 162-197, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Xuerong Mao |
Numerical Solutions of Stochastic Functional Differential Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 6, pp. 141-161, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Desmond J. Higham, Xuerong Mao, Andrew M. Stuart |
Exponential Mean-Square Stability of Numerical Solutions to Stochastic Differential Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 6, pp. 297-313, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Werner Bley |
Numerical Evidence for a Conjectural Generalization of Hilbert's Theorem 132. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 6, pp. 68-88, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Iain A. Stewart |
Using Program Schemes to Capture Polynomial-Time Logically on Certain Classes of Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 6, pp. 40-67, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Michael J. Mossinghoff |
Polynomials with Restricted Coefficients and Prescribed Noncyclotomic Factors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 6, pp. 314-325, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Bettina Eick, Burkhard Höfling |
The Solvable Primitive Permutation Groups of Degree at Most 6560. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 6, pp. 29-39, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Michael Levitin, Rustem Yagudin |
Range of the First Three Eigenvalues of the Planar Dirichlet Laplacian. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 6, pp. 1-17, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Paul P. Martin, David Woodcock |
Generalized Blob Algebras and Alcove Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 6, pp. 249-296, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Markus Maurer, Alfred Menezes, Edlyn Teske |
Analysis of the GHS Weil Descent Attack on the ECDLP over Characteristic Two Finite Fields of Composite Degree. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 5, pp. 127-174, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Alan G. B. Lauder, Daqing Wan |
Computing Zeta Functions of Artin-schreier Curves over Finite Fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 5, pp. 34-55, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Mark Utting, Peter J. Robinson 0001, Ray Nickson |
Ergo 6: A Generic Proof Engine that Uses Prolog Proof Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 5, pp. 194-219, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Laird A. Breyer, Gareth O. Roberts |
A New Method for Coupling Random Fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 5, pp. 77-94, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Jürgen Müller 0004, Max Neunhöffer, Frank Röhr, Robert A. Wilson |
Completing the Brauer Trees for the Sporadic Simple Lyons Group. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 5, pp. 18-33, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Gerhard Hiss, Gunter Malle |
Corrigenda: Low-dimensional Representations of Quasi-simple Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 5, pp. 95-126, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Keith Harrison, Dan Page, Nigel P. Smart |
Software Implementation of Finite Fields of Characteristic Three, for Use in Pairing-based Cryptosystems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 5, pp. 181-193, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Michael J. C. Gordon |
Programming Combinations of Deduction and BDD-based Symbolic Calculation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 5, pp. 56-76, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Michael Stoll, John Cremona |
Minimal Models for 2-coverings of Elliptic Curves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 5, pp. 220-243, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Robert A. Wilson |
Conjugacy Class Representatives in Fischer's Baby Monster. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 5, pp. 175-180, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Denis Simon |
Computing the Rank of Elliptic Curves over Number Fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 5, pp. 7-17, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Sami Omar |
Note on the Contribution of Low Zeros to Weil's Explicit Formula for Minimal Discriminants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 5, pp. 1-6, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Peter Dräxler |
Representation-Directed Diamonds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 4, pp. 14-21, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Gerhard Hiss, Gunter Malle |
Low-Dimensional Representations of Quasi-Simple Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 4, pp. 22-63, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Alla Detinko |
On Deciding Finiteness for Matrix Groups over Fields of Positive Characteristic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 4, pp. 64-72, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | William A. Stein, Helena A. Verrill |
Cuspidal Modular Symbols are Transportable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 4, pp. 170-181, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | J. E. Cremona |
Reduction of Binary Cubic and Quartic Forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 4, pp. 73, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Frank Lübeck |
Small Degree Representations of Finite Chevalley Groups in Defining Characteristic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 4, pp. 135-169, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Manfred Einsiedler, Graham Everest, Thomas Ward 0001 |
Primes in Elliptic Divisibility Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 4, pp. 1-13, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Javier Chavarriga, Jaume Llibre, Jean Moulin Ollagnier |
On a Result of Darboux. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 4, pp. 197-210, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Birgit Reinert, Dirk Zeckzer |
Coset Enumeration Using Prefix Gröbner Bases: An Experimental Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 4, pp. 74-134, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Jürgen Klüners, Gunter Malle |
A Database for Field Extensions of the Rationals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 4, pp. 182-196, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Leslie Ann Goldberg, Mark Jerrum |
Counting Unlabelled Subtrees of a Tree is #P-complete. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 3, pp. 117-124, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Graeme J. Barclay, David F. Griffiths, Desmond J. Higham |
Theta Method Dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 3, pp. 27-43, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | J. D. Howroyd |
A Domain-Theoretic Approach to Integration in Hausdorff Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 3, pp. 229-273, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Christopher T. H. Baker, Evelyn Buckwar |
Numerical Analysis of Explicit One-Step Methods for Stochastic Delay Differential Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 3, pp. 315-335, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Frauke M. Bleher, Wolfgang Kimmerle |
On the Structure of Integral Group Rings of Sporadic Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 3, pp. 274-306, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | William H. Foster, Ilia Krasikov |
Explicit Bounds for Hermite Polynomials in the Oscillatory Region. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 3, pp. 307-314, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | N. P. Kirk |
Computational Aspects of Classifying Singularities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 3, pp. 207-228, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Jacques D. Fleuriot, Lawrence C. Paulson |
Mechanizing Nonstandard Real Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 3, pp. 140-190, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Andrew A. Adams |
A Formalisation of Weak Normalisation (with Respect to Permutations) of Sequent Calculus Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 3, pp. 1-26, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Stefania Cavallar, Franz Lemmermeyer |
Euclidean Windows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 3, pp. 336-355, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Arieh Iserles, Antonella Zanna |
On the Dimension of Certain Graded Lie Algebras Arising in Geometric Integration of Differential Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 3, pp. 44-75, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Douglas S. Bridges, Robin Havea |
A Constructive Analysis of a Proof that the Numerical Range is Convex. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 3, pp. 191-206, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Catherine S. Greenhill |
An Algorithm for Recognising the Exterior Square of a Multiset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 3, pp. 96-116, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Manfred Einsiedler, Graham Everest, Thomas Ward 0001 |
Primes in Sequences Associated to Polynomials (After Lehmer). ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 3, pp. 125-139, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Bernd Borchert, Lane A. Hemaspaandra, Jörg Rothe |
Restrictive Acceptance Suffices for Equivalence Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 3, pp. 86-95, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | B. M. Brown, Michael S. P. Eastham |
Spectral Concentration for Perturbed Equations of Harmonic Oscillator Type. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 3, pp. 76-85, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Graham Ellis, Irina Kholodna |
Three-Dimensional Presentations for the Groups of Order at Most 30. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 2, pp. 93-117, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
18 | E. Brian Davies |
The Computation of Thresholds for Schrödinger Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 2, pp. 139-154, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|