VLDB 2026 Research / reviewers in the wild / expert
Werner M. Seiler
dblp:08/6861
· DBLP profile ↗
28ranked-venue papers
4as first author
6since 2021 · last 2025
0000-0002-0565-1334ORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 28 · 4 first-author · 6 since 2021Artificial intelligence and machine learning · 1Software engineering, systems software and programming languages · 1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Machine learning parameter systems, Noether normalisations and quasi-stable positionsabstractWe discuss the use of machine learning models for finding “good coordinates” for polynomial ideals. Our main goal is to put ideals into quasi-stable position, as this generic position shares most properties of the generic initial ideal, but can be deterministically reached and verified. Furthermore, it entails a Noether normalisation and provides us with a system of parameters. Traditional approaches use either random choices which typically destroy all sparsity or rather simple human heuristics which are only moderately successful. Our experiments show that machine learning models provide us here with interesting alternatives that most of the time make nearly optimal choices. Amir Hashemi, Mahshid Mirhashemi, Werner M. Seiler |
J. Symb. Comput. | 3 |
| 2025 | Computing finite and infinite free resolutions with Pommaret-like bases
Amir Hashemi, Matthias Orth, Werner M. Seiler |
J. Symb. Comput. | 3 |
| 2023 | Recursive structures in involutive bases theory
Amir Hashemi, Matthias Orth, Werner M. Seiler |
J. Symb. Comput. | 3 |
| 2022 | Computation of Macaulay constants and degree bounds for Gröbner bases
Amir Hashemi, Hossein Parnian, Werner M. Seiler |
J. Symb. Comput. | 3 |
| 2022 | Memories on Vladimir Gerdt
Ernst W. Mayr, Werner M. Seiler, Evgenii V. Vorozhtsov |
J. Symb. Comput. | 2 |
| 2021 | Computing the resolution regularity of bi-homogeneous ideals
Nasibeh Aramideh, Amir Hashemi, Werner M. Seiler |
J. Symb. Comput. | 3 |
| 2020 | Algebraic and Geometric Analysis of Singularities of Implicit Differential Equations (Invited Talk)
Werner M. Seiler, Matthias Seiß |
CASC | 1 |
| 2020 | Dimension and depth dependent upper bounds in polynomial ideal theory
Amir Hashemi, Werner M. Seiler |
J. Symb. Comput. | 2 |
| 2018 | Computation of Pommaret Bases Using Syzygies
Bentolhoda Binaei, Amir Hashemi, Werner M. Seiler |
CASC | 3 |
| 2018 | Deterministic genericity for polynomial ideals
Amir Hashemi, Michael Schweinfurter, Werner M. Seiler |
J. Symb. Comput. | 3 |
| 2017 | Dimension-Dependent Upper Bounds for Gröbner BasesabstractWe improve certain degree bounds for Grobner bases of polynomial ideals in generic position. We work exclusively in deterministically verifiable and achievable generic positions of a combinatorial nature, namely either strongly stable position or quasi stable position. Furthermore, we exhibit new dimension- (and depth-)dependent upper bounds for the Castelnuovo-Mumford regularity and the degrees of the elements of the reduced Grobner basis (w.r.t. the degree reverse lexicographical ordering) of a homogeneous ideal in these positions. Amir Hashemi, Werner M. Seiler |
ISSAC | 2 |
| 2016 | Resolving Decompositions for Polynomial Modules
Mario Albert, Werner M. Seiler |
CASC | 2 |
| 2016 | Improved Computation of Involutive Bases
Bentolhoda Binaei, Amir Hashemi, Werner M. Seiler |
CASC | 3 |
| 2016 | SC2: Satisfiability Checking Meets Symbolic Computation - (Project Paper)
Erika Ábrahám, John Abbott, Bernd Becker 0001, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England 0001, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm 0001 |
CICM | 14 |
| 2015 | Janet Bases and Resolutions in CoCoALib
Mario Albert, Matthias Fetzer, Werner M. Seiler |
CASC | 3 |
| 2015 | On the free resolution induced by a Pommaret basis
Mario Albert, Matthias Fetzer, Eduardo Sáenz-de-Cabezón, Werner M. Seiler |
J. Symb. Comput. | 4 |
| 2014 | Deterministically Computing Reduction Numbers of Polynomial Ideals
Amir Hashemi, Michael Schweinfurter, Werner M. Seiler |
CASC | 3 |
| 2013 | Efficient Methods to Compute Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates
Hassan Errami, Markus Eiswirth, Dima Grigoriev, Werner M. Seiler, Thomas Sturm 0001, Andreas Weber 0004 |
CASC | 4 |
| 2013 | Singularities of Implicit Differential Equations and Static Bifurcations
Werner M. Seiler |
CASC | 1 |
| 2012 | Computing Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates
Hassan Errami, Werner M. Seiler, Markus Eiswirth, Andreas Weber 0004 |
CASC | 2 |
| 2012 | Quasi-stability versus Genericity
Amir Hashemi, Michael Schweinfurter, Werner M. Seiler |
CASC | 3 |
| 2011 | On Muldowney's Criteria for Polynomial Vector Fields with Constraints
Hassan Errami, Werner M. Seiler, Thomas Sturm 0001, Andreas Weber 0004 |
CASC | 2 |
| 2010 | Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk)
Andreas Weber 0004, Thomas Sturm 0001, Werner M. Seiler, Essam O. Abdel-Rahman |
CASC | 3 |
| 2002 | Involutive Bases in the Weyl Algebra
Marcus Hausdorf, Werner M. Seiler, Rainer Steinwandt |
J. Symb. Comput. | 2 |
| 2002 | Taylor and Lyubeznik Resolutions via Gröbner Bases
Werner M. Seiler |
J. Symb. Comput. | 1 |
| 2001 | A MuPAD Library for Differential Equations
Jay Belanger, Marcus Hausdorf, Werner M. Seiler |
CASC | 3 |
| 2001 | Perturbation versus Differentiation Indices
Marcus Hausdorf, Werner M. Seiler |
CASC | 2 |
| 1999 | Indices and Solvability for General Systems of Differential Equations
Werner M. Seiler |
CASC | 1 |