Results 1 
2 of
2
Algorithms in algebraic number theory
 Bull. Amer. Math. Soc
, 1992
"... Abstract. In this paper we discuss the basic problems of algorithmic algebraic number theory. The emphasis is on aspects that are of interest from a purely mathematical point of view, and practical issues are largely disregarded. We describe what has been done and, more importantly, what remains to ..."
Abstract

Cited by 42 (3 self)
 Add to MetaCart
Abstract. In this paper we discuss the basic problems of algorithmic algebraic number theory. The emphasis is on aspects that are of interest from a purely mathematical point of view, and practical issues are largely disregarded. We describe what has been done and, more importantly, what remains to be done in the area. We hope to show that the study of algorithms not only increases our understanding of algebraic number fields but also stimulates our curiosity about them. The discussion is concentrated of three topics: the determination of Galois groups, the determination of the ring of integers of an algebraic number field, and the computation of the group of units and the class group of that ring of integers. 1.
Dyson’s Theorem for curves.
, 811
"... ABSTRACT. Let K be a number field and X1 and X2 two smooth projective curves defined over it. In this paper we prove an analogue of the Dyson Theorem for the product X1×X2. If X i = P1 we find the classical Dyson theorem. In general, it will imply a self contained and easy proof of Siegel theorem on ..."
Abstract
 Add to MetaCart
ABSTRACT. Let K be a number field and X1 and X2 two smooth projective curves defined over it. In this paper we prove an analogue of the Dyson Theorem for the product X1×X2. If X i = P1 we find the classical Dyson theorem. In general, it will imply a self contained and easy proof of Siegel theorem on integral points on hyperbolic curves and it will give some insight on effectiveness. This proof is new and avoids the use of Roth and MordellWeil theorems, the theory of Linear Forms in Logarithms and the Schmidt subspace theorem. 1 Introduction. After the proof of the Mordell conjecture by Faltings (the first proof is in [Fa1], but [Fa2], [B2] and [Vo2] are nearer to the spirit of this paper), most of the qualitative results in the diophantine approximation of algebraic divisors by rational points over curves are solved.