Product Rules in Semidefinite Programming - Rajat Mittal