Canonical HTML: https://autolyap.github.io/theory/
Documentation version: 0.2.1

<a id="theory"></a>



# Theory

This page presents the theoretical foundations behind AutoLyap.

- [1. Notation and preliminaries](https://autolyap.github.io/theory/notation_and_preliminaries/)
- [2. Problem classes](https://autolyap.github.io/theory/problem_class/)
- [3. Algorithm representation](https://autolyap.github.io/theory/algorithm_representation/)
- [4. Interpolation conditions](https://autolyap.github.io/theory/interpolation_conditions/)
- [5. Lyapunov analyses](https://autolyap.github.io/theory/lyapunov_analyses/)
  - [5.1. Performance estimation via SDPs](https://autolyap.github.io/theory/performance_estimation_via_sdps/)
  - [5.2. Iteration-independent analyses](https://autolyap.github.io/theory/iteration_independent_analyses/)
  - [5.3. Iteration-dependent analyses](https://autolyap.github.io/theory/iteration_dependent_analyses/)