![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Werner M. Seiler
Person information
- affiliation: Universität Kassel, Germany
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
- [j37]Amir Hashemi, Mahshid Mirhashemi, Werner M. Seiler
:
Machine learning parameter systems, Noether normalisations and quasi-stable positions. J. Symb. Comput. 126: 102345 (2025) - 2024
- [j36]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: 128446 (2024) - 2023
- [j35]Amir Hashemi
, Matthias Orth, Werner M. Seiler:
Recursive structures in involutive bases theory. J. Symb. Comput. 118: 32-68 (2023) - [i9]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 abs/2301.01041 (2023) - 2022
- [j34]Amir Hashemi, Matthias Orth, Werner M. Seiler:
Complementary decompositions of monomial ideals and involutive bases. Appl. Algebra Eng. Commun. Comput. 33(6): 791-821 (2022) - [j33]Ernst W. Mayr, Werner M. Seiler, Evgenii V. Vorozhtsov:
Memories on Vladimir Gerdt. J. Symb. Comput. 109: 50-56 (2022) - [j32]Amir Hashemi, Hossein Parnian, Werner M. Seiler:
Computation of Macaulay constants and degree bounds for Gröbner bases. J. Symb. Comput. 111: 44-60 (2022) - [j31]Werner M. Seiler:
30 Years with Vladimir Gerdt. Math. Comput. Sci. 16(4): 26 (2022) - [j30]Daniel Robertz, Werner M. Seiler:
Foreword. Math. Comput. Sci. 16(4): 28 (2022) - 2021
- [j29]Markus Lange-Hegermann
, Daniel Robertz, Werner M. Seiler, Matthias Seiß:
Singularities of algebraic differential equations. Adv. Appl. Math. 131: 102266 (2021) - [j28]Ernst W. Mayr, Werner M. Seiler, Evgenii V. Vorozhtsov:
Vladimir Gerdt dies at 73. ACM Commun. Comput. Algebra 55(1): 1-2 (2021) - [j27]Werner M. Seiler
, Matthias Seiß:
No Chaos in Dixon's System. Int. J. Bifurc. Chaos 31(3): 2150044:1-2150044:20 (2021) - [j26]Nasibeh Aramideh, Amir Hashemi, Werner M. Seiler:
Computing the resolution regularity of bi-homogeneous ideals. J. Symb. Comput. 103: 141-156 (2021) - [j25]Matthew England, Wolfram Koepf, Timur M. Sadykov, Werner M. Seiler, Thomas Sturm:
Foreword, with a Dedication to Andreas Weber. Math. Comput. Sci. 15(2): 173-175 (2021) - [j24]Amir Hashemi, Hossein Parnian, Werner M. Seiler:
Degree Upper Bounds for Involutive Bases. Math. Comput. Sci. 15(2): 233-254 (2021) - [j23]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): 333-352 (2021) - [j22]Amir Hashemi, Thomas Izgin, Daniel Robertz, Werner M. Seiler:
An Involutive GVW Algorithm and the Computation of Pommaret Bases. Math. Comput. Sci. 15(3): 419-452 (2021) - [j21]Amir Hashemi, Matthias Orth, Werner M. Seiler:
Relative Gröbner and Involutive Bases for Ideals in Quotient Rings. Math. Comput. Sci. 15(3): 453-482 (2021) - 2020
- [j20]Werner M. Seiler:
Jacques Calmet dies at 77. ACM Commun. Comput. Algebra 54(1): 14-15 (2020) - [j19]Amir Hashemi, Werner M. Seiler:
Dimension and depth dependent upper bounds in polynomial ideal theory. J. Symb. Comput. 98: 47-64 (2020) - [j18]Elishan Braun, Werner M. Seiler, Matthias Seiß:
On the Numerical Analysis and Visualisation of Implicit Ordinary Differential Equations. Math. Comput. Sci. 14(2): 281-293 (2020) - [c20]Werner M. Seiler
, Matthias Seiß:
Algebraic and Geometric Analysis of Singularities of Implicit Differential Equations (Invited Talk). CASC 2020: 14-41
2010 – 2019
- 2019
- [e6]Matthew England, Wolfram Koepf, Timur M. Sadykov, Werner M. Seiler, Evgenii V. Vorozhtsov:
Computer Algebra in Scientific Computing - 21st International Workshop, CASC 2019, Moscow, Russia, August 26-30, 2019, Proceedings. Lecture Notes in Computer Science 11661, Springer 2019, ISBN 978-3-030-26830-5 [contents] - 2018
- [j17]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): 283-301 (2018) - [j16]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): 67-70 (2018) - [j15]Amir Hashemi, Michael Schweinfurter, Werner M. Seiler
:
Deterministic genericity for polynomial ideals. J. Symb. Comput. 86: 20-50 (2018) - [c19]Bentolhoda Binaei, Amir Hashemi, Werner M. Seiler
:
Computation of Pommaret Bases Using Syzygies. CASC 2018: 51-66 - [e5]Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov:
Computer Algebra in Scientific Computing - 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings. Lecture Notes in Computer Science 11077, Springer 2018, ISBN 978-3-319-99638-7 [contents] - [i8]Bentolhoda Binaei, Amir Hashemi, Werner M. Seiler:
A Pommaret Bases Approach to the Degree of a Polynomial Ideal. CoRR abs/1809.10964 (2018) - [i7]Bentolhoda Binaei, Amir Hashemi, Werner M. Seiler:
Computation of Pommaret Bases Using Syzygies. CoRR abs/1809.10971 (2018) - 2017
- [j14]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): 251-252 (2017) - [c18]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: 6-10 - [c17]Amir Hashemi, Werner M. Seiler
:
Dimension-Dependent Upper Bounds for Gröbner Bases. ISSAC 2017: 189-196 - [e4]Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov:
Computer Algebra in Scientific Computing - 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings. Lecture Notes in Computer Science 10490, Springer 2017, ISBN 978-3-319-66319-7 [contents] - [i6]Amir Hashemi, Werner M. Seiler:
Dimension-Dependent Upper Bounds for Grobner Bases. CoRR abs/1705.02776 (2017) - [i5]Amir Hashemi, Michael Schweinfurter, Werner M. Seiler:
Deterministic Genericity for Polynomial Ideals. CoRR abs/1705.02797 (2017) - [i4]Bentolhoda Binaei, Amir Hashemi, Werner M. Seiler:
Improved Computation of Involutive Bases. CoRR abs/1705.03441 (2017) - 2016
- [j13]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): 145-147 (2016) - [c16]Mario Albert, Werner M. Seiler
:
Resolving Decompositions for Polynomial Modules. CASC 2016: 15-29 - [c15]Bentolhoda Binaei, Amir Hashemi, Werner M. Seiler
:
Improved Computation of Involutive Bases. CASC 2016: 58-72 - [c14]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
:
SC2: Satisfiability Checking Meets Symbolic Computation - (Project Paper). CICM 2016: 28-43 - [e3]Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov:
Computer Algebra in Scientific Computing - 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings. Lecture Notes in Computer Science 9890, Springer 2016, ISBN 978-3-319-45640-9 [contents] - [i3]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 abs/1607.06945 (2016) - [i2]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 abs/1607.08028 (2016) - 2015
- [j12]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: 279-302 (2015) - [j11]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: 4-26 (2015) - [c13]Mario Albert, Matthias Fetzer, Werner M. Seiler
:
Janet Bases and Resolutions in CoCoALib. CASC 2015: 15-29 - [e2]Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler
, Evgenii V. Vorozhtsov:
Computer Algebra in Scientific Computing - 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings. Lecture Notes in Computer Science 9301, Springer 2015, ISBN 978-3-319-24020-6 [contents] - 2014
- [c12]Amir Hashemi, Michael Schweinfurter, Werner M. Seiler
:
Deterministically Computing Reduction Numbers of Polynomial Ideals. CASC 2014: 186-201 - [e1]Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov:
Computer Algebra in Scientific Computing - 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings. Lecture Notes in Computer Science 8660, Springer 2014, ISBN 978-3-319-10514-7 [contents] - 2013
- [c11]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: 88-99 - [c10]Werner M. Seiler
:
Singularities of Implicit Differential Equations and Static Bifurcations. CASC 2013: 355-368 - 2012
- [c9]Hassan Errami, Werner M. Seiler, Markus Eiswirth, Andreas Weber
:
Computing Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates. CASC 2012: 84-97 - [c8]Amir Hashemi, Michael Schweinfurter, Werner M. Seiler:
Quasi-stability versus Genericity. CASC 2012: 172-184 - [i1]Amir Hashemi, Michael Schweinfurter, Werner M. Seiler:
Quasi-Stability versus Genericity. CoRR abs/1205.6671 (2012) - 2011
- [c7]Hassan Errami, Werner M. Seiler
, Thomas Sturm
, Andreas Weber
:
On Muldowney's Criteria for Polynomial Vector Fields with Constraints. CASC 2011: 135-143 - 2010
- [b1]Werner M. Seiler:
Involution - The Formal Theory of Differential Equations and its Applications in Computer Algebra. Algorithms and computation in mathematics 24, Springer 2010, ISBN 978-3-642-01286-0, pp. I-XXII, 1-650 - [c6]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: 267-279
2000 – 2009
- 2009
- [j10]Werner M. Seiler
:
A combinatorial approach to involution and delta-regularity I: involutive bases in polynomial algebras of solvable type. Appl. Algebra Eng. Commun. Comput. 20(3-4): 207-259 (2009) - [j9]Werner M. Seiler
:
A combinatorial approach to involution and delta-regularity II: structure analysis of polynomial modules with pommaret bases. Appl. Algebra Eng. Commun. Comput. 20(3-4): 261-338 (2009) - [j8]Julio Rubio
, Werner M. Seiler
:
Applicable algebra and artificial intelligence. Ann. Math. Artif. Intell. 56(3-4): 241-243 (2009) - 2006
- [j7]Katsiaryna Krupchyk, Werner M. Seiler
, Jukka Tuomela:
Overdetermined Elliptic Systems. Found. Comput. Math. 6(3): 309-351 (2006) - 2002
- [j6]Marcus Hausdorf, Werner M. Seiler
:
An Efficient Algebraic Algorithm for the Geometric Completion to Involution. Appl. Algebra Eng. Commun. Comput. 13(3): 163-207 (2002) - [j5]Marcus Hausdorf, Werner M. Seiler
, Rainer Steinwandt:
Involutive Bases in the Weyl Algebra. J. Symb. Comput. 34(3): 181-198 (2002) - [j4]Werner M. Seiler
:
Taylor and Lyubeznik Resolutions via Gröbner Bases. J. Symb. Comput. 34(6): 597-608 (2002) - 2001
- [j3]Werner M. Seiler
:
Special Issue "Computational Geometry for Differential Equations" - Guest Editor's Preface. Appl. Algebra Eng. Commun. Comput. 11(5): 331-332 (2001) - [c5]Jay Belanger, Marcus Hausdorf, Werner M. Seiler:
A MuPAD Library for Differential Equations. CASC 2001: 25-42 - [c4]Marcus Hausdorf, Werner M. Seiler:
Perturbation versus Differentiation Indices. CASC 2001: 323-337 - [c3]Marcus Hausdorf, Werner M. Seiler:
On the Numerical Analysis of Overdetermined Linear Partial Differential Systems. SNSC 2001: 152-167
1990 – 1999
- 1999
- [j2]Werner M. Seiler
:
Numerical integration of constrained Hamiltonian systems using Dirac brackets. Math. Comput. 68(226): 661-681 (1999) - [c2]Werner M. Seiler:
Indices and Solvability for General Systems of Differential Equations. CASC 1999: 365-385 - 1998
- [j1]Werner M. Seiler
:
Position versus momentum projections for constrained Hamiltonian systems. Numer. Algorithms 19(1-4): 223-234 (1998) - 1991
- [c1]Werner M. Seiler:
Formale Theorie partieller Differentialgleichungen. Physik und Informatik 1991: 318-326
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-20 21:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint