Werner M. Seiler

76 papers B 22C 1Journal 49Unranked 3

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Minimal Staggered Linear Bases and Their Applications. Math. Comput. Sci. Amir Hashemi, Nicolas Jagersma, Matthias Orth, Werner M. Seiler
2025	J	`jnl`	Computing finite and infinite free resolutions with Pommaret-like bases. J. Symb. Comput. Amir Hashemi, Matthias Orth, Werner M. Seiler
2025	J	`jnl`	Machine learning parameter systems, Noether normalisations and quasi-stable positions. J. Symb. Comput. Amir Hashemi, Mahshid Mirhashemi, Werner M. Seiler
2025	J	`jnl`	Open Covers and Lex Points of Hilbert Schemes Over Quotient Rings via Relative Marked Bases. Exp. Math. Cristina Bertone, Francesca Cioffi, Matthias Orth, Werner M. Seiler
2024	J	`jnl`	On the numerical integration of singular initial and boundary value problems for generalised Lane-Emden and Thomas-Fermi equations. Appl. Math. Comput. Werner M. Seiler, Matthias Seiß
2023	J	`jnl`	On the Numerical Integration of Singular Initial and Boundary Value Problems for Generalised Lane-Emden and Thomas-Fermi Equations. CoRR Werner M. Seiler, Matthias Seiß
2023	J	`jnl`	Recursive structures in involutive bases theory. J. Symb. Comput. Amir Hashemi, Matthias Orth, Werner M. Seiler
2022	J	`jnl`	30 Years with Vladimir Gerdt. Math. Comput. Sci. Werner M. Seiler
2022	J	`jnl`	Complementary decompositions of monomial ideals and involutive bases. Appl. Algebra Eng. Commun. Comput. Amir Hashemi, Matthias Orth, Werner M. Seiler
2022	J	`jnl`	Computation of Macaulay constants and degree bounds for Gröbner bases. J. Symb. Comput. Amir Hashemi, Hossein Parnian, Werner M. Seiler
2022	J	`jnl`	Foreword. Math. Comput. Sci. Daniel Robertz, Werner M. Seiler
2022	J	`jnl`	Memories on Vladimir Gerdt. J. Symb. Comput. Ernst W. Mayr, Werner M. Seiler, Evgenii V. Vorozhtsov
2021	J	`jnl`	A Logic Based Approach to Finding Real Singularities of Implicit Ordinary Differential Equations. Math. Comput. Sci. Werner M. Seiler, Matthias Seiß, Thomas Sturm
2021	J	`jnl`	An Involutive GVW Algorithm and the Computation of Pommaret Bases. Math. Comput. Sci. Amir Hashemi, Thomas Izgin, Daniel Robertz, Werner M. Seiler
2021	J	`jnl`	Computing the resolution regularity of bi-homogeneous ideals. J. Symb. Comput. Nasibeh Aramideh, Amir Hashemi, Werner M. Seiler
2021	J	`jnl`	Degree Upper Bounds for Involutive Bases. Math. Comput. Sci. Amir Hashemi, Hossein Parnian, Werner M. Seiler
2021	J	`jnl`	Foreword, with a Dedication to Andreas Weber. Math. Comput. Sci. Matthew England, Wolfram Koepf, Timur M. Sadykov, Werner M. Seiler, Thomas Sturm
2021	J	`jnl`	No Chaos in Dixon's System. Int. J. Bifurc. Chaos Werner M. Seiler, Matthias Seiß
2021	J	`jnl`	Relative Gröbner and Involutive Bases for Ideals in Quotient Rings. Math. Comput. Sci. Amir Hashemi, Matthias Orth, Werner M. Seiler
2021	J	`jnl`	Singularities of algebraic differential equations. Adv. Appl. Math. Markus Lange-Hegermann, Daniel Robertz, Werner M. Seiler, Matthias Seiß
2021	J	`jnl`	Vladimir Gerdt dies at 73. ACM Commun. Comput. Algebra Ernst W. Mayr, Werner M. Seiler, Evgenii V. Vorozhtsov
2020	B	`conf`	Algebraic and Geometric Analysis of Singularities of Implicit Differential Equations (Invited Talk). CASC Werner M. Seiler, Matthias Seiß
2020	J	`jnl`	Dimension and depth dependent upper bounds in polynomial ideal theory. J. Symb. Comput. Amir Hashemi, Werner M. Seiler
2020	J	`jnl`	Jacques Calmet dies at 77. ACM Commun. Comput. Algebra Werner M. Seiler
2020	J	`jnl`	On the Numerical Analysis and Visualisation of Implicit Ordinary Differential Equations. Math. Comput. Sci. Elishan Braun, Werner M. Seiler, Matthias Seiß
2019	B	`ed.`	Computer Algebra in Scientific Computing - 21st International Workshop, CASC 2019, Moscow, Russia, August 26-30, 2019, Proceedings CASC Matthew England, Wolfram Koepf, Timur M. Sadykov, Werner M. Seiler, Evgenii V. Vorozhtsov
2018	J	`jnl`	A Pommaret Bases Approach to the Degree of a Polynomial Ideal. CoRR Bentolhoda Binaei, Amir Hashemi, Werner M. Seiler
2018	J	`jnl`	A Pommaret bases approach to the degree of a polynomial ideal. Appl. Algebra Eng. Commun. Comput. Bentolhoda Binaei, Amir Hashemi, Werner M. Seiler
2018	B	`conf`	Computation of Pommaret Bases Using Syzygies. CASC Bentolhoda Binaei, Amir Hashemi, Werner M. Seiler
2018	J	`jnl`	Computation of Pommaret Bases Using Syzygies. CoRR Bentolhoda Binaei, Amir Hashemi, Werner M. Seiler
2018	B	`ed.`	Computer Algebra in Scientific Computing - 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings CASC Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov
2018	J	`jnl`	Deterministic genericity for polynomial ideals. J. Symb. Comput. Amir Hashemi, Michael Schweinfurter, Werner M. Seiler
2018	J	`jnl`	The SYMBIONT project: symbolic methods for biological networks. ACM Commun. Comput. Algebra François Boulier, François Fages, Ovidiu Radulescu, Satya Swarup Samal, Andreas Schuppert, Werner M. Seiler, Thomas Sturm, Sebastian Walcher, Andreas Weber
2017	B	`ed.`	Computer Algebra in Scientific Computing - 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings CASC Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov
2017	J	`jnl`	Deterministic Genericity for Polynomial Ideals. CoRR Amir Hashemi, Michael Schweinfurter, Werner M. Seiler
2017	J	`jnl`	Dimension-Dependent Upper Bounds for Grobner Bases. CoRR Amir Hashemi, Werner M. Seiler
2017	B	`conf`	Dimension-Dependent Upper Bounds for Gröbner Bases. ISSAC Amir Hashemi, Werner M. Seiler
2017	J	`jnl`	Foreword. Math. Comput. Sci. Thierry N. Dana-Picard, Wolfram Koepf, Ilias S. Kotsireas, Zoltán Kovács, Alexander N. Prokopenya, Werner M. Seiler
2017	J	`jnl`	Improved Computation of Involutive Bases. CoRR Bentolhoda Binaei, Amir Hashemi, Werner M. Seiler
2017	—	`conf`	SC-square: when Satisfiability Checking and Symbolic Computation join forces. ARCADE@CADE 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
2016	B	`ed.`	Computer Algebra in Scientific Computing - 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings CASC Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov
2016	B	`conf`	Improved Computation of Involutive Bases. CASC Bentolhoda Binaei, Amir Hashemi, Werner M. Seiler
2016	B	`conf`	Resolving Decompositions for Polynomial Modules. CASC Mario Albert, Werner M. Seiler
2016	C	`conf`	SC CICM 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
2016	J	`jnl`	Satisfiability Checking and Symbolic Computation. CoRR 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
2016	J	`jnl`	Satisfiability Checking meets Symbolic Computation (Project Paper). CoRR 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
2016	J	`jnl`	Satisfiability checking and symbolic computation. ACM Commun. Comput. Algebra 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
2015	B	`ed.`	Computer Algebra in Scientific Computing - 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings CASC Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov
2015	J	`jnl`	Detection of Hopf bifurcations in chemical reaction networks using convex coordinates. J. Comput. Phys. Hassan Errami, Markus Eiswirth, Dima Grigoriev, Werner M. Seiler, Thomas Sturm, Andreas Weber
2015	B	`conf`	Janet Bases and Resolutions in CoCoALib. CASC Mario Albert, Matthias Fetzer, Werner M. Seiler
2015	J	`jnl`	On the free resolution induced by a Pommaret basis. J. Symb. Comput. Mario Albert, Matthias Fetzer, Eduardo Sáenz-de-Cabezón, Werner M. Seiler
2014	B	`ed.`	Computer Algebra in Scientific Computing - 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings CASC Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov
2014	B	`conf`	Deterministically Computing Reduction Numbers of Polynomial Ideals. CASC Amir Hashemi, Michael Schweinfurter, Werner M. Seiler
2013	B	`conf`	Efficient Methods to Compute Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates. CASC Hassan Errami, Markus Eiswirth, Dima Grigoriev, Werner M. Seiler, Thomas Sturm, Andreas Weber
2013	B	`conf`	Singularities of Implicit Differential Equations and Static Bifurcations. CASC Werner M. Seiler
2012	B	`conf`	Computing Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates. CASC Hassan Errami, Werner M. Seiler, Markus Eiswirth, Andreas Weber
2012	J	`jnl`	Quasi-Stability versus Genericity CoRR Amir Hashemi, Michael Schweinfurter, Werner M. Seiler
2012	B	`conf`	Quasi-stability versus Genericity. CASC Amir Hashemi, Michael Schweinfurter, Werner M. Seiler
2011	B	`conf`	On Muldowney's Criteria for Polynomial Vector Fields with Constraints. CASC Hassan Errami, Werner M. Seiler, Thomas Sturm, Andreas Weber
2010	—	`book`	Involution - The Formal Theory of Differential Equations and its Applications in Computer Algebra. Werner M. Seiler
2010	B	`conf`	Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk). CASC Andreas Weber, Thomas Sturm, Werner M. Seiler, Essam O. Abdel-Rahman
2009	J	`jnl`	A combinatorial approach to involution and Appl. Algebra Eng. Commun. Comput. Werner M. Seiler
2009	J	`jnl`	A combinatorial approach to involution and Appl. Algebra Eng. Commun. Comput. Werner M. Seiler
2009	J	`jnl`	Applicable algebra and artificial intelligence. Ann. Math. Artif. Intell. Julio Rubio, Werner M. Seiler
2006	J	`jnl`	Overdetermined Elliptic Systems. Found. Comput. Math. Katsiaryna Krupchyk, Werner M. Seiler, Jukka Tuomela
2002	J	`jnl`	An Efficient Algebraic Algorithm for the Geometric Completion to Involution. Appl. Algebra Eng. Commun. Comput. Marcus Hausdorf, Werner M. Seiler
2002	J	`jnl`	Involutive Bases in the Weyl Algebra. J. Symb. Comput. Marcus Hausdorf, Werner M. Seiler, Rainer Steinwandt
2002	J	`jnl`	Taylor and Lyubeznik Resolutions via Gröbner Bases. J. Symb. Comput. Werner M. Seiler
2001	B	`conf`	A MuPAD Library for Differential Equations. CASC Jay Belanger, Marcus Hausdorf, Werner M. Seiler
2001	—	`conf`	On the Numerical Analysis of Overdetermined Linear Partial Differential Systems. SNSC Marcus Hausdorf, Werner M. Seiler
2001	B	`conf`	Perturbation versus Differentiation Indices. CASC Marcus Hausdorf, Werner M. Seiler
2001	J	`jnl`	Special Issue "Computational Geometry for Differential Equations" - Guest Editor's Preface. Appl. Algebra Eng. Commun. Comput. Werner M. Seiler
1999	B	`conf`	Indices and Solvability for General Systems of Differential Equations. CASC Werner M. Seiler
1999	J	`jnl`	Numerical integration of constrained Hamiltonian systems using Dirac brackets. Math. Comput. Werner M. Seiler
1998	J	`jnl`	Position versus momentum projections for constrained Hamiltonian systems. Numer. Algorithms Werner M. Seiler
1991	—	`conf`	Formale Theorie partieller Differentialgleichungen. Physik und Informatik Werner M. Seiler