We stand with Ukraine

We stand with Ukraine

Werner M. Seiler

Orcid: 0000-0002-0565-1334

Affiliations:

Universität Kassel, Germany

According to our database¹, Werner M. Seiler authored at least 59 papers between 1991 and 2025.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of three.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

Online presence:

On csauthors.net:

Bibliography

2025

Machine learning parameter systems, Noether normalisations and quasi-stable positions.

[BibT_eX]

[DOI]

,

Mahshid Mirhashemi

,

Werner M. Seiler

J. Symb. Comput., 2025

2024

On the numerical integration of singular initial and boundary value problems for generalised Lane-Emden and Thomas-Fermi equations.

[BibT_eX]

[DOI]

Werner M. Seiler

,

Appl. Math. Comput., April, 2024

2023

Recursive structures in involutive bases theory.

[BibT_eX]

[DOI]

,

,

Werner M. Seiler

J. Symb. Comput., September, 2023

2022

30 Years with Vladimir Gerdt.

[BibT_eX]

[DOI]

Werner M. Seiler

Math. Comput. Sci., 2022

Foreword.

[BibT_eX]

[DOI]

,

Werner M. Seiler

Math. Comput. Sci., 2022

Memories on Vladimir Gerdt.

[BibT_eX]

[DOI]

,

Werner M. Seiler

,

Evgenii V. Vorozhtsov

J. Symb. Comput., 2022

Computation of Macaulay constants and degree bounds for Gröbner bases.

[BibT_eX]

[DOI]

,

Hossein Parnian

,

Werner M. Seiler

J. Symb. Comput., 2022

Complementary decompositions of monomial ideals and involutive bases.

[BibT_eX]

[DOI]

,

,

Werner M. Seiler

Appl. Algebra Eng. Commun. Comput., 2022

2021

A Logic Based Approach to Finding Real Singularities of Implicit Ordinary Differential Equations.

[BibT_eX]

[DOI]

Werner M. Seiler

,

,

Math. Comput. Sci., 2021

Degree Upper Bounds for Involutive Bases.

[BibT_eX]

[DOI]

,

Hossein Parnian

,

Werner M. Seiler

Math. Comput. Sci., 2021

Relative Gröbner and Involutive Bases for Ideals in Quotient Rings.

[BibT_eX]

[DOI]

,

,

Werner M. Seiler

Math. Comput. Sci., 2021

An Involutive GVW Algorithm and the Computation of Pommaret Bases.

[BibT_eX]

[DOI]

,

,

,

Werner M. Seiler

Math. Comput. Sci., 2021

Foreword, with a Dedication to Andreas Weber.

[BibT_eX]

[DOI]

Matthew England

,

,

Timur M. Sadykov

,

Werner M. Seiler

,

Math. Comput. Sci., 2021

Computing the resolution regularity of bi-homogeneous ideals.

[BibT_eX]

[DOI]

Nasibeh Aramideh

,

,

Werner M. Seiler

J. Symb. Comput., 2021

No Chaos in Dixon's System.

[BibT_eX]

[DOI]

Werner M. Seiler

,

Int. J. Bifurc. Chaos, 2021

Vladimir Gerdt dies at 73.

[BibT_eX]

[DOI]

,

Werner M. Seiler

,

Evgenii V. Vorozhtsov

ACM Commun. Comput. Algebra, 2021

Singularities of algebraic differential equations.

[BibT_eX]

[DOI]

Markus Lange-Hegermann

,

,

Werner M. Seiler

,

Adv. Appl. Math., 2021

2020

On the Numerical Analysis and Visualisation of Implicit Ordinary Differential Equations.

[BibT_eX]

[DOI]

,

Werner M. Seiler

,

Math. Comput. Sci., 2020

Dimension and depth dependent upper bounds in polynomial ideal theory.

[BibT_eX]

[DOI]

,

Werner M. Seiler

J. Symb. Comput., 2020

Jacques Calmet dies at 77.

[BibT_eX]

[DOI]

Werner M. Seiler

ACM Commun. Comput. Algebra, 2020

Algebraic and Geometric Analysis of Singularities of Implicit Differential Equations (Invited Talk).

[BibT_eX]

[DOI]

Werner M. Seiler

,

Proceedings of the Computer Algebra in Scientific Computing - 22nd International Workshop, 2020

2018

Deterministic genericity for polynomial ideals.

[BibT_eX]

[DOI]

,

Michael Schweinfurter

,

Werner M. Seiler

J. Symb. Comput., 2018

The SYMBIONT project: symbolic methods for biological networks.

[BibT_eX]

[DOI]

François Boulier

