Werner M. Seiler

dblp:08/6861 · DBLP profile ↗
← Back
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
YearPublicationVenuePosition
2025 Machine learning parameter systems, Noether normalisations and quasi-stable positions
abstract
We 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ß
CASC1
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
CASC3
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 Bases
abstract
We 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
ISSAC2
2016 Resolving Decompositions for Polynomial Modules
Mario Albert, Werner M. Seiler
CASC2
2016 Improved Computation of Involutive Bases
Bentolhoda Binaei, Amir Hashemi, Werner M. Seiler
CASC3
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
CICM14
2015 Janet Bases and Resolutions in CoCoALib
Mario Albert, Matthias Fetzer, Werner M. Seiler
CASC3
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
CASC3
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
CASC4
2013 Singularities of Implicit Differential Equations and Static Bifurcations
Werner M. Seiler
CASC1
2012 Computing Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates
Hassan Errami, Werner M. Seiler, Markus Eiswirth, Andreas Weber 0004
CASC2
2012 Quasi-stability versus Genericity
Amir Hashemi, Michael Schweinfurter, Werner M. Seiler
CASC3
2011 On Muldowney's Criteria for Polynomial Vector Fields with Constraints
Hassan Errami, Werner M. Seiler, Thomas Sturm 0001, Andreas Weber 0004
CASC2
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
CASC3
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
CASC3
2001 Perturbation versus Differentiation Indices
Marcus Hausdorf, Werner M. Seiler
CASC2
1999 Indices and Solvability for General Systems of Differential Equations
Werner M. Seiler
CASC1