We introduce a topic in the intersection of symbolic mathematics and computation, concerning topics in multivariable Optimization and Dynamic Analysis. Our computational approach gives emphasis to mathematical methodology and aims at both symbolic and numerical results as implemented by a...

This note presents an algorithm for deriving first order conditions applicable to the most common optimisation problems encountered in dynamic stochastic models automatically. Given a symbolic library or a computer algebra system one can efficiently derive first order conditions which can then...

The motion planning problem consists in deriving some input steering a dynamical system to a fixed point of the state space. This problem appears to be relevant to the study of mechanical system and robotics when the system is nonholonomic.