Werner M. Seiler

Orcid: 0000-0002-0565-1334

Affiliations:
  • Universität Kassel, Germany


According to our database1, Werner M. Seiler authored at least 58 papers between 1991 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
On the numerical integration of singular initial and boundary value problems for generalised Lane-Emden and Thomas-Fermi equations.
Appl. Math. Comput., April, 2024

2023
Recursive structures in involutive bases theory.
J. Symb. Comput., September, 2023

2022
30 Years with Vladimir Gerdt.
Math. Comput. Sci., 2022

Foreword.
Math. Comput. Sci., 2022

Memories on Vladimir Gerdt.
J. Symb. Comput., 2022

Computation of Macaulay constants and degree bounds for Gröbner bases.
J. Symb. Comput., 2022

Complementary decompositions of monomial ideals and involutive bases.
Appl. Algebra Eng. Commun. Comput., 2022

2021
A Logic Based Approach to Finding Real Singularities of Implicit Ordinary Differential Equations.
Math. Comput. Sci., 2021

Degree Upper Bounds for Involutive Bases.
Math. Comput. Sci., 2021

Relative Gröbner and Involutive Bases for Ideals in Quotient Rings.
Math. Comput. Sci., 2021

An Involutive GVW Algorithm and the Computation of Pommaret Bases.
Math. Comput. Sci., 2021

Foreword, with a Dedication to Andreas Weber.
Math. Comput. Sci., 2021

Computing the resolution regularity of bi-homogeneous ideals.
J. Symb. Comput., 2021

No Chaos in Dixon's System.
Int. J. Bifurc. Chaos, 2021

Vladimir Gerdt dies at 73.
ACM Commun. Comput. Algebra, 2021

Singularities of algebraic differential equations.
Adv. Appl. Math., 2021

2020
On the Numerical Analysis and Visualisation of Implicit Ordinary Differential Equations.
Math. Comput. Sci., 2020

Dimension and depth dependent upper bounds in polynomial ideal theory.
J. Symb. Comput., 2020

Jacques Calmet dies at 77.
ACM Commun. Comput. Algebra, 2020

Algebraic and Geometric Analysis of Singularities of Implicit Differential Equations (Invited Talk).
Proceedings of the Computer Algebra in Scientific Computing - 22nd International Workshop, 2020

2018
Deterministic genericity for polynomial ideals.
J. Symb. Comput., 2018

The SYMBIONT project: symbolic methods for biological networks.
ACM Commun. Comput. Algebra, 2018

A Pommaret bases approach to the degree of a polynomial ideal.
Appl. Algebra Eng. Commun. Comput., 2018

Computation of Pommaret Bases Using Syzygies.
Proceedings of the Computer Algebra in Scientific Computing - 20th International Workshop, 2018

2017
Foreword.
Math. Comput. Sci., 2017

Dimension-Dependent Upper Bounds for Gröbner Bases.
Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, 2017


2016
Satisfiability Checking meets Symbolic Computation (Project Paper).
CoRR, 2016

Satisfiability checking and symbolic computation.
ACM Commun. Comput. Algebra, 2016

SC<sup>2</sup>: Satisfiability Checking Meets Symbolic Computation - (Project Paper).
Proceedings of the Intelligent Computer Mathematics - 9th International Conference, 2016

Improved Computation of Involutive Bases.
Proceedings of the Computer Algebra in Scientific Computing - 18th International Workshop, 2016

Resolving Decompositions for Polynomial Modules.
Proceedings of the Computer Algebra in Scientific Computing - 18th International Workshop, 2016

2015
On the free resolution induced by a Pommaret basis.
J. Symb. Comput., 2015

Detection of Hopf bifurcations in chemical reaction networks using convex coordinates.
J. Comput. Phys., 2015

Janet Bases and Resolutions in CoCoALib.
Proceedings of the Computer Algebra in Scientific Computing - 17th International Workshop, 2015

2014
Deterministically Computing Reduction Numbers of Polynomial Ideals.
Proceedings of the Computer Algebra in Scientific Computing - 16th International Workshop, 2014

2013
Singularities of Implicit Differential Equations and Static Bifurcations.
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.
Proceedings of the Computer Algebra in Scientific Computing - 15th International Workshop, 2013

2012
Quasi-stability versus Genericity.
Proceedings of the Computer Algebra in Scientific Computing - 14th International Workshop, 2012

Computing Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates.
Proceedings of the Computer Algebra in Scientific Computing - 14th International Workshop, 2012

2011
On Muldowney's Criteria for Polynomial Vector Fields with Constraints.
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).
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.
Algorithms and computation in mathematics 24, Springer, ISBN: 978-3-642-01286-0, 2010

2009
Applicable algebra and artificial intelligence.
Ann. Math. Artif. Intell., 2009

A combinatorial approach to involution and <i>delta</i>-regularity II: structure analysis of polynomial modules with pommaret bases.
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.
Appl. Algebra Eng. Commun. Comput., 2009

2006
Overdetermined Elliptic Systems.
Found. Comput. Math., 2006

2002
Taylor and Lyubeznik Resolutions via Gröbner Bases.
J. Symb. Comput., 2002

Involutive Bases in the Weyl Algebra.
J. Symb. Comput., 2002

An Efficient Algebraic Algorithm for the Geometric Completion to Involution.
Appl. Algebra Eng. Commun. Comput., 2002

2001
Special Issue "Computational Geometry for Differential Equations" - Guest Editor's Preface.
Appl. Algebra Eng. Commun. Comput., 2001

On the Numerical Analysis of Overdetermined Linear Partial Differential Systems.
Proceedings of the Symbolic and Numerical Scientific Computation, 2001

Perturbation versus Differentiation Indices.
Proceedings of the Computer Algebra in Scientific Computing, 2001

A MuPAD Library for Differential Equations.
Proceedings of the Computer Algebra in Scientific Computing, 2001

1999
Numerical integration of constrained Hamiltonian systems using Dirac brackets.
Math. Comput., 1999

Indices and Solvability for General Systems of Differential Equations.
Proceedings of the Second Workshop on Computer Algebra in Scientific Computing, 1999

1998
Position versus momentum projections for constrained Hamiltonian systems.
Numer. Algorithms, 1998

1991
Formale Theorie partieller Differentialgleichungen.
Proceedings of the Physik und Informatik, 1991


  Loading...