Talks
2023
- How to certify transcendence of D-finite functions?Journées Nationales de Calcul Formel (JNCF 2023)
CIRM, Luminy (France), 2023/03/08
LinksLinksLiens: slides - Computing tropical varieties using Tate seriesSeminar Algebra and Discrete Mathematics
Johannes Kepler University, Linz, Austria (and online), 2023/06/29
LinksLinksLiens: slides - Using signature Gröbner bases to find short ideal representationsSIAM Conference on Applied Algebraic Geometry
TU Eindhoven, Eindhoven, The Netherlands, 2023/07/14
LinksLinksLiens: slides - Universal analytic Gröbner bases and tropical geometryInternational Symposium on Symbolic and Algebraic Computation 2023
Tromsø, Norway, 2023/07/27
LinksLinksLiens: slides
2022
- Computing Gröbner bases for structured systemsSeminar Algebra and Discrete Mathematics
Johannes Kepler University, Linz, Austria (and online), 2022/11/24
LinksLinksLiens: slides - What is the complexity of computing a Gröbner basis?Seminar Algebra and Discrete Mathematics
Johannes Kepler University, Linz, Austria (and online), 2022/06/09 - Signature Gröbner bases and cofactor computation in the free algebra
- Signature Gröbner bases in the free algebraJournées Nationales de Calcul Formel (JNCF 2022)
CIRM, Luminy (France), 2022/03/03
LinksLinksLiens: abstract, slides
2021
- Extensions of signature Gröbner bases: rings and the free algebraSeminar Algebra and Discrete Mathematics
Johannes Kepler University, Linz, Austria (and online), 2021/10/21
LinksLinksLiens: slides - Integral bases for P-recursive sequencesApplications of Computer Algebra 2021, session Algebraic and Algorithmic Aspects of Differential and Integral Operators Session (AADIOS)
Online, 2021/07/27
LinksLinksLiens: slides - On FGLM algorithms for Tate algebrasInternational Symposium on Symbolic and Algebraic Computation (ISSAC 2021)
Saint-Petersburg, Russia (online), 2021/07/23
LinksLinksLiens: slides - Combining polynomials for computing Gröbner bases over \(\mathbb{Z}\)Linz Algebra Research Day
Johannes Kepler University, Linz, Austria (online), 2021/06/15 - FGLM algorithms over Tate algebrasSeminar Algebra and Discrete Mathematics
Johannes Kepler University, Linz, Austria (online), 2021/04/15
LinksLinksLiens: slides - Two signature-based variants of Buchberger’s algorithm for Gröbner bases over principal ideal domains"Calcul formel" team seminar
XLIM, Université de Limoges, France (online), 2021/03/30
LinksLinksLiens: slides - Algorithme FGLM pour les algèbres de TateJournées Nationales de Calcul Formel (JNCF 2021)
CIRM, Luminy, France (online), 2021/03/04
LinksLinksLiens: slides - Gröbner bases in Tate algebras
- Gröbner bases in Tate algebras
2020
- Parametrizing rational algebraic curves using integral basesSeminar Algebra and Discrete Mathematics
Johannes Kepler University, Linz, Austria, 2020/10/22
LinksLinksLiens: slides - Signature Gröbner bases over Tate algebrasInternational Symposium on Symbolic and Algebraic Computation (ISSAC 2020)
Kalamata, Greece (online), 2020/07/20
LinksLinksLiens: slides, video presentation - Gröbner bases over Tate algebrasColloquium "Algorithmic Algebra"
Technische Universität Berlin, Berlin, Germany (online), 2020/05/27
LinksLinksLiens: slides - Signature-based algorithms for computing Gröbner bases over Tate algebrasSeminar Algebra and Discrete Mathematics
Johannes Kepler University, Linz, Austria, 2020/03/26
LinksLinksLiens: slides - Computer algebra algorithms for solving polynomial systems, software and applicationsPublic seminar in the context of the recruitment process for the tenure track position "Computational Algebraic Geometry"
University of Innsbruck, Innsbruck, Austria, 2020/03/10
LinksLinksLiens: slides - Algorithmes avec signatures pour le calcul de bases de Gröbner sur les algèbres de TateJournées Nationales de Calcul Formel (JNCF 2020)
CIRM, Luminy, France, 2020/03/02
LinksLinksLiens: abstract (in French), slides - Working with valuations
2019
- Gröbner bases for Tate algebrasInternational Symposium on Symbolic and Algebraic Computation (ISSAC 2019)
Beihang University, Beijing, China, 2019/07/16
LinksLinksLiens: slides - Signature-based Möller's algorithm for strong Gröbner bases over PIDsSIAM Conference on Applied Algebraic Geometry, session Algebraic methods for polynomial system solving
University of Bern, Bern, Switzerland, 2019/07/13
LinksLinksLiens: slides - Signature Gröbner bases algorithmsLinz Algebra Research Day
Research Institute for Symbolic Computations, Hagenberg, Austria, 2019/06/14 - Signature-based algorithms for computing Gröbner bases over Principal Ideal DomainsSeminar Algebra and Discrete Mathematics
Johannes Kepler University, Linz, Austria, 2019/03/21
LinksLinksLiens: slides - Signature-based algorithms for computing Gröbner bases over Principal Ideal DomaisnMAX computer algebra seminar
École Polytechnique, Palaiseau, France, 2019/02/18
LinksLinksLiens: abstract (in French), slides - Signature-based algorithms for computing Gröbner bases over Principal Ideal DomainsJournées Nationales de Calcul Formel (JNCF 2019)
CIRM, Luminy, France, 2019/02/05
LinksLinksLiens: abstract (in French), slides
2018
- Who wants (a few) "guessing" data points for free?
- Software tutorial: Computing elimination polynomials using interpolationSFB Statusseminar
Strobl, Austria, 2018/12/04
LinksLinksLiens: org worksheet (can be opened as a plain-text file), html - Tate algebras and Gröbner bases
- Signature-based criteria for computing weak Gröbner bases over PIDs24th Conference on Applications of Computer Algebra (ACA 2018), session Algorithms for zero-dimensional ideals
Santiago de Compostella, Spain, 2018/06/20
LinksLinksLiens: abstract, slides - Tropical algebra and Gröbner basesLinz Algebra Research Day
Research Institute for Symbolic Computations, Hagenberg, Austria, 2018/06/13
2017
- Algebraic classification methods for an optimal control problem in medical imagerySeminar Algebra and Discrete Mathematics
Johannes Kepler University, Linz, Austria, 2017/12/07
LinksLinksLiens: slides - ADE functionsLinz Algebra Research Day
Research Institute for Symbolic Computations, Hagenberg, Austria, 2017/11/30 - Régularité du calcul de bases de Gröbner pour les systèmes homogènes avec poidsSéminaire Géométrie et algèbre effectives
IRMAR, Université Rennes 1, Rennes, France, 2017/06/02
LinksLinksLiens: abstract (in French), slides - Méthodes algébriques pour le contrôle optimal en Imagerie à Résonance MagnétiqueSéminaire Pluridisciplinaire d'Optimisation de Toulouse (SPOT)
INP-ENSEEIHT, Toulouse, France, 2017/05/22
LinksLinksLiens: abstract (in French), slides - Bases de Gröbner et résolution de systèmes d'équations polynomiales"Algorithmes Parallèles et Optimisation" team seminar
IRIT/INP-ENSEEIHT, Toulouse, France, 2017/04/20
2016
- Determinantal sets, singularities and application to optimal control in medical imageryInternational Symposium on Symbolic and Algebraic Computation (ISSAC 2016)
Wilfrid Laurier University, Waterloo, Canada, 2016/07/20
LinksLinksLiens: slides
2015
- Algebraic classification related to contrast optimization for MRIJournées annuelles du GdR MOA 2015
Université de Bourgogne, Dijon, France, 2015/12/03
LinksLinksLiens: abstract (in French), slides - Classification algébrique associée à l’optimisation de contraste pour l’IRMJournées Nationales de Calcul Formel (JNCF 2015)
ENSAM, Cluny, France, 2015/11/05
LinksLinksLiens: slides
2014
- Complexité du calcul de bases de Gröbner pour les systèmes homogènes avec poidsJournées Nationales de Calcul Formel (JNCF 2014)
CIRM, Luminy, France, 2014/11/06
LinksLinksLiens: abstract (in French), slides - Bases de Gröbner et systèmes structurésRencontres doctorales Lebesgue 2014
IRMAR, Rennes, France, 2014/10/31
LinksLinksLiens: abstract (in French), slides - On the complexity of computing Gröbner bases for weighted homogeneous systemsPolSys team seminar
LIP6, Université Pierre et Marie Curie, Paris, France, 2014/09/12
LinksLinksLiens: abstract, slides - On the complexity of computing Gröbner bases for quasi-homogeneous systemsSeminar "Combinatoire & Algorithmes"
LITIS, Université de Rouen, Rouen, France, 2014/05/22
LinksLinksLiens: abstract, slides
2013
- On the complexity of computing Gröbner bases for quasi-homogeneous systemsInternational Symposium on Symbolic and Algebraic Computation (ISSAC 2013)
Northeastern University, Boston, USA, 2013/06/29
LinksLinksLiens: slides - Complexité du calcul de bases de Gröbner pour les systèmes quasi-homogènesJournées Nationales de Calcul Formel (JNCF 2013)
CIRM, Luminy, France, 2013/05/16
LinksLinksLiens: abstract (in French), slides - Computing Gröbner bases for quasi-homogeneous systemsPolSys team seminar
LIP6, Université Pierre et Marie Curie, Paris, France, 2013/03/22
LinksLinksLiens: abstract, slides