Follow
Werner M. Seiler
Werner M. Seiler
Professor für Mathematik, Universität Kassel
Verified email at mathematik.uni-kassel.de
Title
Cited by
Cited by
Year
Involution: The Formal Theory of Differential Equations and its Applications in Computer Algebra, Algorithms and Computations in Mathematics, Vol. 24
WM Seiler
Springer, New York, 2010
2842010
A combinatorial approach to involution and δ-regularity II: Structure analysis of polynomial modules with Pommaret bases
WM Seiler
Applicable Algebra in Engineering, Communication and Computing 20 (3), 261-338, 2009
90*2009
A combinatorial approach to involution and δ-regularity I: Involutive bases in polynomial algebras of solvable type
WM Seiler
Applicable Algebra in Engineering, Communication and Computing 20 (3-4), 207-259, 2009
79*2009
Analysis and application of the formal theory of partial differential equations
WM Seiler
Lancaster University, 1994
721994
Involution—the formal theory of differential equations and its applications in computer algebra and numerical analysis
WM Seiler
Habilitation Thesis, Univ. of Mannheim, 2002
682002
Involution and constrained dynamics. I. The Dirac approach
WM Seiler, RW Tucker
Journal of Physics A: Mathematical and General 28 (15), 4431, 1995
671995
Detection of Hopf bifurcations in chemical reaction networks using convex coordinates
H Errami, M Eiswirth, D Grigoriev, WM Seiler, T Sturm, A Weber
Journal of Computational Physics 291, 279-302, 2015
622015
A constructive introduction to involution
J Calmet, M Hausdorf, WM Seiler
Proc. Int. Symp. Applications of Computer Algebra—ISACA, 33-50, 2000
542000
SC2: Satisfiability checking meets symbolic computation
E Ábrahám, J Abbott, B Becker, AM Bigatti, M Brain, B Buchberger, ...
Intelligent Computer Mathematics: Proceedings CICM, 28-43, 2016
51*2016
On the arbitrariness of the general solution of an involutive partial differential equation
WM Seiler
Journal of Mathematical Physics 35 (1), 486-498, 1994
471994
An efficient algebraic algorithm for the geometric completion to involution
M Hausdorf, WM Seiler
Applicable Algebra in Engineering, Communication and Computing 13 (3), 163-207, 2002
382002
Numerical integration of constrained Hamiltonian systems using Dirac brackets
W Seiler
Mathematics of Computation 68 (226), 661-681, 1999
331999
Algorithmic methods for Lie pseudogroups
J Schü, WM Seiler, J Calmet
Modern Group Analysis: Advanced Analytical and Computational Methods in …, 1993
301993
Indices and Solvability for General Systems of Differential Equations: (Invited Talk)
WM Seiler
Computer Algebra in Scientific Computing CASC’99: Proceedings of the Second …, 1999
291999
Involution and constrained dynamics. II. The Faddeev-Jackiw approach
WM Seiler
Journal of Physics A: Mathematical and General 28 (24), 7315, 1995
271995
Overdetermined elliptic systems
K Krupchyk, WM Seiler, J Tuomela
Foundations of Computational Mathematics 6 (3), 309-351, 2006
222006
Involution and symmetry reductions
WM Seiler
Mathematical and Computer Modelling 25 (8-9), 63-73, 1997
221997
Differential equations, Spencer cohomology, and computing resolutions
LA Lambe, WM Seiler
Georgian Mathematical Journal 9 (4), 723-774, 2002
212002
Applying axiom to partial differential equations
WM Seiler
Univ., Fak. für Informatik, 1995
181995
Deterministic Genericity for Polynomial Ideals
A Hashemi, M Schweinfurter, WM Seiler
Journal of Symbolic Computation, 2017
172017
The system can't perform the operation now. Try again later.
Articles 1–20