Theory

This page presents the theoretical foundations behind AutoLyap.

• 1. Notation and preliminaries
• 2. Problem classes
• 3. Algorithm representation
• 4. Interpolation conditions
• 5. Lyapunov analyses
  • 5.1. Performance estimation via SDPs
  • 5.2. Iteration-independent analyses
  • 5.3. Iteration-dependent analyses