Werner M. Seiler
Werner M. Seiler
Professor fr Mathematik, Universitt Kassel
Email verificata su mathematik.uni-kassel.de
TitoloCitata daAnno
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
176*2010
Involution
WM Seiler
Springer, 2010
1692010
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-4), 261-338, 2009
71*2009
Analysis and application of the formal theory of partial differential equations
WM Seiler
Lancaster University, 1994
671994
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
62*2009
Involution—the formal theory of differential equations and its applications in computer algebra and numerical analysis
WM Seiler
Habilitation Thesis, Univ. of Mannheim, 2002
622002
Involution and constrained dynamics. I. The Dirac approach
WM Seiler, RW Tucker
Journal of Physics A: Mathematical and General 28 (15), 4431, 1995
551995
A constructive introduction to involution
J Calmet, M Hausdorf, WM Seiler
Proc. Int. Symp. Applications of Computer Algebra—ISACA, 33-50, 2000
532000
On the arbitrariness of the general solution of an involutive partial differential equation
WM Seiler
Journal of Mathematical Physics 35 (1), 486-498, 1994
431994
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
402015
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
352002
SC2: Satisfiability checking meets symbolic computation
E brahm, J Abbott, B Becker, AM Bigatti, M Brain, B Buchberger, ...
Intelligent Computer Mathematics: Proceedings CICM, 28-43, 2016
312016
Algorithmic methods for Lie pseudogroups
J Sch, WM Seiler, J Calmet
Modern Group Analysis: Advanced Analytical and Computational Methods in…, 1993
281993
Numerical integration of constrained Hamiltonian systems using Dirac brackets
W Seiler
Mathematics of Computation of the American Mathematical Society 68 (226…, 1999
271999
Indices and solvability for general systems of differential equations
WM Seiler
Computer Algebra in Scientific Computing CASC’99, 365-385, 1999
261999
Involution and constrained dynamics. II. The Faddeev-Jackiw approach
WM Seiler
Journal of Physics A: Mathematical and General 28 (24), 7315, 1995
241995
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
202002
Involution and symmetry reductions
WM Seiler
Mathematical and Computer Modelling 25 (8-9), 63-73, 1997
201997
Applying axiom to partial differential equations
WM Seiler
Univ., Fak. fr Informatik, 1995
171995
Il sistema al momento non pu eseguire l'operazione. Riprova pi tardi.
Articoli 1–20