
Fast evaluation of some padic transcendental functions
We design algorithms for computing values of many padic elementary and ...
read it

On FGLM Algorithms with Tate Algebras
Tate introduced in [Ta71] the notion of Tate algebras to serve, in the c...
read it

On FGLM Algorithms with Tropical Gröbner bases
Let K be a field equipped with a valuation. Tropical varieties over K ca...
read it

On a nonarchimedean broyden method
Newton's method is an ubiquitous tool to solve equations, both in the ar...
read it

Superlinear convergence in the padic QRalgorithm
The QRalgorithm is one of the most important algorithms in linear algeb...
read it

Signaturebased algorithms for Gröbner bases over Tate algebras
Introduced by Tate in [Ta71], Tate algebras play a major role in the con...
read it

Gröbner bases over Tate algebras
Tate algebras are fundamental objects in the context of analytic geometr...
read it

On Affine Tropical F5 Algorithms
Let K be a field equipped with a valuation. Tropical varieties over K ca...
read it

ZpL: a padic precision package
We present a new package ZpL for the mathematical software system SM. It...
read it

A Tropical F5 algorithm
Let K be a field equipped with a valuation. Tropical varieties over K ca...
read it

Characteristic polynomials of padic matrices
We analyze the precision of the characteristic polynomial of an n× n pa...
read it

Division and Slope Factorization of pAdic Polynomials
We study two important operations on polynomials defined over complete d...
read it

On the padic stability of the FGLM algorithm
Nowadays, many strategies to solve polynomial systems use the computatio...
read it

On padic differential equations with separation of variables
Several algorithms in computer algebra involve the computation of a powe...
read it
Tristan Vaccon
is this you? claim profile