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 | 291 | 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 | 92* | 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 | 82* | 2009 |
Analysis and application of the formal theory of partial differential equations WM Seiler Lancaster University, 1994 | 73 | 1994 |
Involution—the formal theory of differential equations and its applications in computer algebra and numerical analysis WM Seiler Habilitation Thesis, Univ. of Mannheim, 2002 | 70 | 2002 |
Involution and constrained dynamics. I. The Dirac approach WM Seiler, RW Tucker Journal of Physics A: Mathematical and General 28 (15), 4431, 1995 | 68 | 1995 |
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 | 65 | 2015 |
A constructive introduction to involution J Calmet, M Hausdorf, WM Seiler Proc. Int. Symp. Applications of Computer Algebra—ISACA, 33-50, 2000 | 55 | 2000 |
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 | 52* | 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 | 47 | 1994 |
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 | 39 | 2002 |
Numerical integration of constrained Hamiltonian systems using Dirac brackets W Seiler Mathematics of Computation 68 (226), 661-681, 1999 | 33 | 1999 |
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 | 30 | 1999 |
Algorithmic methods for Lie pseudogroups J Schü, WM Seiler, J Calmet Modern Group Analysis: Advanced Analytical and Computational Methods in …, 1993 | 30 | 1993 |
Involution and constrained dynamics. II. The Faddeev-Jackiw approach WM Seiler Journal of Physics A: Mathematical and General 28 (24), 7315, 1995 | 28 | 1995 |
Overdetermined elliptic systems K Krupchyk, WM Seiler, J Tuomela Foundations of Computational Mathematics 6 (3), 309-351, 2006 | 23 | 2006 |
Involution and symmetry reductions WM Seiler Mathematical and Computer Modelling 25 (8-9), 63-73, 1997 | 22 | 1997 |
Differential equations, Spencer cohomology, and computing resolutions LA Lambe, WM Seiler Georgian Mathematical Journal 9 (4), 723-774, 2002 | 21 | 2002 |
Deterministic Genericity for Polynomial Ideals A Hashemi, M Schweinfurter, WM Seiler Journal of Symbolic Computation, 2017 | 18 | 2017 |
Involutive bases in the Weyl algebra M Hausdorf, WM Seiler, R Steinwandt Journal of Symbolic Computation 34 (3), 181-198, 2002 | 18 | 2002 |