Description
Springer Primality Testing And Abelian Varieties Over Finite Fields 1992 Edition by Leonard M. Adleman Ming-Deh A. Huang
From Gauss to G|del mathematicians have sought an efficientalgorithm to distinguish prime numbers from compositenumbers. This book presents a random polynomial timealgorithm for the problem. The methods used are fromarithmetic algebraic geometry algebraic number theory andanalyticnumber theory. In particular the theory of twodimensional Abelian varieties over finite fields isdeveloped.The book will be of interest to both researchers andgraduate students in number theory and theoretical computerscience. Table of contents : Acknowledgement.- Overview of the algorithm and the proof of the main theorem.- Reduction of main theorem to three propositions.- Proof of proposition 1.- Proof of proposition 2.- Proof of proposition 3.