Abstract:

This talk describes how a symbolic computer algebra tool (NCAlgebra) that handles matrix (noncommutative) products symbolically can be used to assist the numerical solution of optimization programs where the variables are matrices. Our current focus is on semidefinite programming. The idea is to keep matrix variables aggregated at all steps of a primal-dual interior-point algorithm in which symbolic expressions are automatically generated and used iteratively.