Tracking-adic precision X Caruso, D Roe, T Vaccon LMS Journal of Computation and Mathematics 17 (A), 274-294, 2014 | 31 | 2014 |

On p-adic differential equations with separation of variables P Lairez, T Vaccon Proceedings of the ACM on International Symposium on Symbolic and Algebraic …, 2016 | 21 | 2016 |

Matrix-F5 algorithms over finite-precision complete discrete valuation fields T Vaccon Proceedings of the 39th International Symposium on Symbolic and Algebraic …, 2014 | 15 | 2014 |

A tropical F5 algorithm T Vaccon, K Yokoyama Proceedings of the 2017 ACM on International Symposium on Symbolic and …, 2017 | 14 | 2017 |

On affine tropical F5 algorithms T Vaccon, T Verron, K Yokoyama Proceedings of the 2018 ACM International Symposium on Symbolic and …, 2018 | 11 | 2018 |

Characteristic polynomials of p-adic matrices X Caruso, D Roe, T Vaccon Proceedings of the 2017 ACM on International Symposium on Symbolic and …, 2017 | 11 | 2017 |

Matrix-F5 algorithms and tropical Gröbner bases computation T Vaccon Proceedings of the 2015 ACM on International Symposium on Symbolic and …, 2015 | 11 | 2015 |

Division and slope factorization of p-adic polynomials X Caruso, D Roe, T Vaccon Proceedings of the ACM on International Symposium on Symbolic and Algebraic …, 2016 | 10 | 2016 |

Gröbner bases over Tate algebras X Caruso, T Vaccon, T Verron Proceedings of the 2019 on International Symposium on Symbolic and Algebraic …, 2019 | 9 | 2019 |

Précision p-adique T Vaccon Université de Rennes, 2015 | 9 | 2015 |

p-Adic Stability In Linear Algebra X Caruso, D Roe, T Vaccon Proceedings of the 2015 ACM on International Symposium on Symbolic and …, 2015 | 8 | 2015 |

Signature-based algorithms for Gröbner bases over Tate algebras X Caruso, T Vaccon, T Verron Proceedings of the 45th International Symposium on Symbolic and Algebraic …, 2020 | 7 | 2020 |

ZpL: a p-adic precision package X Caruso, D Roe, T Vaccon Proceedings of the 2018 ACM International Symposium on Symbolic and …, 2018 | 5 | 2018 |

Précision p-adique: applications en calcul formel, théorie des nombres et cryptographie T Vaccon PhD thesis, University of Rennes 1, 2015. 7, 2015 | 5 | 2015 |

On FGLM Algorithms with Tate Algebras X Caruso, T Vaccon, T Verron Proceedings of the 2021 on International Symposium on Symbolic and Algebraic …, 2021 | 4 | 2021 |

On Polynomial Ideals And Overconvergence In Tate Algebras X Caruso, T Vaccon, T Verron Proceedings of the 2022 International Symposium on Symbolic and Algebraic …, 2022 | 3 | 2022 |

On the p-adic stability of the FGLM algorithm G Renault, T Vaccon arXiv preprint arXiv:1602.00848, 2016 | 3 | 2016 |

Fast evaluation of some p-adic transcendental functions X Caruso, M Mezzarobba, N Takayama, T Vaccon arXiv preprint arXiv:2106.09315, 2021 | 2 | 2021 |

On FGLM algorithms with tropical Gröbner bases Y Ishihara, T Vaccon, K Yokoyama Proceedings of the 45th International Symposium on Symbolic and Algebraic …, 2020 | 2 | 2020 |

Universal Analytic Gröbner Bases and Tropical Geometry T Vaccon, T Verron Proceedings of the 2023 International Symposium on Symbolic and Algebraic …, 2023 | 1 | 2023 |