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
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
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
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
Generalised Weber Functions Enge, Andreas; Morain, François 2009-05-20 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
Dirichlet series associated to cubic fields with given quadratic resolvent Cohen , Henri; Thorne , Frank 2014-01-01 10.1307/mmj/1401973050 http://dx.doi.org/10.1307/mmj/1401973050 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
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
Vanishing and non-vanishing theta values Cohen, Henri; Zagier, Don 2013-06-01 10.1007/s40316-013-0003-x https://hal.archives-ouvertes.fr/hal-01027413 Article Annales mathématiques du QuebecAnnales mathématiques du QuébecAnnales mathématiques du Quebec, 2013, 37 (1), pp.45-61https://hal.archives-ouvertes.fr/hal-01027413 ANTICS(278537) OPEN
Schertz style class invariants for quartic CM fields Enge, Andreas; Streng, Marco 2016-10-14 https://hal.inria.fr/hal-01377376 Preprint https://hal.inria.fr/hal-013773762016 ANTICS(278537) OPEN
Short addition sequences for theta functions Enge , Andreas; Hart , William; Johansson , Fredrik 2018-01-01 https://hal.inria.fr/hal-01355926/file/addseq.pdf Article ISSN: 1530-7638Journal of Integer Sequenceshttps://hal.inria.fr/hal-01355926Journal of Integer Sequences, University of Waterloo, 2018, 18 (2), pp.1-34 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
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 Class Polynomials for Abelian Surfaces Enge, Andreas; Thomé, Emmanuel 2014-04-03 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
Computing modular Galois representations Nicolas Mascot 2013-12-01 Article ANTICS(278537) CLOSED
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
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
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 2015-01-01 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
Computing hypergeometric functions rigorously Johansson , Fredrik 2016-07-05 http://arxiv.org/abs/1606.06977 Preprint https://hal.inria.fr/hal-013362662016 ANTICS(278537) OPEN
Computing separable isogenies in quasi-optimal time Lubicz , David; Robert , Damien 2015-01-01 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
Computation of Euclidean minima in totally definite quaternion fields Cerri , Jean-Paul; Lezowski , Pierre 2017-03-07 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
Nemo/Hecke: Computer Algebra and Number Theory Packages for the Julia Programming Language Fieker , Claus; Hart , William; Hofmann , Tommy; Johansson , Fredrik 2017-07-25 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
Singular values of multiple eta-quotients for ramified primes Enge, Andreas; Schertz, Reinhard 2013-10-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
Elliptic curve cryptographic systems Enge , Andreas 2013-01-01 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
Haberland's formula and numerical computation of Petersson scalar products Cohen , Henri 2012-01-01 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
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
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
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
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 AlgebraEISSN: 1090-266Xhttps://hal.archives-ouvertes.fr/hal-01135202 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
Arb: Efficient Arbitrary-Precision Midpoint-Radius Interval Arithmetic Johansson , Fredrik 2017-08-01 10.1109/TC.2017.2690633 https://hal.inria.fr/hal-01678734 Article https://hal.inria.fr/hal-01678734IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2017, 66 (8), pp.1281 - 1292. 〈10.1109/TC.2017.2690633〉IEEE Transactions on Computers2016ISSN: 0018-9340https://hal.inria.fr/hal-01394258 ANTICS(278537); Fast Computer Algebra for Special Functions(Y 464) OPEN