Tristan Vaccon

CoRR, 2024

Universal Analytic Gr{ö}bner Bases and Tropical Geometry.

[BibT_eX]

[DOI]

CoRR, 2024

2023

Learning to Compute Gröbner Bases.

[BibT_eX]

[DOI]

CoRR, 2023

Universal Analytic Gröbner Bases and Tropical Geometry.

[BibT_eX]

[DOI]

Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, 2023

Pourchet's theorem in action: decomposing univariate nonnegative polynomials as sums of five squares.

[BibT_eX]

[DOI]

Przemyslaw Koprowski

Victor Magron

Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, 2023

2022

On Polynomial Ideals and Overconvergence in Tate Algebras.

[BibT_eX]

[DOI]

Proceedings of the ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Villeneuve-d'Ascq, France, July 4, 2022

2021

On affine tropical F5 algorithms.

[BibT_eX]

[DOI]

Kazuhiro Yokoyama

J. Symb. Comput., 2021

Fast evaluation of some p-adic transcendental functions.

[BibT_eX]

[DOI]

CoRR, 2021

On FGLM Algorithms with Tate Algebras.

[BibT_eX]

[DOI]

Proceedings of the ISSAC '21: International Symposium on Symbolic and Algebraic Computation, 2021

2020

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

[BibT_eX]

[DOI]

Avinash Kulkarni

CoRR, 2020

Signature-based algorithms for Gr{ö}bner bases over Tate algebras.

[BibT_eX]

[DOI]

CoRR, 2020

On FGLM algorithms with tropical Gröbner bases.

[BibT_eX]

[DOI]

Yuki Ishihara

Kazuhiro Yokoyama

Proceedings of the ISSAC '20: International Symposium on Symbolic and Algebraic Computation, 2020

On a non-archimedean broyden method.

[BibT_eX]

[DOI]

Xavier Dahan

Proceedings of the ISSAC '20: International Symposium on Symbolic and Algebraic Computation, 2020

Signature-based algorithms for Gröbner bases over tate algebras.

[BibT_eX]

[DOI]

Proceedings of the ISSAC '20: International Symposium on Symbolic and Algebraic Computation, 2020

2019

Gr{ö}bner bases over Tate algebras.

[BibT_eX]

[DOI]

CoRR, 2019

Gröbner Bases Over Tate Algebras.

[BibT_eX]

[DOI]

Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, 2019

2018

Matrix-F5 algorithms and tropical Gröbner bases computation.

[BibT_eX]

[DOI]

J. Symb. Comput., 2018

ZpL: a p-adic Precision Package.

[BibT_eX]

[DOI]

Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation, 2018

2017

Matrix-F5 algorithms over finite-precision complete discrete valuation fields.

[BibT_eX]

[DOI]

J. Symb. Comput., 2017

A Tropical F5 Algorithm.

[BibT_eX]

[DOI]

Kazuhiro Yokoyama

Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, 2017

Characteristic Polynomials of p-adic Matrices.

[BibT_eX]

[DOI]

Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, 2017

2016

On the p-adic stability of the FGLM algorithm.

[BibT_eX]

[DOI]

Guénaël Renault

CoRR, 2016

On p-Adic Differential Equations with Separation of Variables.

[BibT_eX]

[DOI]

Pierre Lairez

Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, 2016

Division and Slope Factorization of p-Adic Polynomials.

[BibT_eX]

[DOI]

Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, 2016

2015

p-Adic Stability In Linear Algebra.

[BibT_eX]

[DOI]

Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, 2015

2014

Tracking -adic precision.

[BibT_eX]

[DOI]

LMS J. Comput. Math., 2014

Tracking p-adic precision.

[BibT_eX]

[DOI]