The aim of the paper is to demonstrate the superiority of Cartan's method
over direct methods based on differential elimination for handling otherwise
intractable equivalence problems. In this sens, using our implementation of
Cartan's method, we establish two new equivalence results. Weestablish when a
system of second order ODE's is equivalent to flat system (second derivations
are zero), and when a system of holomorphic PDE's with two independent
variables and one dependent variables is flat. We consider the problem of
finding transformation that brings a given equation to the target one. We shall
see that this problem becomes algebraic when the symmetry pseudogroup of the
target equation is zerodimensional. We avoid the swelling of the expressions,
by using non-commutative derivations adapted to the problem.
%0 Generic
%1 citeulike:1554722
%A Neut, S.
%A Petitot, M.
%A Dridi, R.
%D 2007
%K cartan
%T Elie Cartan's geometrical vision or how to avoid expression swell
%U http://arxiv.org/abs/math/0504203
%X The aim of the paper is to demonstrate the superiority of Cartan's method
over direct methods based on differential elimination for handling otherwise
intractable equivalence problems. In this sens, using our implementation of
Cartan's method, we establish two new equivalence results. Weestablish when a
system of second order ODE's is equivalent to flat system (second derivations
are zero), and when a system of holomorphic PDE's with two independent
variables and one dependent variables is flat. We consider the problem of
finding transformation that brings a given equation to the target one. We shall
see that this problem becomes algebraic when the symmetry pseudogroup of the
target equation is zerodimensional. We avoid the swelling of the expressions,
by using non-commutative derivations adapted to the problem.
@misc{citeulike:1554722,
abstract = {The aim of the paper is to demonstrate the superiority of Cartan's method
over direct methods based on differential elimination for handling otherwise
intractable equivalence problems. In this sens, using our implementation of
Cartan's method, we establish two new equivalence results. Weestablish when a
system of second order ODE's is equivalent to flat system (second derivations
are zero), and when a system of holomorphic PDE's with two independent
variables and one dependent variables is flat. We consider the problem of
finding transformation that brings a given equation to the target one. We shall
see that this problem becomes algebraic when the symmetry pseudogroup of the
target equation is zerodimensional. We avoid the swelling of the expressions,
by using non-commutative derivations adapted to the problem.},
added-at = {2007-08-18T13:22:24.000+0200},
author = {Neut, S. and Petitot, M. and Dridi, R.},
biburl = {https://www.bibsonomy.org/bibtex/2750aef6644aa908bc889a831cebbf3af/a_olympia},
citeulike-article-id = {1554722},
description = {citeulike},
eprint = {math/0504203},
interhash = {6d31c9eb5bdce7599af81ad01bedd760},
intrahash = {750aef6644aa908bc889a831cebbf3af},
keywords = {cartan},
month = Aug,
priority = {2},
timestamp = {2007-08-18T13:22:25.000+0200},
title = {Elie Cartan's geometrical vision or how to avoid expression swell},
url = {http://arxiv.org/abs/math/0504203},
year = 2007
}