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
227*2010
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
78*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
70*2009
Analysis and application of the formal theory of partial differential equations
WM Seiler
Lancaster University, 1994
701994
Involution—the formal theory of differential equations and its applications in computer algebra and numerical analysis
WM Seiler
Habilitation Thesis, Univ. of Mannheim, 2002
642002
Involution and constrained dynamics. I. The Dirac approach
WM Seiler, RW Tucker
Journal of Physics A: Mathematical and General 28 (15), 4431, 1995
611995
A constructive introduction to involution
J Calmet, M Hausdorf, WM Seiler
Proc. Int. Symp. Applications of Computer Algebra—ISACA, 33-50, 2000
542000
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
502015
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
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
392016
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
372002
Numerical integration of constrained Hamiltonian systems using Dirac brackets
W Seiler
Mathematics of Computation 68 (226), 661-681, 1999
301999
Algorithmic methods for Lie pseudogroups
J Schü, WM Seiler, J Calmet
Modern Group Analysis: Advanced Analytical and Computational Methods in …, 1993
281993
Indices and solvability for general systems of differential equations
WM Seiler
Computer Algebra in Scientific Computing CASC˘99, 365-385, 1999
271999
Involution and constrained dynamics. II. The Faddeev-Jackiw approach
WM Seiler
Journal of Physics A: Mathematical and General 28 (24), 7315, 1995
231995
Overdetermined elliptic systems
K Krupchyk, WM Seiler, J Tuomela
Foundations of Computational Mathematics 6 (3), 309-351, 2006
222006
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
201995
Involution and symmetry reductions
WM Seiler
Mathematical and Computer Modelling 25 (8-9), 63-73, 1997
191997
Arbitrariness of the general solution and symmetries
WM Seiler
Acta Applicandae Mathematica 41 (1-3), 311-322, 1995
171995
The system can't perform the operation now. Try again later.
Articles 1–20