Publications of Project Algorithmic Number Theory in Computer Science (ANTICS - ERC-2011-StG_20101014)

39 publications

Title Authors Publication Year DOI Permanent Identifier Publication type Journal Project Name (GA Number) Access Mode
Nemo/Hecke: Computer Algebra and Number Theory Packages for the Julia Programming Language Fieker, Claus; Hart, William; Hofmann, Tommy; Johansson, Fredrik 2017-05-17 10.1145/3087604.3087611 https://hal.inria.fr/hal-01524140 Conference object https://hal.inria.fr/hal-01524140ISSAC '17ISSAC '17, Jul 2017, Kaiserslautern, Germany. 〈10.1145/3087604.3087611〉 ANTICS(278537) OPEN
Dirichlet series associated to cubic fields with given quadratic resolvent Cohen, Henri; Thorne, Frank 2013-01-15 10.1307/mmj/1401973050 https://hal.inria.fr/hal-00854662 Article The Michigan Mathematical Journalhttps://hal.inria.fr/hal-00854662Michigan Mathematical JournalMichigan Math. J. 63, iss. 2 (2014), 253-273Michigan Mathematical Journal, University of Michigan, 2014, 63, pp.253-273 ANTICS(278537) OPEN
Le grand théorème de Fermat Cohen, Henri 2016-01-01 https://hal.inria.fr/hal-01379484/file/fermat.pdf Article QuadratureISSN: 1142-2785https://hal.inria.fr/hal-01379484Quadrature, EDP Sciences, 2016, 102, pp.10-19EISSN: 1760-4826 ANTICS(278537) OPEN
Short addition sequences for theta functions Enge, Andreas; Hart, William; Johansson, Fredrik 2016-08-24 http://arxiv.org/abs/1608.06810 Preprint https://hal.inria.fr/hal-013559262016 ANTICS(278537) OPEN
Computation of Euclidean minima in totally definite quaternion fields Cerri, Jean-Paul; Lezowski, Pierre 2016-11-25 https://hal.archives-ouvertes.fr/hal-01447059 Preprint https://hal.archives-ouvertes.fr/hal-0144705922 pages, some improvements and corrections, especially in Sections 4 and 5. 201720 pages. 2016 ANTICS(278537) OPEN
Elliptic curve cryptographic systems Andreas Enge 2013-12-31 https://hal.inria.fr/hal-00764963/file/hff.pdf Part of book or chapter of book Handbook of Finite FieldsGary L. Mullen and Daniel Panario. Handbook of Finite Fields, Chapman and Hall/CRC, pp.784-796, 2013, Discrete Mathematics and Its Applications, 9781439873786https://hal.inria.fr/hal-00764963 ANTICS(278537) OPEN
Efficient implementation of elementary functions in the medium-precision range Johansson, Fredrik 2014-10-27 10.1109/ARITH.2015.16 https://hal.archives-ouvertes.fr/hal-01079834 Conference object 22nd IEEE Symposium on Computer Arithmetic (ARITH22), Jun 2015, Lyon, France. 〈10.1109/ARITH.2015.16〉https://hal.archives-ouvertes.fr/hal-0107983422nd IEEE Symposium on Computer Arithmetic (ARITH22) ANTICS(278537) OPEN
Exact counting of $D_\ell$ number fields with given quadratic resolvent Cohen, Henri 2015-01-01 10.1090/S0025-5718-2015-02920-2 https://hal.archives-ouvertes.fr/hal-01027417 Article ISSN: 0025-5718Mathematics of Computationhttps://hal.archives-ouvertes.fr/hal-01027417Mathematics of Computation, American Mathematical Society, 2015, 84 (294), pp.1933-1951 ANTICS(278537) OPEN
Computing isogenies between abelian varieties Lubicz, David; Robert, Damien 2010-01-12 10.1112/S0010437X12000243 https://hal.archives-ouvertes.fr/hal-00446062 Article https://hal.archives-ouvertes.fr/hal-00446062Compositio MathematicaCompositio Mathematica, Foundation Compositio Mathematica, 2012, 148 (05), pp.1483--1515. 〈10.1112/S0010437X12000243〉EISSN: 1570-5846ISSN: 0010-437X ANTICS(278537) OPEN
Computing the residue of the Dedekind zeta function Belabas, Karim; Friedman, Eduardo 2013-04-30 https://hal.inria.fr/hal-00916654 Article https://hal.inria.fr/hal-00916654ISSN: 0025-5718Mathematics of Computation, American Mathematical Society, 2015, 84, pp.357-369Mathematics of Computation ANTICS(278537) OPEN
Computing arithmetic Kleinian groups Page, Aurel 2015-01-01 10.1090/S0025-5718-2015-02939-1 https://hal.archives-ouvertes.fr/hal-00703043/file/kln_gps.pdf Article ISSN: 0025-5718Mathematics of Computationhttps://hal.archives-ouvertes.fr/hal-00703043Mathematics of Computation, American Mathematical Society, 2015, 84 (295), pp.2361-2390 ANTICS(278537) OPEN
Singular values of multiple eta-quotients for ramified primes Enge, Andreas; Schertz, Reinhard 2013-01-01 10.1112/S146115701300020X https://hal.inria.fr/hal-00768375/file/zweig.pdf Article LMS Journal of Computation and Mathematics, London Mathematical Society, 2013, 16, pp.407-418. 〈http://dx.doi.org/10.1112/S146115701300020X〉. 〈10.1112/S146115701300020X〉http://dx.doi.org/10.1112/S146115701300020XEISSN: 1461-1570LMS Journal of Computation and MathematicsISSN: 1461-1570https://hal.inria.fr/hal-00768375 ANTICS(278537) OPEN
Vanishing and non-vanishing theta values Cohen, Henri; Zagier, Don 2013-01-01 10.1007/s40316-013-0003-x https://hal.archives-ouvertes.fr/hal-01027413 Article Annales mathématiques du QuébecAnnales mathématiques du QuebecAnnales mathématiques du Quebec, 2013, 37 (1), pp.45-61https://hal.archives-ouvertes.fr/hal-01027413 ANTICS(278537) OPEN
Haberland's formula and numerical computation of Petersson scalar products Cohen, Henri 2013-12-31 10.2140/obs.2013.1.249 https://hal.inria.fr/hal-00854440 Conference object https://hal.inria.fr/hal-00854440Everett W. Howe and Kiran S. Kedlaya. ANTS X, 2012, San Diego, United States. Mathematical Sciences Publisher, 1, pp.249-270, 2013, The Open Book Series. 〈10.2140/obs.2013.1.249〉The Open Book SeriesANTS X ANTICS(278537) OPEN
Schertz style class invariants for quartic CM fields Enge, Andreas; Streng, Marco 2016-01-01 http://arxiv.org/abs/1610.04505 Preprint https://hal.inria.fr/hal-013773762016 ANTICS(278537) OPEN
Computing (l,l)-isogenies in polynomial time on Jacobians of genus 2 curves Cosset, Romain; Robert, Damien 2015-01-01 10.1090/S0025-5718-2014-02899-8 https://hal.archives-ouvertes.fr/hal-00578991/file/niveau.pdf Article Mathematics of Computation, American Mathematical Society, 2015, 84 (294), pp.1953-1975 〈10.1090/S0025-5718-2014-02899-8 〉ISSN: 0025-5718Mathematics of Computationhttps://hal.archives-ouvertes.fr/hal-00578991 ANTICS(278537) OPEN
Improved CRT Algorithm for Class Polynomials in Genus $2$ Lauter, Kristin; Robert, Damien 2012-07-09 10.2140/obs.2013.1.437 https://hal.archives-ouvertes.fr/hal-00734450 Conference object https://hal.archives-ouvertes.fr/hal-00734450The Open Book SeriesANTS X -- Proceedings of the Tenth Algorithmic Number Theory SymposiumEverett W. Howe and Kiran S. Kedlaya. ANTS X - Algorithmic Number Theory 2012, Jul 2012, San Diego, United States. Mathematical Sciences Publisher, 1, pp.437-461, 2013, The Open Book Series. 〈10.2140/obs.2013.1.437〉ANTS X - Algorithmic Number Theory 2012 ANTICS(278537) OPEN
Computation of the Euclidean minimum of algebraic number fields Lezowski, Pierre 2014-01-01 10.1090/S0025-5718-2013-02746-9 https://hal.archives-ouvertes.fr/hal-00632997v2/document Article ISSN: 0025-5718Mathematics of Computation, American Mathematical Society, 2014, 83, pp.1397-1426. 〈10.1090/S0025-5718-2013-02746-9〉Mathematics of Computationhttps://hal.archives-ouvertes.fr/hal-00632997 ANTICS(278537) OPEN
Bilinear pairings on elliptic curves Enge, Andreas 2013-01-23 https://hal.inria.fr/hal-00767404v2/document Article L'Enseignement Mathématique, 2015, 61 (2), pp.211-243L'Enseignement Mathématiquehttps://hal.inria.fr/hal-00767404 ANTICS(278537) OPEN
Totally indefinite Euclidean quaternion fields Cerri, Jean-Paul; Chaubert, Jérôme; Lezowski, Pierre 2014-01-01 10.4064/aa165-2-4 https://hal.archives-ouvertes.fr/hal-01016614/file/quater5.pdf Article Acta Arithmetica, Instytut Matematyczny PAN, 2014, 165 (2), pp.181-200Acta Arithmeticahttps://hal.archives-ouvertes.fr/hal-01016614 ANTICS(278537) OPEN
CM-Points on Straight Lines Allombert, Bill; Bilu, Yuri; Pizarro-Madariaga, Amalia 2014-06-05 10.1007/978-3-319-22240-0_1 https://hal.inria.fr/hal-01114121 Part of book or chapter of book Analytic Number Theory : In Honor of Helmut Maier’s 60th Birthday, 2015, 978-3-319-22239-4 〈10.1007/978-3-319-22240-0_1 〉https://hal.inria.fr/hal-01114121Analytic Number Theory : In Honor of Helmut Maier’s 60th Birthday ANTICS(278537) OPEN
Computing hypergeometric functions rigorously Johansson, Fredrik 2016-06-22 https://hal.inria.fr/hal-01336266v2/document Preprint https://hal.inria.fr/hal-013362662016 ANTICS(278537) OPEN
Implementing cryptographic pairings at standard security levels Enge, Andreas; Milan, Jérôme 2014-07-22 10.1007/978-3-319-12060-7_3 https://hal.inria.fr/hal-01034213/document Conference object Rajat Subhra Chakraborty, Vashek Matyas, Patrick Schaumont. Security, Privacy, and Applied Cryptography Engineering, Oct 2014, Pune, India. Springer, 8804, pp.28-46, Lecture Notes in Computer Science. 〈10.1007/978-3-319-12060-7_3〉Lecture Notes in Computer ScienceSecurity, Privacy, and Applied Cryptography Engineeringhttps://hal.inria.fr/hal-01034213 ANTICS(278537) OPEN
Arithmetic on Abelian and Kummer Varieties Lubicz, David; Robert, Damien 2016-05-01 10.1016/j.ffa.2016.01.009 https://hal.archives-ouvertes.fr/hal-01057467/file/arithmetic.pdf Article Finite Fields and Applications, 2016, 39, pp.130-158. 〈10.1016/j.ffa.2016.01.009〉https://hal.archives-ouvertes.fr/hal-01057467Finite Fields and Applications ANTICS(278537) OPEN
On $D_\ell$-extensions of odd prime degree $\ell$ Cohen, Henri; Thorne, Frank 2016-09-28 https://hal.inria.fr/hal-01379473 Preprint 2016https://hal.inria.fr/hal-01379473 ANTICS(278537) OPEN
Dirichlet series associated to quartic fields with given cubic resolvent Cohen, Henri; Thorne, Frank 2016-01-01 10.1007/s40993-015-0001-y https://hal.inria.fr/hal-00854664 Article Research in Number Theoryhttps://hal.inria.fr/hal-00854664Research in Number Theory, SpringerOpen, 2016, 2 (29), pp.1-40. 〈10.1007/s40993-015-0001-y〉ISSN: 2363-9555 ANTICS(278537) OPEN
Identitites for Field Extensions Generalizing the Ohno–Nakagawa Relations Cohen, Henri; Rubinstein-Salzedo, Simon; Thorne, Frank 2015-01-01 https://hal.inria.fr/hal-01109980 Article Compositio Mathematica, Foundation Compositio Mathematica, 2015, 151 (11), pp.2059-2075https://hal.inria.fr/hal-01109980Compositio MathematicaEISSN: 1570-5846ISSN: 0010-437X ANTICS(278537) OPEN
An algorithm for the principal ideal problem in indefinite quaternion algebras Page, Aurel 2014-05-26 10.1112/S1461157014000321 https://hal.archives-ouvertes.fr/hal-00996346/file/pip.pdf Conference object LMS Journal of Computation and Mathematicshttps://hal.archives-ouvertes.fr/hal-00996346Algorithmic Number Theory Symposium ANTS XI, Aug 2014, GyeongJu, South Korea. 17, pp.366-384, 2014, LMS Journal of Computation and MathematicsAlgorithmic Number Theory Symposium ANTS XI ANTICS(278537) OPEN
On some Euclidean properties of matrix algebras Lezowski, Pierre 2017-09-15 10.1016/j.jalgebra.2017.05.018 https://hal.archives-ouvertes.fr/hal-01135202/file/matrices_edr.pdf Article Journal of Algebra, Elsevier, 2017, 486, pp.157--203. 〈10.1016/j.jalgebra.2017.05.018〉ISSN: 0021-8693Journal of Algebrahttps://hal.archives-ouvertes.fr/hal-01135202EISSN: 1090-266X39 pages, some corrections and improvements, especially in Section 7. 2015 ANTICS(278537) OPEN
Computing class polynomials for abelian surfaces Enge, Andreas; Thomé, Emmanuel 2013-05-19 10.1080/10586458.2013.878675 https://hal.inria.fr/hal-00823745 Article https://hal.inria.fr/hal-00823745ISSN: 1058-6458Experimental Mathematics, Taylor & Francis, 2014, 23, pp.129-145. 〈10.1080/10586458.2013.878675〉Experimental Mathematics ANTICS(278537) OPEN
Tables of modular Galois representations Mascot, Nicolas 2014-01-01 https://hal.archives-ouvertes.fr/hal-01110252/file/Article%20Tables.pdf Preprint 2014https://hal.archives-ouvertes.fr/hal-01110252 ANTICS(278537) OPEN
A generalisation of Miller's algorithm and applications to pairing computations on abelian varieties Lubicz, David; Robert, Damien 2015-01-01 10.1016/j.jsc.2014.08.001 https://hal.inria.fr/hal-00806923/file/optimal_web.pdf Article Journal of Symbolic ComputationJournal of Symbolic Computation, Elsevier, 2015, 67, pp.68-92. 〈10.1016/j.jsc.2014.08.001〉ISSN: 0747-7171https://hal.inria.fr/hal-00806923EISSN: 1095-855X ANTICS(278537) OPEN
Computing modular Galois representations Mascot, Nicolas 2012-11-07 Article ANTICS(278537) OPEN
Generalised Weber Functions Enge, Andreas; Morain, François 2014-01-01 10.4064/aa164-4-1 https://hal.inria.fr/inria-00385608/file/weber.pdf Article Acta Arithmetica, Instytut Matematyczny PAN, 2014, 164 (4), pp.309-341. 〈10.4064/aa164-4-1〉Acta Arithmeticahttps://hal.inria.fr/inria-00385608 ANTICS(278537) OPEN
Computing separable isogenies in quasi-optimal time Lubicz, David; Robert, Damien 2014-02-14 10.1112/S146115701400045X https://hal.archives-ouvertes.fr/hal-00954895/file/rational_published.pdf Article https://hal.archives-ouvertes.fr/hal-00954895EISSN: 1461-1570LMS Journal of Computation and MathematicsISSN: 1461-1570LMS Journal of Computation and Mathematics, London Mathematical Society, 2015, 18 (1), pp.198-216. 〈10.1112/S146115701400045X〉 ANTICS(278537) OPEN
A quasi-linear time algorithm for computing modular polynomials in dimension 2 Milio, Enea 2014-11-03 10.1112/S1461157015000170 https://hal.archives-ouvertes.fr/hal-01080462v3/document Article LMS Journal of Computation and Mathematics, London Mathematical Society, 2015, 18, pp.603-632EISSN: 1461-1570LMS Journal of Computation and MathematicsISSN: 1461-1570https://hal.archives-ouvertes.fr/hal-01080462 ANTICS(278537) OPEN
Computing modular Galois representations Mascot, Nicolas 2013-12-01 10.1007/s12215-013-0136-4 https://hal.archives-ouvertes.fr/hal-01110451/file/Article%203.pdf Article Rendiconti del Circolo Matematico di Palermo, 2013, 62 (3), pp.451 - 476. 〈10.1007/s12215-013-0136-4〉Rendiconti del Circolo Matematico di Palermohttps://hal.archives-ouvertes.fr/hal-01110451 ANTICS(278537) OPEN
Arb: Efficient Arbitrary-Precision Midpoint-Radius Interval Arithmetic Johansson, Fredrik 2016-11-09 https://hal.inria.fr/hal-01394258/file/arb.pdf Preprint 2016https://hal.inria.fr/hal-01394258 ANTICS(278537); Fast Computer Algebra for Special Functions(Y 464) OPEN
The logarithmic class group package in PARI/GP Belabas, Karim; Jaulent, Jean-François 2016-01-01 https://hal.archives-ouvertes.fr/hal-01419870 Article Publications Mathématiques de Besançon : Algèbre et Théorie des Nombres, Publications mathématiques de Besançon, 2016, pp.5-18https://hal.archives-ouvertes.fr/hal-01419870ISSN: 1958-7236Publications Mathématiques de Besançon : Algèbre et Théorie des NombresEISSN: 1958-7236 OpenDreamKit(676541); ANTICS(278537) OPEN