#### Filter Results:

- Full text PDF available (42)

#### Publication Year

1979

2017

- This year (2)
- Last 5 years (13)
- Last 10 years (36)

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- Markus Kirschmer, John Voight
- SIAM J. Comput.
- 2010

We provide algorithms to count and enumerate representatives of the (right) ideal classes of an Eichler order in a quaternion algebra defined over a number field. We analyze the run time of these algorithms and consider several related problems, including the computation of two-sided ideal classes, isomorphism classes of orders, connecting ideals for… (More)

- John Voight
- 2009

We exhibit an algorithm to compute a Dirichlet domain for a Fuchsian group Γ with cofinite area. As a consequence, we compute the invariants of Γ, including an explicit finite presentation for Γ. Let Γ ⊂ PSL 2 (R) be a Fuchsian group, a discrete group of orientation-preserving isometries of the upper half-plane H with hyperbolic metric d. A fundamental… (More)

- Matthew Greenberg, John Voight
- Math. Comput.
- 2011

We utilize effective algorithms for computing in the cohomology of a Shimura curve together with the Jacquet-Langlands correspondence to compute systems of Hecke eigenvalues associated to Hilbert modular forms over a totally real field F. The design of algorithms for the enumeration of automorphic forms has emerged as a major theme in computational… (More)

- PETE L. CLARK, JOHN VOIGHT
- 2008

We construct certain subgroups of hyperbolic triangle groups which we call " congruence " subgroups. These groups include the classical congruence subgroups of SL 2 (Z), Hecke triangle groups, and 19 families of arithmetic triangle groups associated to Shimura curves. We determine the field of moduli of the curves associated to these groups and thereby… (More)

- JOHN VOIGHT
- 2010

We consider the class of algebras of rank 4 equipped with a standard involution over an arbitrary base ring. In particular, we characterize quaternion rings, those algebras defined by the construction of the even Clif-ford algebra. A quaternion algebra is a central simple algebra of dimension 4 over a field F. Generalizations of the notion of quaternion… (More)

We describe the construction of a database of genus 2 curves of small discriminant that includes geometric and arithmetic invariants of each curve, its Jacobian, and the associated L-function. This data has been incorporated into the L-Functions and Modular Forms Database (LMFDB).

We exhibit algorithms to compute systems of Hecke eigenvalues for spaces of Hilbert modular forms over a totally real field. We provide many explicit examples as well as applications to modularity and Galois representations.

We study the conditions under which an algebraic curve can be modelled by a Laurent polynomial that is nondegenerate with respect to its Newton polytope. We prove that every curve of genus g ≤ 4 over an algebraically closed field is nondegenerate in the above sense. More generally, let M nd g be the locus of nondegenerate curves inside the moduli space of… (More)

- John Voight
- Math. Comput.
- 2009

We enumerate all Shimura curves X D 0 (N) of genus at most two: there are exactly 858 such curves, up to equivalence. The elliptic modular curve X 0 (N) is the quotient of the completed upper half-plane H * by the congruence subgroup Γ 0 (N) of matrices in SL 2 (Z) that are upper triangular modulo N ∈ Z >0. The curve X 0 (N) forms a coarse moduli space for… (More)

- John Voight
- ANTS
- 2008

We enumerate all totally real number fields F with root discriminant δF ≤ 14. There are 1229 such fields, each with degree [F : Q] ≤ 9.