A point symmetry based method for transforming ODEs with three-dimensional symmetry algebras to their canonical forms

We provide an algorithmic approach to the construction of point transformations for scalar ordinary differential equations that admit three-dimensional symmetry algebras which lead to their respective canonical forms

Exact linear modeling using Ore algebras

Linear exact modeling is a problem coming from system identification: Given a set of observed trajectories, the goal is find a model (usually, a system of partial differential and/or difference equations) that explains the data as precisely as possible. The case of operators with constant coefficients is well studied and known in the systems theoretic literature, whereas the operators with varying coefficients were addressed only recently. This question can be tackled either using Gr\"obner bases for modules over Ore algebras or by following the ideas from differential algebra and computing in commutative rings. In this paper, we present algorithmic methods to compute "most powerful unfalsified models" (MPUM) and their counterparts with variable coefficients (VMPUM) for polynomial and polynomial-exponential signals. We also study the structural properties of the resulting models, discuss computer algebraic techniques behind algorithms and provide several examples

A class of solvable Lie algebras and their Casimir Invariants

A nilpotent Lie algebra n_{n,1} with an (n-1) dimensional Abelian ideal is studied. All indecomposable solvable Lie algebras with n_{n,1} as their nilradical are obtained. Their dimension is at most n+2. The generalized Casimir invariants of n_{n,1} and of its solvable extensions are calculated. For n=4 these algebras figure in the Petrov classification of Einstein spaces. For larger values of n they can be used in a more general classification of Riemannian manifolds.Comment: 16 page