Review of symbolic software for Lie symmetry analysis
W Hereman - Mathematical and Computer Modelling, 1997 - Elsevier
Review of Symbolic Software for Lie Symmetry Analysis Page 1 Pergamon Mathl. Comput.
Modelling Vol. 25, No. 819, pp. 115-132, 1997 Copyright@1997 Elsevier Science Ltd Printed in …
Modelling Vol. 25, No. 819, pp. 115-132, 1997 Copyright@1997 Elsevier Science Ltd Printed in …
Differential invariant algebras of Lie pseudo-groups
PJ Olver, J Pohjanpelto - Advances in Mathematics, 2009 - Elsevier
The aim of this paper is to describe, in as much detail as possible and constructively, the
structure of the algebra of differential invariants of a Lie pseudo-group acting on the …
structure of the algebra of differential invariants of a Lie pseudo-group acting on the …
The theory of involutive divisions and an application to Hilbert function computations
J Apel - Journal of Symbolic Computation, 1998 - Elsevier
Generalising the divisibility relation of terms we introduce the lattice of so-called involutive
divisions and define the admissibility of such an involutive division for a given set of terms …
divisions and define the admissibility of such an involutive division for a given set of terms …
Involution and constrained dynamics. I. The Dirac approach
We study the theory of systems with constraints from the point of view of the formal theory of
partial differential equations. For finite-dimensional systems we show that the Dirac …
partial differential equations. For finite-dimensional systems we show that the Dirac …
[PS][PS] Analysis and application of the formal theory of partial differential equations
WM Seiler - 1994 - mathematik.uni-kassel.de
An introduction to the formal theory of partial di erential equations is given emphasizing the
properties of involutive symbols and equations. An algorithm to complete any di erential …
properties of involutive symbols and equations. An algorithm to complete any di erential …
The integrability conditions in the inverse problem of the calculus of variations for second-order ordinary differential equations
W Sarlet, M Crampin, E Martinez - Acta Applicandae Mathematica, 1998 - Springer
A novel approach to a coordinate-free analysis of the multiplier question in the
inverseproblem of the calculus of variations, initiated in a previous publication, is completed …
inverseproblem of the calculus of variations, initiated in a previous publication, is completed …
[PDF][PDF] Counting solutions of differential equations
M Lange-Hegermann - 2014 - publications.rwth-aachen.de
The aim of this thesis is a quantitative analysis of the set of solutions of a system of
differential equations. For this aim, this thesis generalizes the differential dimension …
differential equations. For this aim, this thesis generalizes the differential dimension …
SmartRevoc: An efficient and privacy preserving revocation system using parked vehicles
Security and privacy requirements in vehicular networks are typically addressed using a
Public Key Infrastructure (PKI) and pools of pseudonymous certificates for each vehicle …
Public Key Infrastructure (PKI) and pools of pseudonymous certificates for each vehicle …
Involution and constrained dynamics. II. The Faddeev-Jackiw approach
WM Seiler - Journal of Physics A: Mathematical and General, 1995 - iopscience.iop.org
For pt. I see Seiler et al., ibid., vol. 28., p. 4431 (1995). We study the symplectic approach to
first-order systems with constraints from the point of view of the formal theory of differential …
first-order systems with constraints from the point of view of the formal theory of differential …
Effective genericity, δ-regularity and strong Noether position
WM Seiler - Communications in Algebra, 2012 - Taylor & Francis
We show that the concept of strong Noether position for a polynomial ideal ℐ▵ left𝒫 is
equivalent to δ-regularity and thus related to Pommaret bases. In particular, we provide …
equivalent to δ-regularity and thus related to Pommaret bases. In particular, we provide …