2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/70455We survey some recent applications of p-adic cohomology to machine computation of zeta functions of algebraic varieties over finite fields of small characteristic, and suggest some new avenues for further exploration.18 pages; to appear in the Proceedings of ANTS-VI (Algorithmic Number Theory Symposium, 2004)Number TheoryAlgebraic Geometry11M38; 14F30, 11Y99text