Symbolic Computation of Variational Symmetries and Conservation Laws in the Calculus of Variations and Optimal Control
by Paulo D. F. Gouveia and Delfim F. M. Torres
 

• update of the Maple package (24/March/2006) with the introduction of the Maple interface octool, according with:
  
  PAULO D. F. GOUVEIA, DELFIM F. M. TORRES,
  A Maple interface for computing variational symmetries in optimal control,
  International Congress of Mathematicians (ICM2006),
  Madrid, Spain, 22-30 August, 2006. [Poster, 27/July/2006]

  [CLaws Maple package with the new procedure octool (CLaws.mla)]
  (done with Maple 10)
  
  [Help pages for the Maple online help system (CLaws.hdb)]
  (done with Maple 10)
  
  Remark 4: The new procedure octool is a graphical user interface to our
  computer algebra subpackage CLaws[OC]. With this interface users can,
  in a point-and-click environment, interact with all the symbolical
  tools of the subpackage and deal with concrete problems of optimal control.
  The Maplet octool allow us to quickly investigate the problems,
  without learning all the optional parameters of the Maple procedures.
   

• PAULO D. F. GOUVEIA and DELFIM F. M. TORRES,
  Computação Algébrica no Cálculo das Variações:
  determinação de simetrias e leis de conservação (in Portuguese),
  TEMA Tend. Mat. Apl. Comput. Vol. 6, No. 1, 2005,  pp. 81-90
  [publication] [E-Print: arXiv]
  
   
• PAULO D. F. GOUVEIA and DELFIM F. M. TORRES,
  Automatic Computation of Conservation Laws
  in the Calculus of Variations and Optimal Control,
  "Computational Methods in Applied Mathematics".
  Vol. 5 (2005), No. 4, pp. 387-409.
  [publication] [E-Print: arXiv]
  
  [Maple package, September 7, 2005] [zip]
  (done with Maple 9.5, should work in any version >= 9)
  
   
• update of the Maple package (16/November/2005) according with the paper:
  
  PAULO D. F. GOUVEIA, DELFIM F. M. TORRES, EUGÉNIO A. M. ROCHA
  Symbolic Computation of Variational Symmetries in Optimal Control,
  Proceedings of the 4th Junior European Meeting on "Control and
  Optimization", Bialystok Technical University, Bialystok, Poland,
  11-14 September 2005. Journal Control & Cybernetics (accepted 24/Feb/2006).
  
  [Maple worksheet with all definitions of the procedures
   and the complete set of illustrative problems (GouveiaTorresRocha.mw)]
  (done with Maple 10)
  
  [CLaws Maple package (CLaws.mla)]
  (done with Maple 10, should work in any version >= 9.5)
  
  [Help pages for the Maple online help system (CLaws.hdb)]
  (done with Maple 10)
  
  Remark 1: To use the CLaws package and associated help pages in a Maple session,
  set the global variable libname so that it point to the directory containing
  the CLaws package (CLaws.mla) and the help database (CLaws.hdb).
  For example:
  
  > libname := <MyCLawsPath>, libname;
  
  Remark 2: when using the package, the command
  
  > Describe(CLaws);
  
  can be used in order to obtain a brief description of the available commands in the package.
  
  Remark 3: When accessing the Maple help system, the entry in the
  Table of Contents for the CLaws package help is "Conservation Laws".
   

Our work is available from the Maple Application Centre since 26/July/2006:
    http://www.maplesoft.com/applications/app_center_view.aspx?AID=1983
 

---------------------------------------------------------------

Extremais do Cálculo das Variações em Maple
Frederico D. Regateiro and Delfim F. M. Torres
[CM06/D-03 pdf] [CV-regateiro-torres.mws] [CV-regateiro-torres.zip]