Special Session

Algebraic and Numerical Computation for Engineering and
Optimization Problems

in  Applications of Computer Algebra (ACA'2007)

July 19 - 22, 2007
Rochester, Michigan, USA

Session Organizers:

Dmytro Chibisov

Victor Ganzha

Ernst W. Mayr

Lehrstuhl für Effiziente Algorithmen
für Effiziente Algorithmen
Institut für Informatik
Institut für Informatik
Technische Universität München
Technische Universität München
Boltzmannstr. 3
D-85748 Garching

Session Abstract and Motivation:

Various applications in robotics, manufacturing, molecular biology, nanotechnology, etc. involve optimization and optimal control with constraints given by algebraic and differential equations (both ODEs and PDEs). Especially in the case of differential constraints, the "naive" approaches combining numerical solvers for differential equations and optimization algorithms may lead to lack of robusteness or be very inefficient.

In order to deal with real life applications stability and fast convergence of numerical methods have to be provided. However, research in this field is very much in progress, and many problems concerning both the theoretical foundations and practical issues remain open: existence of optimizers for underlying continuous problem and necessary optimality conditions, questions of stability and convergence for numerical methods, the interplay between discretization and optimization, etc..

These issues require a wide range of mathematical disciplines (e.g. optimal control theory, functional analysis, numerical analysis, etc.) as well as engineering understanding in order to choose the appropriate mathematical model for the problem at hand. The goal of this session is to bring together mathematicians and engineers, who develop or use algebraic and numerical methods, to exchange ideas and views, and to present both orignal research results involving computer algebra as well as challeging directions and industrial applications.

Possible topics for this session include (but are not limited to):

  • exact and approximate computation
  • numerical simulation using computer algebra systems
  • symbolic-numerical methods for (global) optimization 
  • symbolic-numerical methods for differential, differential-algebraic, and
    difference equations 
  • (computational) optimal control 
  • (non)linear programming 
  • complexity considerations for symbolic and numerical computing 
  • applications:
    • mechanism design and robotics
    • manufacturing
    • nanotechnology
    • medical devices
    • molecular biology
    • etc.

If you are interested in giving a talk in this session please send the title and abstract of your talk to Dmytro ChibisovVictor Ganzha, and Ernst Mayr




July 20
On efficient computation of parabolic Julia sets [PDF]

M. Braverman (University of Toronto)

July 20
Computation of minimal units monomials [PDF]

D. Lichtblau (Wolfram Research Inc.)

July 20
Efficient environment for gradient based shape optimization of structures [PDF]

J. Korelc
(Universtiy of Ljubljana)

July 20
11:00 - 11:30


July 20
Dynamic enumeration of all mixed cells for polyhedral homotopies [PDF]

T. Mizutani, A. Takeda , M. Kojima (Tokyo Institute of Technology)

July 20
12:00 - 14:00


July 20

Sensitivity analysis of maximum entropy model [

M.-D. Huang (University of Southern California)
Q. Luo (
University of Southern California)

July 20
Optimal filter design with parametrized wavelets [PDF]

G. Regensburger (Johann Radon Institute for Computational and Applied Mathematics (RICAM),
Austrian Academy of Sciences)

July 20
Numerical methods in motion planning for legged robots [PDF]

K. Hauser (Stanford University)

July 20
Optmization of robot paths for remote-laser-welding [PDF]

D. Chibisov, E. W. Mayr, U. Munzert, M Zaeh (Technical University of Munich)

July 20
The selection of information architecture in linear systems [PDF]

R. Skelton (University California San Diego)
F. Li (Xerox Corp.)

Other accepted talks:   

Solution of nonlocal Cauchy problems by extensions of duhamel principle and Heaviside algorithm [PDF]

I. Dimovski, M. Spiridonova (Institute of Mathematics and Informatics, Bulgarian Academy od Sciences)

Dmytro Chibisov, Victor Ganzha, and Ernst W. Mayr, 30.05.2007