Werner M. Seiler

Publication Activity (10 Years)

Years Active: 1991-2025
Publications (10 Years): 43

Top Topics

Chemical Reaction

Differential Equations

Numerical Integration

Top Venues

Math. Comput. Sci.

J. Symb. Comput.

Publications

Amir Hashemi, Mahshid Mirhashemi, Werner M. Seiler
Machine learning parameter systems, Noether normalisations and quasi-stable positions. J. Symb. Comput. 126 (2025)
Werner M. Seiler, Matthias Seiß
On the numerical integration of singular initial and boundary value problems for generalised Lane-Emden and Thomas-Fermi equations. Appl. Math. Comput. 466 (2024)
Amir Hashemi, Matthias Orth, Werner M. Seiler
Recursive structures in involutive bases theory. J. Symb. Comput. 118 (2023)
Werner M. Seiler, Matthias Seiß
On the Numerical Integration of Singular Initial and Boundary Value Problems for Generalised Lane-Emden and Thomas-Fermi Equations. CoRR (2023)
Ernst W. Mayr, Werner M. Seiler, Evgenii V. Vorozhtsov
Memories on Vladimir Gerdt. J. Symb. Comput. 109 (2022)
Amir Hashemi, Matthias Orth, Werner M. Seiler
Complementary decompositions of monomial ideals and involutive bases. Appl. Algebra Eng. Commun. Comput. 33 (6) (2022)
Daniel Robertz, Werner M. Seiler
Foreword. Math. Comput. Sci. 16 (4) (2022)
Amir Hashemi, Hossein Parnian, Werner M. Seiler
Computation of Macaulay constants and degree bounds for Gröbner bases. J. Symb. Comput. 111 (2022)
Werner M. Seiler
30 Years with Vladimir Gerdt. Math. Comput. Sci. 16 (4) (2022)
Nasibeh Aramideh, Amir Hashemi, Werner M. Seiler
Computing the resolution regularity of bi-homogeneous ideals. J. Symb. Comput. 103 (2021)
Werner M. Seiler, Matthias Seiß
No Chaos in Dixon's System. Int. J. Bifurc. Chaos 31 (3) (2021)
Matthew England, Wolfram Koepf, Timur M. Sadykov, Werner M. Seiler, Thomas Sturm
Foreword, with a Dedication to Andreas Weber. Math. Comput. Sci. 15 (2) (2021)
Werner M. Seiler, Matthias Seiß, Thomas Sturm
A Logic Based Approach to Finding Real Singularities of Implicit Ordinary Differential Equations. Math. Comput. Sci. 15 (2) (2021)
Markus Lange-Hegermann, Daniel Robertz, Werner M. Seiler, Matthias Seiß
Singularities of algebraic differential equations. Adv. Appl. Math. 131 (2021)
Ernst W. Mayr, Werner M. Seiler, Evgenii V. Vorozhtsov
Vladimir Gerdt dies at 73. ACM Commun. Comput. Algebra 55 (1) (2021)
Amir Hashemi, Hossein Parnian, Werner M. Seiler
Degree Upper Bounds for Involutive Bases. Math. Comput. Sci. 15 (2) (2021)
Amir Hashemi, Thomas Izgin, Daniel Robertz, Werner M. Seiler
An Involutive GVW Algorithm and the Computation of Pommaret Bases. Math. Comput. Sci. 15 (3) (2021)
Amir Hashemi, Matthias Orth, Werner M. Seiler
Relative Gröbner and Involutive Bases for Ideals in Quotient Rings. Math. Comput. Sci. 15 (3) (2021)
Amir Hashemi, Werner M. Seiler
Dimension and depth dependent upper bounds in polynomial ideal theory. J. Symb. Comput. 98 (2020)
Werner M. Seiler
Jacques Calmet dies at 77. ACM Commun. Comput. Algebra 54 (1) (2020)
Werner M. Seiler, Matthias Seiß
Algebraic and Geometric Analysis of Singularities of Implicit Differential Equations (Invited Talk). CASC (2020)
Elishan Braun, Werner M. Seiler, Matthias Seiß
On the Numerical Analysis and Visualisation of Implicit Ordinary Differential Equations. Math. Comput. Sci. 14 (2) (2020)
François Boulier, François Fages, Ovidiu Radulescu, Satya Swarup Samal, Andreas Schuppert, Werner M. Seiler, Thomas Sturm, Sebastian Walcher, Andreas Weber
The SYMBIONT project: symbolic methods for biological networks. ACM Commun. Comput. Algebra 52 (3) (2018)
Bentolhoda Binaei, Amir Hashemi, Werner M. Seiler
Computation of Pommaret Bases Using Syzygies. CoRR (2018)
Bentolhoda Binaei, Amir Hashemi, Werner M. Seiler
A Pommaret Bases Approach to the Degree of a Polynomial Ideal. CoRR (2018)
Amir Hashemi, Michael Schweinfurter, Werner M. Seiler
Deterministic genericity for polynomial ideals. J. Symb. Comput. 86 (2018)
Bentolhoda Binaei, Amir Hashemi, Werner M. Seiler
Computation of Pommaret Bases Using Syzygies. CASC (2018)
Bentolhoda Binaei, Amir Hashemi, Werner M. Seiler
A Pommaret bases approach to the degree of a polynomial ideal. Appl. Algebra Eng. Commun. Comput. 29 (4) (2018)
Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Vijay Ganesh, Alberto Griggio, Daniel Kroening, Werner M. Seiler
SC-square: when Satisfiability Checking and Symbolic Computation join forces. ARCADE@CADE (2017)
Thierry N. Dana-Picard, Wolfram Koepf, Ilias S. Kotsireas, Zoltán Kovács, Alexander N. Prokopenya, Werner M. Seiler
Foreword. Math. Comput. Sci. 11 (3-4) (2017)
Bentolhoda Binaei, Amir Hashemi, Werner M. Seiler
Improved Computation of Involutive Bases. CoRR (2017)
Amir Hashemi, Michael Schweinfurter, Werner M. Seiler
Deterministic Genericity for Polynomial Ideals. CoRR (2017)
Amir Hashemi, Werner M. Seiler
Dimension-Dependent Upper Bounds for Grobner Bases. CoRR (2017)
Amir Hashemi, Werner M. Seiler
Dimension-Dependent Upper Bounds for Gröbner Bases. ISSAC (2017)
Mario Albert, Werner M. Seiler
Resolving Decompositions for Polynomial Modules. CASC (2016)
Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm
Satisfiability Checking meets Symbolic Computation (Project Paper). CoRR (2016)
Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm
Satisfiability Checking and Symbolic Computation. CoRR (2016)
Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm
Satisfiability checking and symbolic computation. ACM Commun. Comput. Algebra 50 (4) (2016)
Bentolhoda Binaei, Amir Hashemi, Werner M. Seiler
Improved Computation of Involutive Bases. CASC (2016)
Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm
: Satisfiability Checking Meets Symbolic Computation - (Project Paper). CICM (2016)
Mario Albert, Matthias Fetzer, Eduardo Sáenz-de-Cabezón, Werner M. Seiler
On the free resolution induced by a Pommaret basis. J. Symb. Comput. 68 (2015)
Hassan Errami, Markus Eiswirth, Dima Grigoriev, Werner M. Seiler, Thomas Sturm, Andreas Weber
Detection of Hopf bifurcations in chemical reaction networks using convex coordinates. J. Comput. Phys. 291 (2015)
Mario Albert, Matthias Fetzer, Werner M. Seiler
Janet Bases and Resolutions in CoCoALib. CASC (2015)
Amir Hashemi, Michael Schweinfurter, Werner M. Seiler
Deterministically Computing Reduction Numbers of Polynomial Ideals. CASC (2014)
Werner M. Seiler
Singularities of Implicit Differential Equations and Static Bifurcations. CASC (2013)
Hassan Errami, Markus Eiswirth, Dima Grigoriev, Werner M. Seiler, Thomas Sturm, Andreas Weber
Efficient Methods to Compute Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates. CASC (2013)
Amir Hashemi, Michael Schweinfurter, Werner M. Seiler
Quasi-Stability versus Genericity CoRR (2012)
Hassan Errami, Werner M. Seiler, Markus Eiswirth, Andreas Weber
Computing Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates. CASC (2012)
Amir Hashemi, Michael Schweinfurter, Werner M. Seiler
Quasi-stability versus Genericity. CASC (2012)
Hassan Errami, Werner M. Seiler, Thomas Sturm, Andreas Weber
On Muldowney's Criteria for Polynomial Vector Fields with Constraints. CASC (2011)
Andreas Weber, Thomas Sturm, Werner M. Seiler, Essam O. Abdel-Rahman
Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk). CASC (2010)
Julio Rubio, Werner M. Seiler
Applicable algebra and artificial intelligence. Ann. Math. Artif. Intell. 56 (3-4) (2009)
Werner M. Seiler
-regularity II: structure analysis of polynomial modules with pommaret bases. Appl. Algebra Eng. Commun. Comput. 20 (3-4) (2009)
Werner M. Seiler
-regularity I: involutive bases in polynomial algebras of solvable type. Appl. Algebra Eng. Commun. Comput. 20 (3-4) (2009)
Katsiaryna Krupchyk, Werner M. Seiler, Jukka Tuomela
Overdetermined Elliptic Systems. Found. Comput. Math. 6 (3) (2006)
Marcus Hausdorf, Werner M. Seiler, Rainer Steinwandt
Involutive Bases in the Weyl Algebra. J. Symb. Comput. 34 (3) (2002)
Werner M. Seiler
Taylor and Lyubeznik Resolutions via Gröbner Bases. J. Symb. Comput. 34 (6) (2002)
Marcus Hausdorf, Werner M. Seiler
An Efficient Algebraic Algorithm for the Geometric Completion to Involution. Appl. Algebra Eng. Commun. Comput. 13 (3) (2002)
Jay Belanger, Marcus Hausdorf, Werner M. Seiler
A MuPAD Library for Differential Equations. CASC (2001)
Marcus Hausdorf, Werner M. Seiler
Perturbation versus Differentiation Indices. CASC (2001)
Werner M. Seiler
Special Issue "Computational Geometry for Differential Equations" - Guest Editor's Preface. Appl. Algebra Eng. Commun. Comput. 11 (5) (2001)
Marcus Hausdorf, Werner M. Seiler
On the Numerical Analysis of Overdetermined Linear Partial Differential Systems. SNSC (2001)
Werner M. Seiler
Numerical integration of constrained Hamiltonian systems using Dirac brackets. Math. Comput. 68 (226) (1999)
Werner M. Seiler
Indices and Solvability for General Systems of Differential Equations. CASC (1999)
Werner M. Seiler
Position versus momentum projections for constrained Hamiltonian systems. Numer. Algorithms 19 (1-4) (1998)
Werner M. Seiler
Formale Theorie partieller Differentialgleichungen. Physik und Informatik (1991)