,

François Fages

,

Ovidiu Radulescu

,

Satya Swarup Samal

,

Andreas Schuppert

,

Werner M. Seiler

,

,

Sebastian Walcher

,

ACM Commun. Comput. Algebra, 2018

A Pommaret bases approach to the degree of a polynomial ideal.

[BibT_eX]

[DOI]

Bentolhoda Binaei

,

,

Werner M. Seiler

Appl. Algebra Eng. Commun. Comput., 2018

Computation of Pommaret Bases Using Syzygies.

[BibT_eX]

[DOI]

Bentolhoda Binaei

,

,

Werner M. Seiler

Proceedings of the Computer Algebra in Scientific Computing - 20th International Workshop, 2018

2017

Foreword.

[BibT_eX]

[DOI]

Thierry N. Dana-Picard

,

,

Ilias S. Kotsireas

,

Zoltán Kovács

,

Alexander N. Prokopenya

,

Werner M. Seiler

Math. Comput. Sci., 2017

Dimension-Dependent Upper Bounds for Gröbner Bases.

[BibT_eX]

[DOI]

,

Werner M. Seiler

Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, 2017

SC-square: when Satisfiability Checking and Symbolic Computation join forces.

[BibT_eX]

[DOI]

Erika Ábrahám

,

,

,

Anna Maria Bigatti

,

,

Alessandro Cimatti

,

James H. Davenport

,

Matthew England

,

Pascal Fontaine

,

Stephen Forrest

,

,

Alberto Griggio

,

Daniel Kroening

,

Werner M. Seiler

Proceedings of the ARCADE 2017, 2017

2016

Satisfiability Checking meets Symbolic Computation (Project Paper).

[BibT_eX]

[DOI]

Erika Ábrahám

,

,

,

Anna Maria Bigatti

,

,

Bruno Buchberger

,

Alessandro Cimatti

,

James H. Davenport

,

Matthew England

,

Pascal Fontaine

,

Stephen Forrest

,

Alberto Griggio

,

Daniel Kroening

,

Werner M. Seiler

,

CoRR, 2016

Satisfiability checking and symbolic computation.

[BibT_eX]

[DOI]

Erika Ábrahám

,

,

,

Anna Maria Bigatti

,

,

Bruno Buchberger

,

Alessandro Cimatti

,

James H. Davenport

,

Matthew England

,

Pascal Fontaine

,

Stephen Forrest

,

Alberto Griggio

,

Daniel Kroening

,

Werner M. Seiler

,

ACM Commun. Comput. Algebra, 2016

SC<sup>2</sup>: Satisfiability Checking Meets Symbolic Computation - (Project Paper).

[BibT_eX]

[DOI]

Erika Ábrahám

,

,

,

Anna Maria Bigatti

,

,

Bruno Buchberger

,

Alessandro Cimatti

,

James H. Davenport

,

Matthew England

,

Pascal Fontaine

,

Stephen Forrest

,

Alberto Griggio

,

Daniel Kroening

,

Werner M. Seiler

,

Proceedings of the Intelligent Computer Mathematics - 9th International Conference, 2016

Improved Computation of Involutive Bases.

[BibT_eX]

[DOI]

Bentolhoda Binaei

,

,

Werner M. Seiler

Proceedings of the Computer Algebra in Scientific Computing - 18th International Workshop, 2016

Resolving Decompositions for Polynomial Modules.

[BibT_eX]

[DOI]

,

Werner M. Seiler

Proceedings of the Computer Algebra in Scientific Computing - 18th International Workshop, 2016

2015

On the free resolution induced by a Pommaret basis.

[BibT_eX]

[DOI]

,

Matthias Fetzer

,

Eduardo Sáenz-de-Cabezón

,

Werner M. Seiler

J. Symb. Comput., 2015

Detection of Hopf bifurcations in chemical reaction networks using convex coordinates.

[BibT_eX]

[DOI]

,

Markus Eiswirth

,

,

Werner M. Seiler

,

,

J. Comput. Phys., 2015

Janet Bases and Resolutions in CoCoALib.

[BibT_eX]

[DOI]

,

Matthias Fetzer

,

Werner M. Seiler

Proceedings of the Computer Algebra in Scientific Computing - 17th International Workshop, 2015

2014

Deterministically Computing Reduction Numbers of Polynomial Ideals.

[BibT_eX]

[DOI]

,

Michael Schweinfurter

,

Werner M. Seiler

Proceedings of the Computer Algebra in Scientific Computing - 16th International Workshop, 2014

2013

Singularities of Implicit Differential Equations and Static Bifurcations.

[BibT_eX]

