default search action

combined dblp search
author search
venue search
publication search

ask others

Thibaut Verron

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/jsc/HofstadlerV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/HofstadlerV24
Clemens Hofstadler, Thibaut Verron:
Short proofs of ideal membership. J. Symb. Comput. 125: 102325 (2024)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/jsc/Verron24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/Verron24
Thibaut Verron:
On the computation of Gröbner bases for matrix-weighted homogeneous systems. J. Symb. Comput. 125: 102327 (2024)
[i18]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-05759
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-05759
Tristan Vaccon, Thibaut Verron:
Universal Analytic Gr{ö}bner Bases and Tropical Geometry. CoRR abs/2401.05759 (2024)
2023
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/issac/HofstadlerV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issac/HofstadlerV23
Clemens Hofstadler, Thibaut Verron:
Signature Gröbner bases in free algebras over rings. ISSAC 2023: 298-306
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/issac/KauersKV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issac/KauersKV23
Manuel Kauers, Christoph Koutschan, Thibaut Verron:
Transcendence Certificates for D-finite Functions. ISSAC 2023: 372-380
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/issac/VacconV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issac/VacconV23
Tristan Vaccon, Thibaut Verron:
Universal Analytic Gröbner Bases and Tropical Geometry. ISSAC 2023: 517-525
[i17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2302-02832
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2302-02832
Clemens Hofstadler, Thibaut Verron:
Short proofs of ideal membership. CoRR abs/2302.02832 (2023)
[i16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2302-06396
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2302-06396
Manuel Kauers, Christoph Koutschan, Thibaut Verron:
Transcendence Certificates for D-finite Functions. CoRR abs/2302.06396 (2023)
[i15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2302-06483
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2302-06483
Clemens Hofstadler, Thibaut Verron:
Signature Gröbner bases in free algebras over rings. CoRR abs/2302.06483 (2023)
2022
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/jsc/HofstadlerV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/HofstadlerV22
Clemens Hofstadler, Thibaut Verron:
Signature Gröbner bases, bases of syzygies and cofactor reconstruction in the free algebra. J. Symb. Comput. 113: 211-241 (2022)
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/issac/CarusoVV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issac/CarusoVV22
Xavier Caruso, Tristan Vaccon, Thibaut Verron:
On Polynomial Ideals and Overconvergence in Tate Algebras. ISSAC 2022: 489-497
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2202-05742
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2202-05742
Thibaut Verron:
On the computation of Gröbner bases for pluriweighted-homogeneous systems. CoRR abs/2202.05742 (2022)
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2202-07509
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2202-07509
Xavier Caruso, Tristan Vaccon, Thibaut Verron:
On Polynomial Ideals And Overconvergence In Tate Algebras. CoRR abs/2202.07509 (2022)
2021
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/jsc/VacconVY21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/VacconVY21
Tristan Vaccon, Thibaut Verron, Kazuhiro Yokoyama:
On affine tropical F5 algorithms. J. Symb. Comput. 102: 132-152 (2021)
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/issac/CarusoVV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issac/CarusoVV21
Xavier Caruso, Tristan Vaccon, Thibaut Verron:
On FGLM Algorithms with Tate Algebras. ISSAC 2021: 67-74
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/issac/FrancisV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issac/FrancisV21
Maria Francis, Thibaut Verron:
On Two Signature Variants of Buchberger's Algorithm over Principal Ideal Domains. ISSAC 2021: 139-146
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2102-03339
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2102-03339
Maria Francis, Thibaut Verron:
On Two Signature Variants Of Buchberger's Algorithm Over Principal Ideal Domains. CoRR abs/2102.03339 (2021)
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2102-05324
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2102-05324
Xavier Caruso, Tristan Vaccon, Thibaut Verron:
On FGLM Algorithms with Tate Algebras. CoRR abs/2102.05324 (2021)
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2107-14675
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2107-14675
Clemens Hofstadler, Thibaut Verron:
Signature Gröbner bases, bases of syzygies and cofactor reconstruction in the free algebra. CoRR abs/2107.14675 (2021)
2020
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/mics/FrancisV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mics/FrancisV20
Maria Francis, Thibaut Verron:
A Signature-Based Algorithm for Computing Gröbner Bases over Principal Ideal Domains. Math. Comput. Sci. 14(2): 515-530 (2020)
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/issac/CarusoVV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issac/CarusoVV20
Xavier Caruso, Tristan Vaccon, Thibaut Verron:
Signature-based algorithms for Gröbner bases over tate algebras. ISSAC 2020: 70-77
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/issac/ChenDKV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issac/ChenDKV20
Shaoshi Chen, Lixin Du, Manuel Kauers, Thibaut Verron:
Integral bases for p-recursive sequences. ISSAC 2020: 91-98
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2002-02783
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2002-02783
Shaoshi Chen, Lixin Du, Manuel Kauers, Thibaut Verron:
Integral P-Recursive Sequences. CoRR abs/2002.02783 (2020)
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2002-04491
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2002-04491
Xavier Caruso, Tristan Vaccon, Thibaut Verron:
Signature-based algorithms for Gr{ö}bner bases over Tate algebras. CoRR abs/2002.04491 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/cca/KauersV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cca/KauersV19
Manuel Kauers, Thibaut Verron:
Why you should remove zeros from data before guessing. ACM Commun. Comput. Algebra 53(3): 126-129 (2019)
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/issac/CarusoVV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issac/CarusoVV19
Xavier Caruso, Tristan Vaccon, Thibaut Verron:
Gröbner Bases Over Tate Algebras. ISSAC 2019: 74-81
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1901-09574
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1901-09574
Xavier Caruso, Tristan Vaccon, Thibaut Verron:
Gr{ö}bner bases over Tate algebras. CoRR abs/1901.09574 (2019)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1901-09586
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1901-09586
Maria Francis, Thibaut Verron:
Signature-based Möller's algorithm for strong Gröbner bases over PIDs. CoRR abs/1901.09586 (2019)
2018
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/issac/VacconVY18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issac/VacconVY18
Tristan Vaccon, Thibaut Verron, Kazuhiro Yokoyama:
On Affine Tropical F5 Algorithms. ISSAC 2018: 383-390
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1802-01388
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1802-01388
Maria Francis, Thibaut Verron:
Signature-based Criteria for Möller's Algorithm for Computing Gröbner Bases over Principal Ideal Domains. CoRR abs/1802.01388 (2018)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1805-06183
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1805-06183
Tristan Vaccon, Thibaut Verron, Kazuhiro Yokoyama:
On Affine Tropical F5 Algorithms. CoRR abs/1805.06183 (2018)
2016
[b1]
- view
  - electronic edition @ archives-ouvertes.fr (open access)
  - no references & citations available
- export record
  dblp key:
  - phd/hal/Verron16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/hal/Verron16
Thibaut Verron:
Regularisation of Gröbner basis computations for weighted and determinantal systems, and an application to medical imagery. (Régularisation du calcul de bases de Gröbner pour des systèmes avec poids et déterminantiels, et application en imagerie médicale). Pierre and Marie Curie University, Paris, France, 2016
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsc/FaugereDV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/FaugereDV16
Jean-Charles Faugère, Mohab Safey El Din, Thibaut Verron:
On the complexity of computing Gröbner bases for weighted homogeneous systems. J. Symb. Comput. 76: 107-141 (2016)
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/issac/BonnardFJDV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issac/BonnardFJDV16
Bernard Bonnard, Jean-Charles Faugère, Alain Jacquemard, Mohab Safey El Din, Thibaut Verron:
Determinantal Sets, Singularities and Application to Optimal Control in Medical Imagery. ISSAC 2016: 103-110
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BonnardFJDV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BonnardFJDV16
Bernard Bonnard, Jean-Charles Faugère, Alain Jacquemard, Mohab Safey El Din, Thibaut Verron:
Determinantal sets, singularities and application to optimal control in medical imagery. CoRR abs/1605.00887 (2016)
2014
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/FaugereDV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FaugereDV14
Jean-Charles Faugère, Mohab Safey El Din, Thibaut Verron:
On the complexity of computing Gr{ö}bner bases for weighted homogeneous systems. CoRR abs/1412.7547 (2014)
2013
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/issac/FaugereDV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issac/FaugereDV13
Jean-Charles Faugère, Mohab Safey El Din, Thibaut Verron:
On the complexity of computing gröbner bases for quasi-homogeneous systems. ISSAC 2013: 189-196
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1301-5612
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1301-5612
Jean-Charles Faugère, Mohab Safey El Din, Thibaut Verron:
Computing Gröbner bases for quasi-homogeneous systems. CoRR abs/1301.5612 (2013)

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.