{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T07:22:12Z","timestamp":1776842532865,"version":"3.51.2"},"publisher-location":"Berlin, Heidelberg","reference-count":52,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540221562","type":"print"},{"value":"9783540248477","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24847-7_1","type":"book-chapter","created":{"date-parts":[[2010,9,10]],"date-time":"2010-09-10T22:33:04Z","timestamp":1284157984000},"page":"1-17","source":"Crossref","is-referenced-by-count":18,"title":["Computing Zeta Functions via p-Adic Cohomology"],"prefix":"10.1007","author":[{"given":"Kiran S.","family":"Kedlaya","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Algorithmic Number Theory","author":"L.M. Adleman","year":"1996","unstructured":"Adleman, L.M., Huang, M.-D.: Counting rational points on curves and abelian varieties over finite fields. In: Cohen, H. (ed.) ANTS 1996. LNCS, vol.\u00a01122, pp. 1\u201316. Springer, Heidelberg (1996)"},{"key":"1_CR2","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/s002220100202","volume":"148","author":"L. Berger","year":"2002","unstructured":"Berger, L.: Repr\u00e9sentations p-adiques et \u00e9quations diff\u00e9rentielles. Invent. Math.\u00a0148, 219\u2013284 (2002)","journal-title":"Invent. Math."},{"key":"1_CR3","series-title":"Lecture Notes in Math.","volume-title":"Cohomologie cristalline des sch\u00e9mas de caract\u00e9ristique p > 0","author":"P. Berthelot","year":"1974","unstructured":"Berthelot, P.: Cohomologie cristalline des sch\u00e9mas de caract\u00e9ristique p > 0. Lecture Notes in Math., vol.\u00a0407. Springer, Heidelberg (1974)"},{"key":"1_CR4","doi-asserted-by":"crossref","first-page":"7","DOI":"10.24033\/msmf.326","volume":"23","author":"P. Berthelot","year":"1986","unstructured":"Berthelot, P.: G\u00e9om\u00e9trie rigide et cohomologie des vari\u00e9t\u00e9s alg\u00e9briques de caract \u00e9ristique p, in Introductions aux cohomologies p-adiques (Luminy, 1984). M\u00e9m. Soc. Math. France\u00a023, 7\u201332 (1986)","journal-title":"M\u00e9m. Soc. Math. France"},{"key":"1_CR5","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1007\/s002220050143","volume":"128","author":"P. Berthelot","year":"1997","unstructured":"Berthelot, P.: Finitude et puret\u00e9 cohomologique en cohomologie rigide (with an appendix in English by A.J. de Jong). Invent. Math.\u00a0128, 329\u2013377 (1997)","journal-title":"Invent. Math."},{"key":"1_CR6","unstructured":"Candelas, P., de la Ossa, X., Rodriguez-Villegas, F.: Calabi-Yau manifolds over finite fields, I (preprint) (arXiv: hep-th\/0012233)"},{"key":"1_CR7","unstructured":"Coleman, R., Iovita, A.: Revealing hidden structures (preprint), http:\/\/math.berkeley.edu\/~coleman\/"},{"key":"1_CR8","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1007\/BF02684373","volume":"43","author":"P. Deligne","year":"1974","unstructured":"Deligne, P.: La conjecture de Weil. I. Publ. Math. IHES\u00a043, 273\u2013307 (1974)","journal-title":"Publ. Math. IHES"},{"key":"1_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1007\/3-540-45455-1_25","volume-title":"Algorithmic Number Theory","author":"J. Denef","year":"2002","unstructured":"Denef, J., Vercauteren, F.: An extension of Kedlaya\u2019s algorithm to Artin-Schreier curves in characteristic 2. In: Fieker, C., Kohel, D.R. (eds.) ANTS 2002. LNCS, vol.\u00a02369, pp. 308\u2013323. Springer, Heidelberg (2002)"},{"key":"1_CR10","unstructured":"Denef, J., Vercauteren, F.: An extension of Kedlaya\u2019s algorithm to hyperelliptic curves in characteristic 2. J. Crypt. (to appear)"},{"key":"1_CR11","unstructured":"Denef, J., Vercauteren, F.: Computing zeta functions of Cab curves using Monsky-Washnitzer cohomology (2003) (preprint)"},{"key":"1_CR12","doi-asserted-by":"publisher","first-page":"631","DOI":"10.2307\/2372974","volume":"82","author":"B. Dwork","year":"1960","unstructured":"Dwork, B.: On the rationality of the zeta function of an algebraic variety. Amer. J. Math.\u00a082, 631\u2013648 (1960)","journal-title":"Amer. J. Math."},{"key":"1_CR13","doi-asserted-by":"crossref","first-page":"553","DOI":"10.24033\/asens.1258","volume":"6","author":"R. Elkik","year":"1973","unstructured":"Elkik, R.: Solutions d\u2019\u00e9quations \u00e0 coefficients dans un anneau hens\u00e9lien. Ann. Sci. \u00c9c. Norm. Sup.\u00a06, 553\u2013603 (1973)","journal-title":"Ann. Sci. \u00c9c. Norm. Sup."},{"key":"1_CR14","unstructured":"Freitag, E., Kiehl, R.: \u00c9tale cohomology and the Weil conjectures (translated by B.S. Waterhouse and W.C. Waterhouse). Ergebnisse der Math.\u00a013, Springer (1998)"},{"key":"1_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"480","DOI":"10.1007\/3-540-45682-1_28","volume-title":"Advances in Cryptology - ASIACRYPT 2001","author":"P. Gaudry","year":"2001","unstructured":"Gaudry, P., G\u00fcrel, N.: An extension of Kedlaya\u2019s point-counting algorithm to superelliptic curves. In: Boyd, C. (ed.) ASIACRYPT 2001. LNCS, vol.\u00a02248, pp. 480\u2013494. Springer, Heidelberg (2001)"},{"key":"1_CR16","unstructured":"Gaudry, P., G\u00fcrel, N.: Counting points in medium characteristic using Kedlaya\u2019s algorithm (preprint), http:\/\/www.inria.fr\/rrrt\/rr-4838.html"},{"key":"1_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/10722028_18","volume-title":"Algorithmic Number Theory","author":"P. Gaudry","year":"2000","unstructured":"Gaudry, P., Harley, R.: Counting points on hyperelliptic curves over finite fields. In: Bosma, W. (ed.) ANTS 2000. LNCS, vol.\u00a01838, pp. 313\u2013332. Springer, Heidelberg (2000)"},{"key":"1_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/978-3-540-24676-3_15","volume-title":"Advances in Cryptology - EUROCRYPT 2004","author":"P. Gaudry","year":"2004","unstructured":"Gaudry, P., Schost, \u00c9.: Construction of secure random curves of genus 2 over prime fields. In: Cachin, C., Camenisch, J.L. (eds.) EUROCRYPT 2004. LNCS, vol.\u00a03027, pp. 239\u2013256. Springer, Heidelberg (2004) (to appear)"},{"key":"1_CR19","unstructured":"Gerkmann, R.: The p-adic cohomology of varieties over finite fields and applications to the computation of zeta functions, thesis, Universit\u00e4t Duisberg-Essen (2003)"},{"key":"1_CR20","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1215\/S0012-7094-90-06119-8","volume":"61","author":"B.H. Gross","year":"1990","unstructured":"Gross, B.H.: A tameness criterion for Galois representations associated to modular forms (mod p). Duke Math. J.\u00a061, 445\u2013517 (1990)","journal-title":"Duke Math. J."},{"key":"1_CR21","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/BF02684807","volume":"29","author":"A. Grothendieck","year":"1966","unstructured":"Grothendieck, A.: On the de Rham cohomology of algebraic varieties. Publ. Math. IHES\u00a029, 95\u2013103 (1966)","journal-title":"Publ. Math. IHES"},{"key":"1_CR22","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/BF02684298","volume":"45","author":"R. Hartshorne","year":"1975","unstructured":"Hartshorne, R.: On the De Rham cohomology of algebraic varieties. Publ. Math. IHES\u00a045, 5\u201399 (1975)","journal-title":"Publ. Math. IHES"},{"key":"1_CR23","doi-asserted-by":"publisher","first-page":"318","DOI":"10.1016\/0022-314X(82)90036-1","volume":"15","author":"G.C. Kato","year":"1982","unstructured":"Kato, G.C., Lubkin, S.: Zeta matrices of elliptic curves. J. Number Theory\u00a015, 318\u2013330 (1982)","journal-title":"J. Number Theory"},{"key":"1_CR24","first-page":"323","volume":"16","author":"K.S. Kedlaya","year":"2001","unstructured":"Kedlaya, K.S.: Counting points on hyperelliptic curves using Monsky-Washnitzer cohomology. J. Ramanujan Math. Soc.\u00a016, 323\u2013338 (2001); errata. ibid.\u00a018, 417\u2013418 (2003)","journal-title":"J. Ramanujan Math. Soc."},{"key":"1_CR25","unstructured":"Kedlaya, K.S.: Fourier transforms and p-adic \u201cWeil II\u201d, (preprint), http:\/\/math.mit.edu\/~kedlaya\/papers\/"},{"key":"1_CR26","unstructured":"Kedlaya, K.S.: Quantum computation of zeta functions of curves (preprint), http:\/\/math.mit.edu\/~kedlaya\/papers\/"},{"key":"1_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/978-3-540-40061-5_8","volume-title":"Advances in Cryptology - ASIACRYPT 2003","author":"D. Kohel","year":"2003","unstructured":"Kohel, D.: The AGM-X0(N) Heegner point lifting algorithm and elliptic curve point counting. In: Laih, C.-S. (ed.) ASIACRYPT 2003. LNCS, vol.\u00a02894, pp. 124\u2013136. Springer, Heidelberg (2003)"},{"key":"1_CR28","unstructured":"Lauder, A.G.B.: Deformation theory and the computation of zeta functions. In: Proc. London Math. (to appear)"},{"key":"1_CR29","doi-asserted-by":"crossref","unstructured":"Lauder, A.G.B.: Counting solutions to equations in many variables over finite fields. In: Foundations of Comp. Math. (to appear)","DOI":"10.1007\/s10208-003-0093-y"},{"key":"1_CR30","unstructured":"Lauder, A.G.B., Wan, D.: Counting points on varieties over finite fields of small characteristic. In: Buhler, J.P., Stevenhagen, P. (eds.) Algorithmic Number Theory: Lattices, Number Fields, Curves and Cryptography, MSRI Publications, Cambridge Univ. Press,"},{"key":"1_CR31","first-page":"34","volume":"5","author":"A.G.B. Lauder","year":"2002","unstructured":"Lauder, A.G.B., Wan, D.: Computing zeta functions of Artin-Schreier curves over finite fields. London Math. Soc. J. Comp. Math.\u00a05, 34\u201355 (2002)","journal-title":"London Math. Soc. J. Comp. Math."},{"key":"1_CR32","doi-asserted-by":"crossref","unstructured":"Lauder, A.G.B., Wan, D.: Computing zeta functions of Artin-Schreier curves over finite fields II. J. Complexity (to appear)","DOI":"10.1016\/j.jco.2003.08.009"},{"key":"1_CR33","unstructured":"Lercier, R., Lubicz, D.: email to the NMBRTHRY mailing list, December 5 (2002), http:\/\/listserv.nodak.edu\/archives\/nmbrthry.html"},{"key":"1_CR34","unstructured":"Mestre, J.-F.: Algorithmes pour compter des points en petite caract\u00e9ristique en genre 1 et 2 (preprint), http:\/\/www.math.univ-rennes1.fr\/crypto\/2001-02\/mestre.ps"},{"key":"1_CR35","unstructured":"Miura, S.: Error correcting codes based on algebraic curves, thesis, University of Tokyo (1997) (in Japanese)"},{"issue":"2","key":"1_CR36","doi-asserted-by":"publisher","first-page":"218","DOI":"10.2307\/1970572","volume":"88","author":"P. Monsky","year":"1968","unstructured":"Monsky, P.: Formal cohomology. II. The cohomology sequence of a pair. Ann. of Math.\u00a088(2), 218\u2013238 (1968)","journal-title":"Ann. of Math."},{"issue":"2","key":"1_CR37","doi-asserted-by":"publisher","first-page":"315","DOI":"10.2307\/1970777","volume":"93","author":"P. Monsky","year":"1971","unstructured":"Monsky, P.: Formal cohomology. III. Fixed point theorems. Ann. of Math.\u00a093(2), 315\u2013343 (1971)","journal-title":"Ann. of Math."},{"issue":"2","key":"1_CR38","doi-asserted-by":"publisher","first-page":"181","DOI":"10.2307\/1970571","volume":"88","author":"P. Monsky","year":"1968","unstructured":"Monsky, P., Washnitzer, G.: Formal cohomology. I. Ann. of Math.\u00a088(2), 181\u2013217 (1968)","journal-title":"Ann. of Math."},{"key":"1_CR39","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1016\/0022-314X(72)90013-3","volume":"4","author":"A. Nijenhuis","year":"1972","unstructured":"Nijenhuis, A., Wilf, H.S.: Representations of integers by linear forms in nonnegative integers. J. Number Th.\u00a04, 98\u2013106 (1972)","journal-title":"J. Number Th."},{"key":"1_CR40","doi-asserted-by":"publisher","first-page":"745","DOI":"10.1090\/S0025-5718-1990-1035941-X","volume":"55","author":"J. Pila","year":"1990","unstructured":"Pila, J.: Frobenius maps of abelian varieties and finding roots of unity in finite fields. Math. Comp.\u00a055, 745\u2013763 (1990)","journal-title":"Math. Comp."},{"key":"1_CR41","unstructured":"Ritzenthaler, C.: Probl\u00e8mes arithm\u00e9tiques relatifs \u00e0 certaines familles de courbes sur les corps finis, thesis, Universit\u00e9 Paris 7 (2003), http:\/\/www.math.jussieu.fr\/~ritzenth\/"},{"key":"1_CR42","unstructured":"Ritzenthaler, C.: Point counting on genus 3 non hyperelliptic curves (preprint), http:\/\/www.math.jussieu.fr\/~ritzenth\/"},{"key":"1_CR43","first-page":"247","volume":"15","author":"T. Satoh","year":"2000","unstructured":"Satoh, T.: The canonical lift of an ordinary elliptic curve over a finite field and its point counting. J. Ramanujan Math. Soc.\u00a015, 247\u2013270 (2000)","journal-title":"J. Ramanujan Math. Soc."},{"key":"1_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/3-540-45455-1_5","volume-title":"Algorithmic Number Theory","author":"T. Satoh","year":"2002","unstructured":"Satoh, T.: On p-adic point counting algorithms for elliptic curves over finite fields. In: Fieker, C., Kohel, D.R. (eds.) ANTS 2002. LNCS, vol.\u00a02369, pp. 43\u201366. Springer, Heidelberg (2002)"},{"key":"1_CR45","first-page":"483","volume":"44","author":"R. Schoof","year":"1985","unstructured":"Schoof, R.: Elliptic curves over finite fields and the computation of square roots mod p. Math. Comp.\u00a044, 483\u2013494 (1985)","journal-title":"Math. Comp."},{"issue":"2","key":"1_CR46","doi-asserted-by":"publisher","first-page":"492","DOI":"10.2307\/1970722","volume":"88","author":"J.-P. Serre","year":"1968","unstructured":"Serre, J.-P., Tate, J.: Good reduction of abelian varieties. Ann. Math.\u00a088(2), 492\u2013517 (1968)","journal-title":"Ann. Math."},{"key":"1_CR47","unstructured":"Suzuki, J.: An extension of Kedlaya\u2019s order counting based on Miura theory (preprint)"},{"key":"1_CR48","unstructured":"Tsuzuki, N.: Bessel F-isocrystals and an algorithm of computing Kloosterman sums (preprint)"},{"key":"1_CR49","first-page":"33","volume":"23","author":"M. Put van der","year":"1986","unstructured":"van der Put, M.: The cohomology of Monsky and Washnitzer, in Introductions aux cohomologies p-adiques (Luminy, 1984). M\u00e9m. Soc. Math. France\u00a023, 33\u201359 (1986)","journal-title":"M\u00e9m. Soc. Math. France"},{"key":"1_CR50","unstructured":"Vercauteren, F.: Extensions of Kedlaya\u2019s algorithm, notes from ECC 2002 talk (2002), http:\/\/www.cs.bris.ac.uk\/~frederik\/"},{"key":"1_CR51","doi-asserted-by":"crossref","unstructured":"Vercauteren, F.: Computing zeta functions of curves over finite fields, thesis, Katholieke Universiteit Leuven (2003), http:\/\/www.cs.bris.ac.uk\/~frederik\/","DOI":"10.1007\/3-540-45708-9_24"},{"key":"1_CR52","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1090\/conm\/286\/04763","volume-title":"Symbolic computation: solving equations in algebra, geometry, and engineering (South Hadley, MA, 2000), Contemp. Math.","author":"U. Walther","year":"2001","unstructured":"Walther, U.: Algorithmic determination of the rational cohomology of complex varieties via differential forms. In: Symbolic computation: solving equations in algebra, geometry, and engineering (South Hadley, MA, 2000), Contemp. Math., vol.\u00a0286, pp. 185\u2013206. Amer. Math. Soc, Providence (2001)"}],"container-title":["Lecture Notes in Computer Science","Algorithmic Number Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24847-7_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,25]],"date-time":"2025-02-25T18:03:35Z","timestamp":1740506615000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24847-7_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540221562","9783540248477"],"references-count":52,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24847-7_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}