1: \begin{abstract}

2: We present a group-theoretic criterion under which one may verify the

3: Artin conjecture for some (non-monomial) Galois representations, up to

4: finite height in the complex plane.  In particular, the criterion applies

5: to $S_5$ and $A_5$ representations.  Under more general conditions, the

6: technique allows for the possibility of verifying the Riemann hypothesis

7: for Dedekind zeta functions of non-abelian extensions of $\Q$.

8: 

9: In addition, we discuss two methods for locating zeros of arbitrary

10: $L$-functions.  The first uses the explicit formula and techniques

11: developed in \cite{bs} for computing with trace formulae.

12: The second method generalizes that of Turing for

13: verifying the Riemann hypothesis.  In order to apply it we develop a

14: rigorous algorithm for computing general $L$-functions on the critical

15: line via the Fast Fourier Transform.

16: 

17: Finally, we present some numerical results testing Artin's conjecture

18: for $S_5$ representations, and the Riemann hypothesis for Dedekind zeta

19: functions of $S_5$ and $A_5$ fields.

20: \end{abstract}

21: