LEADER 05916nam 22007575 450 001 996466151203316 005 20200701194944.0 010 $a3-540-49044-2 024 7 $a10.1007/3-540-58691-1 035 $a(CKB)1000000000234207 035 $a(SSID)ssj0000321185 035 $a(PQKBManifestationID)11246319 035 $a(PQKBTitleCode)TC0000321185 035 $a(PQKBWorkID)10262857 035 $a(PQKB)10404665 035 $a(DE-He213)978-3-540-49044-9 035 $a(PPN)155186868 035 $a(EXLCZ)991000000000234207 100 $a20121227d1994 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAlgorithmic Number Theory$b[electronic resource] $eFirst International Symposium, ANTS-I, Ithaca, NY, USA, May 6 - 9, 1994. Proceedings /$fedited by Leonard M. Adleman, Ming-Deh Huang 205 $a1st ed. 1994. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1994. 215 $a1 online resource (X, 320 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v877 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-58691-1 327 $aOn the difficulty of finding reliable witnesses -- Density computations for real quadratic 2-class groups -- Lattice sieving and trial division -- A subexponential algorithm for discrete logarithms over the rational subgroup of the Jacobians of large genus hyperelliptic curves over finite fields -- Computing rates of growth of division fields on CM Abelian varieties -- Algorithms for CM-Fields -- Schoof's algorithm and isogeny cycles -- Integer points on rational elliptic curves -- Counting the number of points on elliptic curves over finite fields of characteristic greater than three -- Straight-line complexity and integer factorization -- Decomposition of algebraic functions -- A new modular interpolation algorithm for factoring multivariate polynomials -- The function field sieve -- Heegner point computations -- Computing the degree of a modular parametrization -- Galois representations from the cohomology of SL(3,?) -- An analysis of the Gaussian algorithm for lattice reduction -- A fast variant of the Gaussian reduction algorithm -- Reducing lattice bases by means of approximations -- Analysis of a left-shift binary GCD algorithm -- The complexity of greatest common divisor computations -- Explicit formulas for units in certain quadratic number fields -- Factorization of polynomials over finite fields in subexponential time under GRH -- On orders of optimal normal basis generators -- Computing in the jacobian of a plane algebraic curve -- Under the assumption of the Generalized Riemann Hypothesis verifying the class number belongs to NP ? co-NP -- Calculating the class number of certain Hilbert class fields -- Efficient checking of computations in number theory -- Constructing elliptic curves with given group order over large finite fields -- Computing ?(x), M(x) and ?(x) -- On some applications of finitely generated semi-groups -- Improved incremental prime number sieves -- Polynomial time algorithms for discrete logarithms and factoring on a quantum computer -- On dispersion and Markov constants -- Open problems in number theoretic complexity, II. 330 $aThis volume presents the refereed proceedings of the First Algorithmic Number Theory Symposium, ANTS-I, held at Cornell University, Ithaca, NY in May 1994. The 35 papers accepted for inclusion in this book address many current issues of algorithmic, computational and complexity-theoretic aspects of number theory and thus report the state-of-the-art in this exciting area of research; the book also contributes essentially to foundational research in cryptology and coding. Of particular value is a collection entitled "Open Problems in Number Theoretic Complexity, II" contributed by Len Adleman and Kevin McCurley. This survey presents on 32 pages 36 central open problems and relates them to the literature by means of some 160 references. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v877 606 $aData structures (Computer science) 606 $aNumber theory 606 $aDiscrete mathematics 606 $aComputer science?Mathematics 606 $aAlgorithms 606 $aCombinatorics 606 $aData Structures$3https://scigraph.springernature.com/ontologies/product-market-codes/I15017 606 $aNumber Theory$3https://scigraph.springernature.com/ontologies/product-market-codes/M25001 606 $aDiscrete Mathematics$3https://scigraph.springernature.com/ontologies/product-market-codes/M29000 606 $aSymbolic and Algebraic Manipulation$3https://scigraph.springernature.com/ontologies/product-market-codes/I17052 606 $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021 606 $aCombinatorics$3https://scigraph.springernature.com/ontologies/product-market-codes/M29010 615 0$aData structures (Computer science). 615 0$aNumber theory. 615 0$aDiscrete mathematics. 615 0$aComputer science?Mathematics. 615 0$aAlgorithms. 615 0$aCombinatorics. 615 14$aData Structures. 615 24$aNumber Theory. 615 24$aDiscrete Mathematics. 615 24$aSymbolic and Algebraic Manipulation. 615 24$aAlgorithm Analysis and Problem Complexity. 615 24$aCombinatorics. 676 $a512/.7 702 $aAdleman$b Leonard M$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aHuang$b Ming-Deh$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aAlgorithmic Number Theory Symposium$d(1st :$f1994 :$eIthaca, N.Y.) 906 $aBOOK 912 $a996466151203316 996 $aAlgorithmic Number Theory$9772632 997 $aUNISA