Documentation
LeanPool
.
PLAcceleratedNesterovLean
.
Convergence
.
LyapunovContraction
Search
return to top
source
Imports
Init
LeanPool.PLAcceleratedNesterovLean.Convergence.LyapunovContraction.AuxVar
LeanPool.PLAcceleratedNesterovLean.Convergence.LyapunovContraction.FlatCaseArithmetic
LeanPool.PLAcceleratedNesterovLean.Convergence.LyapunovContraction.FlatCaseHelper
LeanPool.PLAcceleratedNesterovLean.Convergence.LyapunovContraction.GenMain
LeanPool.PLAcceleratedNesterovLean.Convergence.LyapunovContraction.Main
LeanPool.PLAcceleratedNesterovLean.Convergence.LyapunovContraction.Step1
LeanPool.PLAcceleratedNesterovLean.Convergence.LyapunovContraction.Step2
LeanPool.PLAcceleratedNesterovLean.Convergence.LyapunovContraction.Step3
Imported by
Lyapunov contraction estimates
#