Search results for "LMS"

Hits ?▲	Authors	Title	Venue	Year	Link
18	Michael R. Vaughan-Lee	On 4-Engel Groups.	LMS J. Comput. Math.	2007	DBLP DOI BibTeX RDF
18	Kalvis M. Jansons, Paul D. Metcalfe	Optimally Coupling the Kolmogorov Diffusion, and Related Optimal Control Problems.	LMS J. Comput. Math.	2007	DBLP DOI BibTeX RDF
18	Guy McCusker	Categorical Models of Syntactic Control of Intereference Revisited, Revisited.	LMS J. Comput. Math.	2007	DBLP DOI BibTeX RDF
18	Michael R. Vaughan-Lee	Simple Lie Algebras of Low Dimension Over GF (2).	LMS J. Comput. Math.	2006	DBLP DOI BibTeX RDF
18	Robert Sinclair, Minoru Tanaka	A Bound on the Number of Endpoints of the Cut Locus.	LMS J. Comput. Math.	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.	LMS J. Comput. Math.	2006	DBLP DOI BibTeX RDF
18	Katsiaryna Krupchyk, Jukka Tuomela	The Sharpiro-Lopatinskij Condition for Elliptic Boundary Value Problems.	LMS J. Comput. Math.	2006	DBLP DOI BibTeX RDF
18	Luís Machado, Fátima Silva Leite, Knut Hüper	Riemannian Means as Solutions of Variational Problems.	LMS J. Comput. Math.	2006	DBLP DOI BibTeX RDF
18	Ruth Gornet, Jeffrey McGowan	Lens Spaces, Isospectral on Forms but not on Functions.	LMS J. Comput. Math.	2006	DBLP DOI BibTeX RDF
18	Robert Granger, Dan Page, Martijn Stam	On Small Characteristic Algebraic Tori in Pairing-Based Cryptography.	LMS J. Comput. Math.	2006	DBLP DOI BibTeX RDF
18	A. S. Detinko, Dane L. Flannery	Computing in Nilpotent Matrix Groups.	LMS J. Comput. Math.	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.	LMS J. Comput. Math.	2006	DBLP DOI BibTeX RDF
18	Alan G. B. Lauder	A Recursive Method for Computing Zeta Functions of Varieties.	LMS J. Comput. Math.	2006	DBLP DOI BibTeX RDF
18	Anthony J. Roberts	Resolving the Multitude of Microscale Interactions Accurately Models Stochastic Partial Differential Equations.	LMS J. Comput. Math.	2006	DBLP DOI BibTeX RDF
18	Takakazu Satoh	On Polynomial Interpolations related to Verheul Homomorphisms.	LMS J. Comput. Math.	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.	LMS J. Comput. Math.	2006	DBLP DOI BibTeX RDF
18	Denis Xavier Charles, Kristin E. Lauter	Computing Modular Polynomials.	LMS J. Comput. Math.	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.	LMS J. Comput. Math.	2005	DBLP DOI BibTeX RDF
18	L. C. O. Almeida, S. C. Coutinho	On Homogenous Minimal Involutive Varieties.	LMS J. Comput. Math.	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.	LMS J. Comput. Math.	2005	DBLP DOI BibTeX RDF
18	Imin Chen	A Diophantine Equation Associated to X0(5).	LMS J. Comput. Math.	2005	DBLP DOI BibTeX RDF
18	Gunter Malle, David P. Roberts	Number Fields with Discriminant ±2a3b and Galois Group An or Sn.	LMS J. Comput. Math.	2005	DBLP DOI BibTeX RDF
18	Sophie Ambrose, Max Neunhöffer, Cheryl E. Praeger, Csaba Schneider	Generalised Sifting in Black-Box Groups.	LMS J. Comput. Math.	2005	DBLP DOI BibTeX RDF
18	Jaime Gutierrez 0001, Tony Shaska	Hyperelliptic Curves with Extra Involutions.	LMS J. Comput. Math.	2005	DBLP DOI BibTeX RDF
18	Christoph Jansen	The Minimal Degrees of Faithful Representations of the Sporadic Simple Groups and their Covering Groups.	LMS J. Comput. Math.	2005	DBLP DOI BibTeX RDF
18	Richard W. Barraclough, Robert A. Wilson	Conjugacy Class Representatives in the Monster Group.	LMS J. Comput. Math.	2005	DBLP DOI BibTeX RDF
18	Derek F. Holt, Colva M. Roney-Dougal	Constructing Maximal Subgroups of Classical Groups.	LMS J. Comput. Math.	2005	DBLP DOI BibTeX RDF
18	Werner Bley, Markus Endres	Picard Groups and Refined Discrete Logarithms.	LMS J. Comput. Math.	2005	DBLP DOI BibTeX RDF
18	John Howse, Gem Stapleton, John Taylor 0001	Spider Diagrams.	LMS J. Comput. Math.	2005	DBLP DOI BibTeX RDF
18	E. Brian Davies	Spectral Bounds Using Higher-Order Numerical Ranges.	LMS J. Comput. Math.	2005	DBLP DOI BibTeX RDF
18	Peter Rowley	Cross Orbits.	LMS J. Comput. Math.	2004	DBLP DOI BibTeX RDF
18	E. Brian Davies	Computing the Decay of a Simple Reversible Sub-Markov Semigroup.	LMS J. Comput. Math.	2004	DBLP DOI BibTeX RDF
18	Pascale Jacobs, Dimitri Leemans	An Algorithmic Analysis of the Intersection Property.	LMS J. Comput. Math.	2004	DBLP DOI BibTeX RDF
18	Maxim Vsemirnov	Hurwitz Groups of Intermediate Rank.	LMS J. Comput. Math.	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.	LMS J. Comput. Math.	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.	LMS J. Comput. Math.	2004	DBLP DOI BibTeX RDF
18	F. Hess	Generalising the GHS Attack on the Elliptic Curve Discrete Logarithm Problem.	LMS J. Comput. Math.	2004	DBLP DOI BibTeX RDF
18	Ken McMurdy	Stable Model of X0(125).	LMS J. Comput. Math.	2004	DBLP DOI BibTeX RDF
18	P. C. Matthews	Automating Symmetry-Breaking Calculations.	LMS J. Comput. Math.	2004	DBLP DOI BibTeX RDF
18	Chris J. Bates, Peter Rowley	Involutions in Conway's Largest Simple Group.	LMS J. Comput. Math.	2004	DBLP DOI BibTeX RDF
18	Huiling Le	Estimation of Riemannian Barycentres.	LMS J. Comput. Math.	2004	DBLP DOI BibTeX RDF
18	Peter M. Neumann, Cheryl E. Praeger	On Tensor-Factorisation Problems, I: The Combinatorial Problem.	LMS J. Comput. Math.	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.	LMS J. Comput. Math.	2004	DBLP DOI BibTeX RDF
18	Mihai Cipu	Upper Bounds for Norms of Products of Binomials.	LMS J. Comput. Math.	2004	DBLP DOI BibTeX RDF
18	Steven D. Galbraith, Victor Rotger	Easy Decision Diffie-Hellman Groups.	LMS J. Comput. Math.	2004	DBLP DOI BibTeX RDF
18	Jitse Niesen	A Priori Estimates for the Global Error Committed by Runge-Kutta Methods for a Nonlinear Oscillator.	LMS J. Comput. Math.	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.	LMS J. Comput. Math.	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.	LMS J. Comput. Math.	2003	DBLP DOI BibTeX RDF
18	Lawrence C. Paulson	The Relative Consistency of the Axiom of Choice Mechanized Using Isabelle⁄zf.	LMS J. Comput. Math.	2003	DBLP DOI BibTeX RDF
18	Douglas S. Bridges, Luminita Vîta	Strong and Uniform Continuity - the Uniform Space Case.	LMS J. Comput. Math.	2003	DBLP DOI BibTeX RDF
18	Jin Ho Kwak, Jaeun Lee, Alexander D. Mednykh	Enumerating Branched Surface Coverings from Unbranched Ones.	LMS J. Comput. Math.	2003	DBLP DOI BibTeX RDF
18	Peter A. Brooksbank	Fast Constructive Recognition of Black-Box Unitary Groups.	LMS J. Comput. Math.	2003	DBLP DOI BibTeX RDF
18	Xuerong Mao	Numerical Solutions of Stochastic Functional Differential Equations.	LMS J. Comput. Math.	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.	LMS J. Comput. Math.	2003	DBLP DOI BibTeX RDF
18	Werner Bley	Numerical Evidence for a Conjectural Generalization of Hilbert's Theorem 132.	LMS J. Comput. Math.	2003	DBLP DOI BibTeX RDF
18	Iain A. Stewart	Using Program Schemes to Capture Polynomial-Time Logically on Certain Classes of Structures.	LMS J. Comput. Math.	2003	DBLP DOI BibTeX RDF
18	Michael J. Mossinghoff	Polynomials with Restricted Coefficients and Prescribed Noncyclotomic Factors.	LMS J. Comput. Math.	2003	DBLP DOI BibTeX RDF
18	Bettina Eick, Burkhard Höfling	The Solvable Primitive Permutation Groups of Degree at Most 6560.	LMS J. Comput. Math.	2003	DBLP DOI BibTeX RDF
18	Michael Levitin, Rustem Yagudin	Range of the First Three Eigenvalues of the Planar Dirichlet Laplacian.	LMS J. Comput. Math.	2003	DBLP DOI BibTeX RDF
18	Paul P. Martin, David Woodcock	Generalized Blob Algebras and Alcove Geometry.	LMS J. Comput. Math.	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.	LMS J. Comput. Math.	2002	DBLP DOI BibTeX RDF
18	Alan G. B. Lauder, Daqing Wan	Computing Zeta Functions of Artin-schreier Curves over Finite Fields.	LMS J. Comput. Math.	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.	LMS J. Comput. Math.	2002	DBLP DOI BibTeX RDF
18	Laird A. Breyer, Gareth O. Roberts	A New Method for Coupling Random Fields.	LMS J. Comput. Math.	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.	LMS J. Comput. Math.	2002	DBLP DOI BibTeX RDF
18	Gerhard Hiss, Gunter Malle	Corrigenda: Low-dimensional Representations of Quasi-simple Groups.	LMS J. Comput. Math.	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.	LMS J. Comput. Math.	2002	DBLP DOI BibTeX RDF
18	Michael J. C. Gordon	Programming Combinations of Deduction and BDD-based Symbolic Calculation.	LMS J. Comput. Math.	2002	DBLP DOI BibTeX RDF
18	Michael Stoll, John Cremona	Minimal Models for 2-coverings of Elliptic Curves.	LMS J. Comput. Math.	2002	DBLP DOI BibTeX RDF
18	Robert A. Wilson	Conjugacy Class Representatives in Fischer's Baby Monster.	LMS J. Comput. Math.	2002	DBLP DOI BibTeX RDF
18	Denis Simon	Computing the Rank of Elliptic Curves over Number Fields.	LMS J. Comput. Math.	2002	DBLP DOI BibTeX RDF
18	Sami Omar	Note on the Contribution of Low Zeros to Weil's Explicit Formula for Minimal Discriminants.	LMS J. Comput. Math.	2002	DBLP DOI BibTeX RDF
18	Peter Dräxler	Representation-Directed Diamonds.	LMS J. Comput. Math.	2001	DBLP DOI BibTeX RDF
18	Gerhard Hiss, Gunter Malle	Low-Dimensional Representations of Quasi-Simple Groups.	LMS J. Comput. Math.	2001	DBLP DOI BibTeX RDF
18	Alla Detinko	On Deciding Finiteness for Matrix Groups over Fields of Positive Characteristic.	LMS J. Comput. Math.	2001	DBLP DOI BibTeX RDF
18	William A. Stein, Helena A. Verrill	Cuspidal Modular Symbols are Transportable.	LMS J. Comput. Math.	2001	DBLP DOI BibTeX RDF
18	J. E. Cremona	Reduction of Binary Cubic and Quartic Forms.	LMS J. Comput. Math.	2001	DBLP DOI BibTeX RDF
18	Frank Lübeck	Small Degree Representations of Finite Chevalley Groups in Defining Characteristic.	LMS J. Comput. Math.	2001	DBLP DOI BibTeX RDF
18	Manfred Einsiedler, Graham Everest, Thomas Ward 0001	Primes in Elliptic Divisibility Sequences.	LMS J. Comput. Math.	2001	DBLP DOI BibTeX RDF
18	Javier Chavarriga, Jaume Llibre, Jean Moulin Ollagnier	On a Result of Darboux.	LMS J. Comput. Math.	2001	DBLP DOI BibTeX RDF
18	Birgit Reinert, Dirk Zeckzer	Coset Enumeration Using Prefix Gröbner Bases: An Experimental Approach.	LMS J. Comput. Math.	2001	DBLP DOI BibTeX RDF
18	Jürgen Klüners, Gunter Malle	A Database for Field Extensions of the Rationals.	LMS J. Comput. Math.	2001	DBLP DOI BibTeX RDF
18	Leslie Ann Goldberg, Mark Jerrum	Counting Unlabelled Subtrees of a Tree is #P-complete.	LMS J. Comput. Math.	2000	DBLP DOI BibTeX RDF
18	Graeme J. Barclay, David F. Griffiths, Desmond J. Higham	Theta Method Dynamics.	LMS J. Comput. Math.	2000	DBLP DOI BibTeX RDF
18	J. D. Howroyd	A Domain-Theoretic Approach to Integration in Hausdorff Spaces.	LMS J. Comput. Math.	2000	DBLP DOI BibTeX RDF
18	Christopher T. H. Baker, Evelyn Buckwar	Numerical Analysis of Explicit One-Step Methods for Stochastic Delay Differential Equations.	LMS J. Comput. Math.	2000	DBLP DOI BibTeX RDF
18	Frauke M. Bleher, Wolfgang Kimmerle	On the Structure of Integral Group Rings of Sporadic Groups.	LMS J. Comput. Math.	2000	DBLP DOI BibTeX RDF
18	William H. Foster, Ilia Krasikov	Explicit Bounds for Hermite Polynomials in the Oscillatory Region.	LMS J. Comput. Math.	2000	DBLP DOI BibTeX RDF
18	N. P. Kirk	Computational Aspects of Classifying Singularities.	LMS J. Comput. Math.	2000	DBLP DOI BibTeX RDF
18	Jacques D. Fleuriot, Lawrence C. Paulson	Mechanizing Nonstandard Real Analysis.	LMS J. Comput. Math.	2000	DBLP DOI BibTeX RDF
18	Andrew A. Adams	A Formalisation of Weak Normalisation (with Respect to Permutations) of Sequent Calculus Proofs.	LMS J. Comput. Math.	2000	DBLP DOI BibTeX RDF
18	Stefania Cavallar, Franz Lemmermeyer	Euclidean Windows.	LMS J. Comput. Math.	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.	LMS J. Comput. Math.	2000	DBLP DOI BibTeX RDF
18	Douglas S. Bridges, Robin Havea	A Constructive Analysis of a Proof that the Numerical Range is Convex.	LMS J. Comput. Math.	2000	DBLP DOI BibTeX RDF
18	Catherine S. Greenhill	An Algorithm for Recognising the Exterior Square of a Multiset.	LMS J. Comput. Math.	2000	DBLP DOI BibTeX RDF
18	Manfred Einsiedler, Graham Everest, Thomas Ward 0001	Primes in Sequences Associated to Polynomials (After Lehmer).	LMS J. Comput. Math.	2000	DBLP DOI BibTeX RDF
18	Bernd Borchert, Lane A. Hemaspaandra, Jörg Rothe	Restrictive Acceptance Suffices for Equivalence Problems.	LMS J. Comput. Math.	2000	DBLP DOI BibTeX RDF
18	B. M. Brown, Michael S. P. Eastham	Spectral Concentration for Perturbed Equations of Harmonic Oscillator Type.	LMS J. Comput. Math.	2000	DBLP DOI BibTeX RDF
18	Graham Ellis, Irina Kholodna	Three-Dimensional Presentations for the Groups of Order at Most 30.	LMS J. Comput. Math.	1999	DBLP DOI BibTeX RDF
18	E. Brian Davies	The Computation of Thresholds for Schrödinger Operators.	LMS J. Comput. Math.	1999	DBLP DOI BibTeX RDF