Vaccon, Tristan; Verron, Thibaut; Yokoyama, Kazuhiro On affine tropical F5 algorithms. (English) Zbl 1450.14015 J. Symb. Comput. 102, 132-152 (2021). MSC: 14T10 13P10 14-04 PDF BibTeX XML Cite \textit{T. Vaccon} et al., J. Symb. Comput. 102, 132--152 (2021; Zbl 1450.14015) Full Text: DOI
Ishihara, Yuki; Vaccon, Tristan; Yokoyama, Kazuhiro On FGLM algorithms with tropical Gröbner bases. (English) Zbl 07300079 Mantzaflaris, Angelos (ed.), Proceedings of the 45th international symposium on symbolic and algebraic computation, ISSAC ’20, Kalamata, Greece, July 20–23, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7100-1). 257-264 (2020). MSC: 68W30 PDF BibTeX XML Cite \textit{Y. Ishihara} et al., in: Proceedings of the 45th international symposium on symbolic and algebraic computation, ISSAC '20, Kalamata, Greece, July 20--23, 2020. New York, NY: Association for Computing Machinery (ACM). 257--264 (2020; Zbl 07300079) Full Text: DOI
Caruso, Xavier; Vaccon, Tristan; Verron, Thibaut Signature-based algorithms for Gröbner bases over Tate algebras. (English) Zbl 07300055 Mantzaflaris, Angelos (ed.), Proceedings of the 45th international symposium on symbolic and algebraic computation, ISSAC ’20, Kalamata, Greece, July 20–23, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7100-1). 70-77 (2020). MSC: 68W30 PDF BibTeX XML Cite \textit{X. Caruso} et al., in: Proceedings of the 45th international symposium on symbolic and algebraic computation, ISSAC '20, Kalamata, Greece, July 20--23, 2020. New York, NY: Association for Computing Machinery (ACM). 70--77 (2020; Zbl 07300055) Full Text: DOI
Caruso, Xavier; Vaccon, Tristan; Verron, Thibaut Gröbner bases over Tate algebras. (English) Zbl 07246232 Bradford, Russell (ed.), Proceedings of the 44th international symposium on symbolic and algebraic computation, ISSAC ’19, Beijing, China, July 15–18, 2019. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6084-5). 74-81 (2019). MSC: 68W30 PDF BibTeX XML Cite \textit{X. Caruso} et al., in: Proceedings of the 44th international symposium on symbolic and algebraic computation, ISSAC '19, Beijing, China, July 15--18, 2019. New York, NY: Association for Computing Machinery (ACM). 74--81 (2019; Zbl 07246232) Full Text: DOI
Vaccon, Tristan; Verron, Thibaut; Yokoyama, Kazuhiro On affine tropical F5 algorithms. (English) Zbl 07245540 Arreche, Carlos (ed.), Proceedings of the 43rd international symposium on symbolic and algebraic computation, ISSAC 2018, New York, NY, USA, July 16–19, 2018. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-5550-6). 383-390 (2018). MSC: 68W30 PDF BibTeX XML Cite \textit{T. Vaccon} et al., in: Proceedings of the 43rd international symposium on symbolic and algebraic computation, ISSAC 2018, New York, NY, USA, July 16--19, 2018. New York, NY: Association for Computing Machinery (ACM). 383--390 (2018; Zbl 07245540) Full Text: DOI
Caruso, Xavier; Roe, David; Vaccon, Tristan ZpL: a \(p\)-adic precision package. (English) Zbl 07245507 Arreche, Carlos (ed.), Proceedings of the 43rd international symposium on symbolic and algebraic computation, ISSAC 2018, New York, NY, USA, July 16–19, 2018. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-5550-6). 119-126 (2018). MSC: 68W30 PDF BibTeX XML Cite \textit{X. Caruso} et al., in: Proceedings of the 43rd international symposium on symbolic and algebraic computation, ISSAC 2018, New York, NY, USA, July 16--19, 2018. New York, NY: Association for Computing Machinery (ACM). 119--126 (2018; Zbl 07245507) Full Text: DOI
Vaccon, Tristan Matrix-F5 algorithms and tropical Gröbner bases computation. (English) Zbl 1435.13030 J. Symb. Comput. 89, 227-254 (2018). Reviewer: Gema Maria Diaz Toca (Murcia) MSC: 13P10 13F30 14T90 68W30 PDF BibTeX XML Cite \textit{T. Vaccon}, J. Symb. Comput. 89, 227--254 (2018; Zbl 1435.13030) Full Text: DOI
Vaccon, Tristan; Yokoyama, Kazuhiro A tropical F5 algorithm. (English) Zbl 07245259 Burr, Michael (ed.), Proceedings of the 42nd international symposium on symbolic and algebraic computation, ISSAC 2017, Kaiserslautern, Germany, July 25–28, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-5064-8). 429-436 (2017). MSC: 68W30 PDF BibTeX XML Cite \textit{T. Vaccon} and \textit{K. Yokoyama}, in: Proceedings of the 42nd international symposium on symbolic and algebraic computation, ISSAC 2017, Kaiserslautern, Germany, July 25--28, 2017. New York, NY: Association for Computing Machinery (ACM). 429--436 (2017; Zbl 07245259) Full Text: DOI
Caruso, Xavier; Roe, David; Vaccon, Tristan Characteristic polynomials of \(p\)-adic matrices. (English) Zbl 07245254 Burr, Michael (ed.), Proceedings of the 42nd international symposium on symbolic and algebraic computation, ISSAC 2017, Kaiserslautern, Germany, July 25–28, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-5064-8). 389-396 (2017). MSC: 68W30 PDF BibTeX XML Cite \textit{X. Caruso} et al., in: Proceedings of the 42nd international symposium on symbolic and algebraic computation, ISSAC 2017, Kaiserslautern, Germany, July 25--28, 2017. New York, NY: Association for Computing Machinery (ACM). 389--396 (2017; Zbl 07245254) Full Text: DOI
Vaccon, Tristan Matrix-F5 algorithms over finite-precision complete discrete valuation fields. (English) Zbl 1362.13030 J. Symb. Comput. 80, Part 2, 329-350 (2017). Reviewer: Mihai Cipu (Bucureşti) MSC: 13P10 13F30 68Q25 PDF BibTeX XML Cite \textit{T. Vaccon}, J. Symb. Comput. 80, Part 2, 329--350 (2017; Zbl 1362.13030) Full Text: DOI
Lairez, Pierre; Vaccon, Tristan On \(p\)-adic differential equations with separation of variables. (English) Zbl 1364.12007 Rosenkranz, Markus (ed.), Proceedings of the 41st international symposium on symbolic and algebraic computation, ISSAC 2016, Waterloo, Canada, July 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4380-0). 319-323 (2016). MSC: 12H25 65L20 PDF BibTeX XML Cite \textit{P. Lairez} and \textit{T. Vaccon}, in: Proceedings of the 41st international symposium on symbolic and algebraic computation, ISSAC 2016, Waterloo, Canada, July 20--22, 2016. New York, NY: Association for Computing Machinery (ACM). 319--323 (2016; Zbl 1364.12007) Full Text: DOI
Caruso, Xavier; Roe, David; Vaccon, Tristan Division and slope factorization of \(p\)-adic polynomials. (English) Zbl 1362.13024 Rosenkranz, Markus (ed.), Proceedings of the 41st international symposium on symbolic and algebraic computation, ISSAC 2016, Waterloo, Canada, July 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4380-0). 159-166 (2016). MSC: 13P05 12H25 12Y05 68W30 PDF BibTeX XML Cite \textit{X. Caruso} et al., in: Proceedings of the 41st international symposium on symbolic and algebraic computation, ISSAC 2016, Waterloo, Canada, July 20--22, 2016. New York, NY: Association for Computing Machinery (ACM). 159--166 (2016; Zbl 1362.13024) Full Text: DOI
Caruso, Xavier; Roe, David; Vaccon, Tristan \(P\)-adic stability in linear algebra. (English) Zbl 1346.68275 Proceedings of the 40th international symposium on symbolic and algebraic computation, ISSAC 2015, Bath, UK, July 6–9, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3435-8). 101-108 (2015). MSC: 68W30 15A99 65F99 PDF BibTeX XML Cite \textit{X. Caruso} et al., in: Proceedings of the 40th international symposium on symbolic and algebraic computation, ISSAC 2015, Bath, UK, July 6--9, 2015. New York, NY: Association for Computing Machinery (ACM). 101--108 (2015; Zbl 1346.68275) Full Text: DOI arXiv
Gonçalves, Cécile A point counting algorithm for cyclic covers of the projective line. (English) Zbl 1343.14016 Ballet, Stéphane (ed.) et al., Algorithmic arithmetic, geometry, and coding theory. 14th international conference on arithmetic, geometry, cryptography, and coding theory (AGCT), CIRM, Marseille, France, June 3–7, 2013. Proceedings. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-1461-0/pbk; 978-1-4704-2339-1/ebook). Contemporary Mathematics 637, 145-172 (2015). Reviewer: Juan Tena Ayuso (Valladolid) MSC: 14G05 11G20 14G15 68Q25 14G10 11Y16 PDF BibTeX XML Cite \textit{C. Gonçalves}, Contemp. Math. 637, 145--172 (2015; Zbl 1343.14016) Full Text: DOI
Caruso, Xavier Random matrices over a DVR and LU factorization. (English) Zbl 1316.65038 J. Symb. Comput. 71, 98-123 (2015). MSC: 65F05 16W60 PDF BibTeX XML Cite \textit{X. Caruso}, J. Symb. Comput. 71, 98--123 (2015; Zbl 1316.65038) Full Text: DOI
Vaccon, Tristan Matrix-F5 algorithms over finite-precision complete discrete valuation fields. (English) Zbl 1325.68303 Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 397-404 (2014). MSC: 68W30 13P05 13P10 PDF BibTeX XML Cite \textit{T. Vaccon}, in: Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23--25, 2014. New York, NY: Association for Computing Machinery (ACM). 397--404 (2014; Zbl 1325.68303) Full Text: DOI