Related papers: Computing fundamental domains for Fuchsian groups

Consider a multiply-connected domain $\Sigma$ in the sphere bounded by $n$ non-intersecting quasicircles. We characterize the Dirichlet space of $\Sigma$ as an isomorphic image of a direct sum of Dirichlet spaces of the disk under a…

We prove that there exist finitely presented, residually finite groups that are profinitely rigid in the class of all finitely presented groups but not in the class of all finitely generated groups. These groups are of the form $\Gamma…

In this article we suggest a new approach to the systematic, computer-aided construction and to the classification of product-quotient surfaces, introducing a new invariant, the integer gamma, which depends only on the singularities of the…

We describe an algorithm for splitting permutation representations of finite group over fields of characteristic zero into irreducible components. The algorithm is based on the fact that the components of the invariant inner product in…

For any prime number p and any positive real number {\alpha}, we construct a finitely generated group {\Gamma} with p-gradient equal to {\alpha}. This construction is used to show that there exist uncountably many pairwise non-commensurable…

A classical discovery known as Fenchel's conjecture and proved in the 1950s, shows that every co-compact Fuchsian group $F$ has a normal subgroup of finite index isomorphic to the fundamental group of a compact unbordered orientable…

We compute the Hochschild cohomology groups of the cluster-tilted algebras of finite representation type.

In this expository article we show explicitly how to compute Gamma(p/q) in terms of Beta function values which in turn are Kontsevich-Zagier Periods.

Algorithms for the numerical evaluation of the incomplete gamma function ratios $P(a,x)=\gamma(a,x)/\Gamma(a)$ and $Q(a,x)=\Gamma(a,x)/\Gamma(a)$ are described for positive values of $a$ and $x$. Also, inversion methods are given for…

We have defined and established a theory of cofinite connectedness of a cofinite graph. Many of the properties of connectedness of topological spaces have analogs for cofinite connectedness. We have seen that if $G$ is a cofinite group and…

We study finite element approximations of the nonhomogeneous Dirichlet problem for the fractional Laplacian. Our approach is based on weak imposition of the Dirichlet condition and incorporating a nonlocal analogous of the normal derivative…

We provide a generalization of continued fractions to the Heisenberg group. We prove an explicit estimate on the rate of convergence of the infinite continued fraction and several surprising analogs of classical formulas about continued…

Computer based techniques for recognizing finitely presented groups are quite powerful. Tools available for this purpose are outlined. They are available both in stand-alone programs and in more comprehensive systems. A general…

Self-similar groups provide a rich source of groups with interesting properties; e.g., infinite torsion groups (Burnside groups) and groups with an intermediate word growth. Various self-similar groups can be described by a recursive…

The cohomology ring of a finite group, with coefficients in a finite field, can be computed by a machine, as Carlson has showed. Here "compute" means to find a presentation in terms of generators and relations, and involves only the…

We present a systematic derivation of some definite integrals in the classical table of Gradshteyn and Ryzhik that can be reduced to the gamma function.

We propose an affine version of the Schwarz map for the hypergeometric differential equation, and study its image when the monodromy group is finite.

We introduce a new graph invariant of finite groups that provides a complete characterization of the splitting types of unramified prime ideals in normal number field extensions entirely in terms of the Galois group. In particular, each…

It is shown that if $\gamma$ is a path of finite $p$ variation ($1\leq p< 2$) in a euclidean vector space and $f,g,h$ are Lipschitz functions on the trace of $\gamma$ then $s\mapsto F(s)=\int_\gamma f^sg dh$ defines an entire holomorphic…

We report on the computation of invariants, covariants, and contravariants of cubic surfaces. All algorithms are implemented in the computer algebra system magma.