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 …

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 …

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 …

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 …

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 …

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 …

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 …

Security and privacy requirements in vehicular networks are typically addressed using a
Public Key Infrastructure (PKI) and pools of pseudonymous certificates for each vehicle …

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 …

We consider general systems of ordinary and partial differential equations from a geometric
point of view. This leads to simple interpretations of various index concepts introduced for …