[DOI]

Werner M. Seiler

Proceedings of the Computer Algebra in Scientific Computing - 15th International Workshop, 2013

Efficient Methods to Compute Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates.

[BibT_eX]

[DOI]

,

Markus Eiswirth

,

,

Werner M. Seiler

,

,

Proceedings of the Computer Algebra in Scientific Computing - 15th International Workshop, 2013

2012

Quasi-stability versus Genericity.

[BibT_eX]

[DOI]

,

Michael Schweinfurter

,

Werner M. Seiler

Proceedings of the Computer Algebra in Scientific Computing - 14th International Workshop, 2012

Computing Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates.

[BibT_eX]

[DOI]

,

Werner M. Seiler

,

Markus Eiswirth

,

Proceedings of the Computer Algebra in Scientific Computing - 14th International Workshop, 2012

2011

On Muldowney's Criteria for Polynomial Vector Fields with Constraints.

[BibT_eX]

[DOI]

,

Werner M. Seiler

,

,

Proceedings of the Computer Algebra in Scientific Computing - 13th International Workshop, 2011

2010

Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk).

[BibT_eX]

[DOI]

,

,

Werner M. Seiler

,

Essam O. Abdel-Rahman

Proceedings of the Computer Algebra in Scientific Computing - 12th International Workshop, 2010

Involution - The Formal Theory of Differential Equations and its Applications in Computer Algebra.

[BibT_eX]

[DOI]

Werner M. Seiler

Algorithms and computation in mathematics 24, Springer, ISBN: 978-3-642-01286-0, 2010

2009

Applicable algebra and artificial intelligence.

[BibT_eX]

[DOI]

,

Werner M. Seiler

Ann. Math. Artif. Intell., 2009

A combinatorial approach to involution and <i>delta</i>-regularity II: structure analysis of polynomial modules with pommaret bases.

[BibT_eX]

[DOI]

Werner M. Seiler

Appl. Algebra Eng. Commun. Comput., 2009

A combinatorial approach to involution and <i>delta</i>-regularity I: involutive bases in polynomial algebras of solvable type.

[BibT_eX]

[DOI]

Werner M. Seiler

Appl. Algebra Eng. Commun. Comput., 2009

2006

Overdetermined Elliptic Systems.

[BibT_eX]

[DOI]

Katsiaryna Krupchyk

,

Werner M. Seiler

,

Found. Comput. Math., 2006

2002

Taylor and Lyubeznik Resolutions via Gröbner Bases.

[BibT_eX]

[DOI]

Werner M. Seiler

J. Symb. Comput., 2002

Involutive Bases in the Weyl Algebra.

[BibT_eX]

[DOI]

Marcus Hausdorf

,

Werner M. Seiler

,

Rainer Steinwandt

J. Symb. Comput., 2002

An Efficient Algebraic Algorithm for the Geometric Completion to Involution.

[BibT_eX]

[DOI]

Marcus Hausdorf

,

Werner M. Seiler

Appl. Algebra Eng. Commun. Comput., 2002

2001

Special Issue "Computational Geometry for Differential Equations" - Guest Editor's Preface.

[BibT_eX]

[DOI]

Werner M. Seiler

Appl. Algebra Eng. Commun. Comput., 2001

On the Numerical Analysis of Overdetermined Linear Partial Differential Systems.

[BibT_eX]

[DOI]

Marcus Hausdorf

,

Werner M. Seiler

Proceedings of the Symbolic and Numerical Scientific Computation, 2001

Perturbation versus Differentiation Indices.

[BibT_eX]

[DOI]

Marcus Hausdorf

,

Werner M. Seiler

Proceedings of the Computer Algebra in Scientific Computing, 2001

A MuPAD Library for Differential Equations.

[BibT_eX]

[DOI]

,

Marcus Hausdorf

,

Werner M. Seiler

Proceedings of the Computer Algebra in Scientific Computing, 2001

1999

Numerical integration of constrained Hamiltonian systems using Dirac brackets.

[BibT_eX]

[DOI]

Werner M. Seiler

Math. Comput., 1999

Indices and Solvability for General Systems of Differential Equations.

[BibT_eX]

[DOI]

Werner M. Seiler

Proceedings of the Second Workshop on Computer Algebra in Scientific Computing, 1999

1998

Position versus momentum projections for constrained Hamiltonian systems.

[BibT_eX]

[DOI]

Werner M. Seiler

Numer. Algorithms, 1998

1991

Formale Theorie partieller Differentialgleichungen.

[BibT_eX]

[DOI]

Werner M. Seiler

Proceedings of the Physik und Informatik, 1991

Loading...