[PDF][PDF] Efficient algorithms for abelian varieties and their moduli spaces

D Robert - 2021 - hal.science
Efficient algorithms for abelian varieties and their moduli spaces Page 1 HAL Id: tel-03498268
https://hal.science/tel-03498268 Submitted on 20 Dec 2021 HAL is a multi-disciplinary open …

Local polynomial factorisation: improving the Montes algorithm

A Poteaux, M Weimann - … of the 2022 International Symposium on …, 2022 - dl.acm.org
We improve significantly the Nart-Montes algorithm for factoring polynomials over a
complete discrete valuation ring A. Our first contribution is to extend the Hensel lemma in the …

A quasi-linear irreducibility test in

A Poteaux, M Weimann - computational complexity, 2022 - Springer
We provide an irreducibility test in the ring K [[x]][y] whose complexity is quasi-linear with
respect to the discriminant valuation, assuming the input polynomial F is square-free and K …

On FGLM Algorithms with Tate Algebras

X Caruso, T Vaccon, T Verron - Proceedings of the 2021 on International …, 2021 - dl.acm.org
Tate introduced in [18] the notion of Tate algebras to serve, in the context of analytic
geometry over the p-adics, as a counterpart of polynomial algebras in classical algebraic …

A -adic Descartes solver: the Strassman solver

J Tonelli-Cueto - arXiv preprint arXiv:2203.07016, 2022 - arxiv.org
Solving polynomials is a fundamental computational problem in mathematics. In the real
setting, we can use Descartes' rule of signs to efficiently isolate the real roots of a square …

ZpL: a p-adic precision package

X Caruso, D Roe, T Vaccon - Proceedings of the 2018 ACM International …, 2018 - dl.acm.org
We present a new package ZpL for the mathematical software system SageMath. It
implements a sharp tracking of precision on p-adic numbers, following the theory of …

Using approximate roots for irreducibility and equi-singularity issues in K [[x]][y]

A Poteaux, M Weimann - arXiv preprint arXiv:1904.00286, 2019 - arxiv.org
We provide an irreducibility test in the ring K [[x]][y] whose complexity is quasi-linear with
respect to the valuation of the discriminant, assuming the input polynomial F square-free and …

[PDF][PDF] Incursions en géométrie algébrique effective et calcul formel

M Weimann - weimann.users.lmno.cnrs.fr
Rédiger un mémoire d'habilitation n'est certes pas écrire un livre, mais c'est l'occasion
d'inscrire l'ensemble de ses contributions dans un contexte mathématique cohérent plus …

Super-linear convergence in the p-adic QR-algorithm

A Kulkarni, T Vaccon - Linear and Multilinear Algebra, 2022 - Taylor & Francis
The QR-algorithm is one of the most important algorithms in linear algebra. Its several
variants make feasible the computation of the eigenvalues and eigenvectors of a numerical …

[PDF][PDF] Algorithmes efficaces pour les variétés abéliennes et leurs espaces de module

D Robert - 2021 - normalesup.org
1.1 Secret sharing and cryptography 1 1.2 Purpose of this document and a brief description
of my research 3 1.2. 1 Overview 3 1.2. 2 Algorithms for abelian varieties 4 1.2. 3 Algorithms …