General documentation
index
foundational types
tactics
Library
AlgebraicTopology_May_1999
Chap01
Construction_1_5_3
Construction_1_5_5
Construction_1_6_3
Definition_1_1_1
Definition_1_1_2
Definition_1_1_3
Definition_1_1_4
Definition_1_2_1
Definition_1_2_2
Definition_1_2_3
Definition_1_2_4
Definition_1_3_1
Definition_1_4_1
Definition_1_4_3
Definition_1_5_2
Definition_1_5_8
Definition_1_7_1
Lemma_1_2_5
Lemma_1_2_6
Lemma_1_2_7
Lemma_1_2_8
Lemma_1_3_2
Lemma_1_3_3
Lemma_1_3_5
Lemma_1_4_2
Lemma_1_5_1
Lemma_1_5_10
Lemma_1_5_4
Lemma_1_5_6
Lemma_1_5_7
Lemma_1_5_9
Lemma_1_6_1
Lemma_1_7_2
Lemma_1_7_3
Method_1_1_6
Principle_1_1_5
Problem_1_8_1
Problem_1_8_2
Problem_1_8_3
Program_1_1_7
ProofStep_1_7_5
ProofStep_1_7_6
ProofStep_1_7_7
Proposition_1_3_4
Proposition_1_4_4
Proposition_1_6_2
Remark_1_2_10
Remark_1_3_6
Theorem_1_2_9
Theorem_1_5_11
Theorem_1_6_4
Theorem_1_7_4
Chap02
Corollary_2_4_7
Corollary_2_8_2
Definition_2_1_1
Definition_2_1_2
Definition_2_2_1
Definition_2_2_2
Definition_2_3_1
Definition_2_3_3
Definition_2_3_4
Definition_2_4_1
Definition_2_4_3
Definition_2_4_5
Definition_2_5_1
Definition_2_5_2
Definition_2_5_4
Definition_2_5_6
Definition_2_6_1
Definition_2_6_2
Definition_2_6_3
Definition_2_6_4
Definition_2_6_7
Definition_2_8_5
Example_2_1_3
Example_2_2_3
Example_2_3_2
Example_2_6_5
Example_2_6_6
Lemma_2_4_2
Lemma_2_4_4
Lemma_2_5_3
Lemma_2_5_5
Lemma_2_7_10
Lemma_2_7_11
Lemma_2_7_6
Lemma_2_8_4
Problem_2_9_1
Problem_2_9_2
Problem_2_9_3
Problem_2_9_4
ProofStep_2_7_2
ProofStep_2_7_3
ProofStep_2_7_4
ProofStep_2_7_7
ProofStep_2_7_8
ProofStep_2_7_9
Proposition_2_4_6
Proposition_2_5_7
Proposition_2_8_1
Proposition_2_8_6
Remark_2_6_8
Remark_2_8_3
Theorem_2_7_1
Theorem_2_7_5
Chap03
Assumption_3_1_4
Construction_3_6_2
Construction_3_6_3
Construction_3_6_5
Construction_3_8_3
Construction_3_8_4
Corollary_3_2_9
Corollary_3_5_10
Corollary_3_5_7
Corollary_3_7_11
Corollary_3_7_7
Corollary_3_7_8
Corollary_3_8_12
Definition_3_1_1
Definition_3_1_5
Definition_3_1_6
Definition_3_2_6
Definition_3_2_7
Definition_3_3_1
Definition_3_3_11
Definition_3_3_2
Definition_3_3_3
Definition_3_3_7
Definition_3_4_1
Definition_3_4_10
Definition_3_4_2
Definition_3_4_4
Definition_3_4_7
Definition_3_4_9
Definition_3_5_4
Definition_3_5_9
Definition_3_7_10
Definition_3_7_4
Definition_3_8_1
Definition_3_8_7
Example_3_1_7
Example_3_2_8
Example_3_3_9
Lemma_3_1_2
Lemma_3_1_3
Lemma_3_1_8
Lemma_3_3_12
Lemma_3_3_8
Lemma_3_4_11
Lemma_3_4_3
Lemma_3_4_5
Lemma_3_4_6
Lemma_3_4_8
Lemma_3_5_5
Lemma_3_6_4
Lemma_3_7_5
Lemma_3_8_11
Lemma_3_8_5
Lemma_3_8_6
Lemma_3_8_8
Problem_3_9_1
Problem_3_9_2
Problem_3_9_3
Problem_3_9_4
Problem_3_9_5
Problem_3_9_6
ProofStep_3_5_2
ProofStep_3_5_3
ProofStep_3_7_2
ProofStep_3_7_3
Proposition_3_3_10
Proposition_3_3_4
Proposition_3_3_5
Proposition_3_3_6
Proposition_3_8_9
Remark_3_3_13
Remark_3_4_12
Remark_3_6_6
Remark_3_6_7
Theorem_3_2_1
Theorem_3_2_2
Theorem_3_2_3
Theorem_3_2_4
Theorem_3_2_5
Theorem_3_5_1
Theorem_3_5_6
Theorem_3_5_8
Theorem_3_6_1
Theorem_3_7_1
Theorem_3_7_6
Theorem_3_7_9
Theorem_3_8_10
Theorem_3_8_2
Book
Analysis2_Tao_2022
Chap01 (
file
)
section01
section01_part1
section01_part2
section02
section03
section04
section04_part1
section04_part2
section05
Chap02 (
file
)
section01
section02
section03
section04
section05
Chap03 (
file
)
section01
section02
section03
section04
section05
section06
section07
section07_part1
section07_part2
section08
Chap04 (
file
)
section01
section02
section02_part1
section02_part2
section02_part3
section02_part4
section03
section04
section05
section05_part1
section05_part2
section06
section07
section07_part1
section07_part2
section07_part3
Chap05 (
file
)
section01
section02
section02_part1
section02_part2
section03
section04
section04_part1
section04_part2
section05
Chap06 (
file
)
section01
section02
section03
section03_part1
section03_part2
section03_part3
section03_part4
section04
section04_part1
section04_part2
section04_part3
section05
section06
section06_part1
section06_part2
section06_part3
section07
section08
Chap07 (
file
)
Vitali
section01
section02
section02_part1
section02_part2
section02_part3
section02_part4
section03
section03_part1
section03_part2
section04
section05
section05_part1
section05_part2
section05_part3
Chap08 (
file
)
section01
section01_part1
section01_part2
section02
section02_part1
section02_part2
section03
section04
section05
Book
CombinatorialGroupTheory_Magnus_2004
Chap01
Corollary_1_11_21
Corollary_1_1_10
Corollary_1_1_3
Corollary_1_1_8
Corollary_1_2_6
Corollary_1_4_13
Corollary_1_4_14
Corollary_1_4_15
Corollary_1_4_16
Corollary_1_6_7
Definition_1_10_4
Definition_1_10_5
Definition_1_10_7
Definition_1_11_2
Definition_1_1_1
Definition_1_1_5
Definition_1_1_6
Definition_1_2_1
Definition_1_2_28
Definition_1_2_3
Definition_1_4_17
Lemma_1_11_10
Lemma_1_11_12
Lemma_1_11_13
Lemma_1_11_14
Lemma_1_11_15
Lemma_1_11_16
Lemma_1_11_17
Lemma_1_11_18
Lemma_1_11_19
Lemma_1_11_3
Lemma_1_11_4
Lemma_1_11_7
Lemma_1_11_8
Lemma_1_11_9
Lemma_1_4_11
Lemma_1_4_8
Lemma_1_6_5
Lemma_1_7_2
Lemma_1_7_3
Proposition_1_10_1
Proposition_1_10_2
Proposition_1_10_3
Proposition_1_10_6
Proposition_1_11_11
Proposition_1_11_20
Proposition_1_11_22
Proposition_1_11_23
Proposition_1_11_24
Proposition_1_11_25
Proposition_1_11_5
Proposition_1_11_6
Proposition_1_1_11
Proposition_1_1_12
Proposition_1_1_2
Proposition_1_1_4
Proposition_1_1_7
Proposition_1_1_9
Proposition_1_2_10
Proposition_1_2_11
Proposition_1_2_12
Proposition_1_2_13
Proposition_1_2_14
Proposition_1_2_15
Proposition_1_2_16
Proposition_1_2_17
Proposition_1_2_18
Proposition_1_2_19
Proposition_1_2_2
Proposition_1_2_20
Proposition_1_2_21
Proposition_1_2_22
Proposition_1_2_23
Proposition_1_2_24
Proposition_1_2_25
Proposition_1_2_26
Proposition_1_2_27
Proposition_1_2_29
Proposition_1_2_30
Proposition_1_2_4
Proposition_1_2_5
Proposition_1_2_7
Proposition_1_2_8
Proposition_1_2_9
Proposition_1_3_1
Proposition_1_3_11
Proposition_1_3_12
Proposition_1_3_13
Proposition_1_3_14
Proposition_1_3_15
Proposition_1_3_16
Proposition_1_3_17
Proposition_1_3_18
Proposition_1_3_19
Proposition_1_3_2
Proposition_1_3_20
Proposition_1_3_21
Proposition_1_3_22
Proposition_1_3_23
Proposition_1_3_3
Proposition_1_3_4
Proposition_1_3_5
Proposition_1_3_6
Proposition_1_3_7
Proposition_1_3_8
Proposition_1_3_9
Proposition_1_4_1
Proposition_1_4_10
Proposition_1_4_12
Proposition_1_4_2
Proposition_1_4_22
Proposition_1_4_24
Proposition_1_4_25
Proposition_1_4_4
Proposition_1_4_5
Proposition_1_4_6
Proposition_1_4_7
Proposition_1_4_9
Proposition_1_5_1
Proposition_1_5_2
Proposition_1_5_5
Proposition_1_5_6
Proposition_1_5_7
Proposition_1_5_8
Proposition_1_5_9
Proposition_1_6_1
Proposition_1_6_10
Proposition_1_6_11
Proposition_1_6_12
Proposition_1_6_13
Proposition_1_6_14
Proposition_1_6_15
Proposition_1_6_2
Proposition_1_6_3
Proposition_1_6_4
Proposition_1_6_6
Proposition_1_6_8
Proposition_1_6_9
Proposition_1_7_1
Proposition_1_7_10
Proposition_1_7_11
Proposition_1_7_12
Proposition_1_7_13
Proposition_1_7_14
Proposition_1_7_4
Proposition_1_7_5
Proposition_1_7_6
Proposition_1_7_7
Proposition_1_7_8
Proposition_1_7_9
Proposition_1_8_1
Proposition_1_8_2
Proposition_1_8_3
Proposition_1_8_4
Proposition_1_8_5
Proposition_1_9_1
Proposition_1_9_2
Proposition_1_9_3
Proposition_1_9_4
Remark_1_11_1
Remark_1_3_10
Remark_1_4_3
SignedLetter
Theorem_1_5_3
Chap02
Definition_2_1_1
Definition_2_1_2
Definition_2_1_3
Definition_2_1_4
Definition_2_2_6
Definition_2_2_7
Proposition_2_2_1
Proposition_2_2_2
Proposition_2_2_3
Proposition_2_2_4
Proposition_2_3_2
Proposition_2_4_1
Proposition_2_4_2
Proposition_2_5_1
Proposition_2_5_10
Proposition_2_5_11
Proposition_2_5_12
Proposition_2_5_13
Proposition_2_5_14
Proposition_2_5_15
Proposition_2_5_16
Proposition_2_5_17
Proposition_2_5_18
Proposition_2_5_19
Proposition_2_5_2
Proposition_2_5_20
Proposition_2_5_21
Proposition_2_5_22
Proposition_2_5_23
Proposition_2_5_24
Proposition_2_5_25
Proposition_2_5_26
Proposition_2_5_27
Proposition_2_5_28
Proposition_2_5_29
Proposition_2_5_3
Proposition_2_5_30
Proposition_2_5_31
Proposition_2_5_4
Proposition_2_5_5
Proposition_2_5_6
Proposition_2_5_7
Proposition_2_5_8
Proposition_2_5_9
Theorem_2_2_5
Theorem_2_3_1
Theorem_2_6_1
Theorem_2_6_2
Chap03
Corollary_3_10_5
Corollary_3_10_6
Corollary_3_13_6
Corollary_3_7_6
Definition_3_10_1
Definition_3_10_2
Definition_3_10_3
Definition_3_2_1
Definition_3_2_2
Definition_3_2_3
Definition_3_2_4
Definition_3_2_5
Definition_3_2_6
Definition_3_2_7
Definition_3_2_8
Definition_3_5_3
Definition_3_8_1
Definition_3_8_2
Lemma_3_13_3
Lemma_3_13_4
Lemma_3_13_5
Lemma_3_3_8
Lemma_3_5_7
Proposition_3_10_4
Proposition_3_10_7
Proposition_3_10_8
Proposition_3_11_1
Proposition_3_11_2
Proposition_3_11_3
Proposition_3_11_4
Proposition_3_12_1
Proposition_3_12_3
Proposition_3_12_4
Proposition_3_12_5
Proposition_3_12_6
Proposition_3_13_1
Proposition_3_13_2
Proposition_3_13_7
Proposition_3_13_8
Proposition_3_2_10
Proposition_3_2_11
Proposition_3_2_9
Proposition_3_3_1
Proposition_3_3_2
Proposition_3_3_3
Proposition_3_3_4
Proposition_3_3_5
Proposition_3_3_6
Proposition_3_3_7
Proposition_3_4_1
Proposition_3_4_2
Proposition_3_4_3
Proposition_3_5_1
Proposition_3_5_4
Proposition_3_5_5
Proposition_3_5_6
Proposition_3_5_9
Proposition_3_6_1
Proposition_3_6_2
Proposition_3_7_1
Proposition_3_7_10
Proposition_3_7_11
Proposition_3_7_12
Proposition_3_7_13
Proposition_3_7_14
Proposition_3_7_2
Proposition_3_7_3
Proposition_3_7_4
Proposition_3_7_5
Proposition_3_7_7
Proposition_3_7_8
Proposition_3_7_9
Proposition_3_8_3
Proposition_3_9_1
Proposition_3_9_2
Proposition_3_9_3
Proposition_3_9_4
Proposition_3_9_5
Proposition_3_9_6
Proposition_3_9_7
Remark_3_12_2
Chap04
Corollary_4_1_14
Corollary_4_2_5
Corollary_4_6_7
Definition_4_1_1
Definition_4_1_2
Definition_4_1_4
Definition_4_2_1
Definition_4_2_3
Definition_4_2_9
Definition_4_3_4
Definition_4_4_1
Definition_4_4_5
Definition_4_5_4
Definition_4_6_1
Definition_4_7_5
Definition_4_7_8
Lemma_4_1_3
Lemma_4_2_2
Lemma_4_2_6
Lemma_4_4_3
Lemma_4_6_2
Lemma_4_6_3
Lemma_4_6_4
Lemma_4_6_8
Remark_4_1_11
Remark_4_1_12
Remark_4_4_12
Theorem_4_1_13
Theorem_4_1_15
Theorem_4_2_10
Theorem_4_2_11
Theorem_4_2_12
Theorem_4_2_4
Theorem_4_2_7
Theorem_4_2_8
Theorem_4_3_1
Theorem_4_3_2
Theorem_4_3_3
Theorem_4_3_5
Theorem_4_3_6
Theorem_4_3_7
Theorem_4_4_10
Theorem_4_4_11
Theorem_4_4_13
Theorem_4_4_2
Theorem_4_4_6
Theorem_4_4_7
Theorem_4_4_8
Theorem_4_4_9
Theorem_4_5_1
Theorem_4_5_2
Theorem_4_5_3
Theorem_4_5_5
Theorem_4_5_6
Theorem_4_6_5
Theorem_4_6_6
Theorem_4_6_9
Theorem_4_7_1
Theorem_4_7_2
Theorem_4_7_3
Theorem_4_7_7
Theorem_4_8_1
Theorem_4_8_2
Theorem_4_8_3
Theorem_4_8_4
Theorem_4_8_5
Chap05
Corollary_5_11_10
Corollary_5_3_4
Corollary_5_3_5
Corollary_5_7_3
Definition_5_11_1
Definition_5_11_11
Definition_5_11_2
Definition_5_11_3
Definition_5_11_8
Definition_5_1_1
Definition_5_1_2
Definition_5_1_3
Definition_5_1_4
Definition_5_1_5
Definition_5_1_8
Definition_5_2_1
Definition_5_2_2
Definition_5_2_3
Definition_5_2_4
Definition_5_2_5
Definition_5_2_7
Definition_5_2_8
Definition_5_3_1
Definition_5_4_10
Definition_5_4_2
Definition_5_4_4
Definition_5_4_6
Definition_5_6_2
Definition_5_9_7
Lemma_5_10_2
Lemma_5_11_15
Lemma_5_1_7
Lemma_5_2_6
Lemma_5_2_9
Lemma_5_3_3
Lemma_5_4_1
Lemma_5_4_3
Lemma_5_5_1
Lemma_5_5_2
Lemma_5_6_1
Lemma_5_7_1
Lemma_5_7_2
Lemma_5_7_5
Lemma_5_8_1
Lemma_5_8_3
Lemma_5_8_4
Lemma_5_9_1
Lemma_5_9_2
Theorem_5_10_1
Theorem_5_10_3
Theorem_5_10_4
Theorem_5_10_5
Theorem_5_11_16
Theorem_5_11_9
Theorem_5_1_6
Theorem_5_3_2
Theorem_5_4_5
Theorem_5_4_7
Theorem_5_4_8
Theorem_5_4_9
Theorem_5_5_3
Theorem_5_5_4
Theorem_5_5_5
Theorem_5_6_3
Theorem_5_7_4
Theorem_5_7_6
Theorem_5_8_5
Theorem_5_9_3
Basic
Book
ConvexAnalysisMonotoneOperators_BauschkeCombettes_2017
Chap01
Corollary_1_45
Definition_1_17
Definition_1_21
Definition_1_31
Definition_1_33
Definition_1_4
Definition_1_47
Definition_1_7
Definition_1_8
Example_1_48
Fact_1_1
Fact_1_11
Fact_1_15
Fact_1_18
Fact_1_19
Fact_1_38
Fact_1_39
Fact_1_9
Lemma_1_10
Lemma_1_12
Lemma_1_14
Lemma_1_16
Lemma_1_20
Lemma_1_23
Lemma_1_24
Lemma_1_26
Lemma_1_27
Lemma_1_28
Lemma_1_30
Lemma_1_32
Lemma_1_34
Lemma_1_35
Lemma_1_36
Lemma_1_40
Lemma_1_41
Lemma_1_42
Lemma_1_43
Lemma_1_44
Lemma_1_6
Remark_1_3
Text_1_0_1
Text_1_0_10
Text_1_0_11
Text_1_0_12
Text_1_0_13
Text_1_0_14
Text_1_0_15
Text_1_0_16
Text_1_0_17
Text_1_0_18
Text_1_0_19
Text_1_0_2
Text_1_0_20
Text_1_0_21
Text_1_0_22
Text_1_0_23
Text_1_0_24
Text_1_0_25
Text_1_0_26
Text_1_0_27
Text_1_0_28
Text_1_0_29
Text_1_0_3
Text_1_0_30
Text_1_0_31
Text_1_0_32
Text_1_0_33
Text_1_0_34
Text_1_0_35
Text_1_0_36
Text_1_0_37
Text_1_0_38
Text_1_0_39
Text_1_0_4
Text_1_0_40
Text_1_0_41
Text_1_0_42
Text_1_0_43
Text_1_0_44
Text_1_0_45
Text_1_0_46
Text_1_0_47
Text_1_0_48
Text_1_0_49
Text_1_0_5
Text_1_0_50
Text_1_0_51
Text_1_0_53_1_33
Text_1_0_54
Text_1_0_55
Text_1_0_56_1_36
Text_1_0_57
Text_1_0_58
Text_1_0_59
Text_1_0_6
Text_1_0_60
Text_1_0_61
Text_1_0_62
Text_1_0_63
Text_1_0_64
Text_1_0_65
Text_1_0_66
Text_1_0_67
Text_1_0_68
Text_1_0_69
Text_1_0_7
Text_1_0_8
Text_1_0_9
Theorem_1_29
Theorem_1_46
Theorem_1_49
Theorem_1_50
Theorem_1_51
Chap02
Corollary_2_15
Corollary_2_16
Corollary_2_52
Crollary_2_38
Definition_2_23
Definition_2_29
Definition_2_54
Definition_2_56
Example_2_1
Example_2_10
Example_2_19
Example_2_2
Example_2_27
Example_2_3
Example_2_32_1
Example_2_32_2
Example_2_4
Example_2_5
Example_2_57
Example_2_59
Example_2_6
Example_2_60
Example_2_65
Example_2_67
Example_2_7
Example_2_8
Example_2_9
Fact_2_11
Fact_2_18
Fact_2_20
Fact_2_21
Fact_2_24
Fact_2_25
Fact_2_26
Fact_2_28
Fact_2_33
Fact_2_34
Fact_2_35
Fact_2_37
Fact_2_62
Fact_2_63
Fact_2_66
Lemma_2_12
Lemma_2_13
Lemma_2_14
Lemma_2_17
Lemma_2_22
Lemma_2_30
Lemma_2_36
Lemma_2_39
Lemma_2_41
Lemma_2_42
Lemma_2_43
Lemma_2_44
Lemma_2_45
Lemma_2_46
Lemma_2_47
Lemma_2_51
Lemma_2_53
Lemma_2_61
Lemma_2_64
Proposition_2_48
Proposition_2_49
Proposition_2_50
Proposition_2_58
Remark_2_31
Remark_2_55
Text_2_0_1
Text_2_0_10
Text_2_0_11
Text_2_0_12
Text_2_0_13
Text_2_0_14
Text_2_0_2
Text_2_0_3
Text_2_0_4
Text_2_0_5
Text_2_0_6
Text_2_0_7
Text_2_0_8
Text_2_0_9
_Probe260
Chap03
Corollary_3_15
Corollary_3_22
Corollary_3_24
Corollary_3_32
Corollary_3_35
Corollary_3_36
Corollary_3_38
Corollary_3_51
Corollary_3_52
Definition_3_1
Definition_3_26
Definition_3_27_1
Definition_3_28
Definition_3_3
Definition_3_49
Definition_3_8
Example_3_10
Example_3_13
Example_3_23
Example_3_29
Example_3_33
Example_3_40
Example_3_41
Example_3_47
Example_3_9
Proposition_3_12
Proposition_3_14
Proposition_3_15_1
Proposition_3_15_2
Proposition_3_19
Proposition_3_20
Proposition_3_21
Proposition_3_25
Proposition_3_27
Proposition_3_30
Proposition_3_31
Proposition_3_39
Proposition_3_4
Proposition_3_42
Proposition_3_44
Proposition_3_45
Proposition_3_46
Proposition_3_48
Proposition_3_5
Proposition_3_54
Proposition_3_6
Proposition_3_7
Remark_3_11_1
Remark_3_11_2
Theorem_3_16_1
Theorem_3_16_2
Theorem_3_34
Theorem_3_37
Theorem_3_50
Theorem_3_53
Chap04
Corollary_4_13
Corollary_4_18
Corollary_4_24
Corollary_4_25
Corollary_4_28
Corollary_4_32
Corollary_4_41
Corollary_4_48
Corollary_4_5
Corollary_4_50
Corollary_4_51
Definition_4_1
Definition_4_10
Definition_4_26
Definition_4_33
Example_4_14
Example_4_17
Example_4_20
FirmlyNonexpansiveOn
Proposition_4_11
Proposition_4_12
Proposition_4_16
Proposition_4_19
Proposition_4_2
Proposition_4_21
Proposition_4_22
Proposition_4_23
Proposition_4_3
Proposition_4_30
Proposition_4_31
Proposition_4_35
Proposition_4_38
Proposition_4_39
Proposition_4_4
Proposition_4_40
Proposition_4_42
Proposition_4_44
Proposition_4_46
Proposition_4_47
Proposition_4_49
Proposition_4_6
Proposition_4_8
Proposition_4_9
Remark_4_15_1
Remark_4_15_2
Remark_4_34
Remark_4_36
Remark_4_37
Text_4_21_1
Theorem_4_27
Theorem_4_29
Chap05
Corollary_5_17
Corollary_5_19
Corollary_5_24
Corollary_5_26
Corollary_5_30
Corollary_5_37
Corollary_5_8
Definition_5_1
Definition_5_32
Example_5_18
Example_5_21
Example_5_22_1
Example_5_29
Example_5_2_1
Example_5_2_2
Example_5_38
Example_5_3_1
Example_5_3_2
Example_5_6
Lemma_5_31
Proposition_5_10
Proposition_5_13
Proposition_5_16
Proposition_5_28
Proposition_5_34
Proposition_5_4
Proposition_5_7
Proposition_5_9
Theorem_5_11
Theorem_5_12
Theorem_5_14
Theorem_5_15
Theorem_5_23
Theorem_5_33
Theorem_5_36
Theorem_5_5
Chap06
Corollary_6_15
Corollary_6_31
Corollary_6_34
Corollary_6_50
Corollary_6_52
Corollary_6_53
Definition_6_1
Definition_6_22
Definition_6_38
Definition_6_48
Definition_6_5
Definition_6_9
Example_6_10
Example_6_18
Example_6_25
Example_6_26
Example_6_29
Example_6_39
Example_6_40
Example_6_41
Example_6_42
Example_6_43
Example_6_6
Example_6_7
Fact_6_13
Fact_6_14
Proposition_6_12
Proposition_6_16
Proposition_6_17
Proposition_6_19
Proposition_6_2
Proposition_6_20
Proposition_6_21
Proposition_6_23
Proposition_6_24
Proposition_6_27
Proposition_6_28
Proposition_6_3
Proposition_6_32
Proposition_6_33
Proposition_6_35
Proposition_6_4
Proposition_6_44
Proposition_6_45
Proposition_6_46
Proposition_6_47
Proposition_6_49
Proposition_6_51
Proposition_6_8
Theorem_6_30
Theorem_6_36
Theorem_6_37
Chap07
Corollary_7_12
Corollary_7_19
Corollary_7_6
Definition_7_1
Definition_7_14
Definition_7_8
Example_7_15
Exercise_7_1
Exercise_7_10
Exercise_7_2
Exercise_7_4
Exercise_7_5
Exercise_7_7
Exercise_7_8
Exercise_7_9
Proposition_7_11
Proposition_7_13
Proposition_7_16
Proposition_7_2
Proposition_7_3
Proposition_7_5
Remark_7_17_1
Remark_7_17_2
Theorem_7_18
Theorem_7_4
Chap08
Corollary_8_39
Corollary_8_40
Corollary_8_41
Corollary_8_47
Corollary_8_5
Corrollary_8_12
Definition_8_1
Definition_8_7
Example_8_10
Example_8_15
Example_8_19
Example_8_22
Example_8_23
Example_8_26
Example_8_27
Example_8_28
Example_8_29
Example_8_3
Example_8_30
Example_8_31
Example_8_32
Example_8_33
Example_8_34
Example_8_36
Example_8_42
Example_8_43
Example_8_44
Example_8_9
Proposition_8_11
Proposition_8_13
Proposition_8_14
Proposition_8_16
Proposition_8_17
Proposition_8_18
Proposition_8_2
Proposition_8_20
Proposition_8_21
Proposition_8_24
Proposition_8_25
Proposition_8_35
Proposition_8_37
Proposition_8_4
Proposition_8_45
Proposition_8_46
Proposition_8_6
Remark_8_8
Text_8_0_1
Text_8_0_2
Text_8_0_3
Theorem_8_38
Chap09
Corollary_9_10
Corollary_9_11
Corollary_9_15
Corollary_9_21
Corollary_9_4
Corollary_9_44
Definition_9_12
Definition_9_2
Definition_9_28
Definition_9_7
Example_9_13
Example_9_22
Example_9_25
Example_9_26
Example_9_31
Example_9_32
Example_9_35
Example_9_36
Example_9_39
Example_9_41
Example_9_43
Example_9_45
Example_9_46
Example_9_48
Fact_9_17
Proposition_9_14
Proposition_9_16
Proposition_9_18
Proposition_9_19
Proposition_9_24
Proposition_9_27
Proposition_9_29
Proposition_9_3
Proposition_9_30
Proposition_9_33
Proposition_9_34
Proposition_9_38
Proposition_9_40
Proposition_9_42
Proposition_9_5
Proposition_9_6
Proposition_9_8
Remark_9_37
Remark_9_47
Theorem_9_1
Theorem_9_20
Theorem_9_23
Theorem_9_9
Chap10
Corollary_10_13
Corollary_10_18
Definition_10_1
Definition_10_11
Definition_10_20
Definition_10_27
Definition_10_7
Example_10_10
Example_10_16
Example_10_19
Example_10_21
Example_10_22
Example_10_23
Example_10_29
Example_10_30
Example_10_31
Example_10_32
Example_10_4
Example_10_5
Example_10_6
Example_10_9
Proposition_10_12
Proposition_10_14
Proposition_10_15
Proposition_10_17
Proposition_10_2
Proposition_10_24
Proposition_10_25
Proposition_10_26
Proposition_10_3
Proposition_10_8
Chap11
Corollary_11_16
Corollary_11_17
Corollary_11_19
Corollary_11_30
Corollary_11_9
Definition_11_11
Definition_11_3
Example_11_23
Example_11_24
Example_11_25
Example_11_26
Example_11_27
Example_11_28
Proposition_11_1
Proposition_11_12
Proposition_11_13
Proposition_11_14
Proposition_11_15
Proposition_11_18
Proposition_11_20
Proposition_11_21
Proposition_11_29
Proposition_11_31
Proposition_11_4
Proposition_11_5
Proposition_11_6
Proposition_11_7
Proposition_11_8
Remark_11_22
Theorem_11_10
Chap12
Corollary_12_12
Corollary_12_18
Corollary_12_19
Corollary_12_31
Definition_12_1
Definition_12_16
Definition_12_20
Definition_12_20_Core
Definition_12_23
Definition_12_34
Definition_12_5
Example_12_13
Example_12_2
Example_12_21
Example_12_25
Example_12_3
Example_12_35
Example_12_4
Example_12_7
Proposition_12_11
Proposition_12_14
Proposition_12_15
Proposition_12_17
Proposition_12_22
Proposition_12_26
Proposition_12_27
Proposition_12_28
Proposition_12_29
Proposition_12_30
Proposition_12_32
Proposition_12_33
Proposition_12_36
Proposition_12_37
Proposition_12_6
Proposition_12_8
Proposition_12_9
ProximityOperator
Remark_12_10
Remark_12_24
ScaledProximityOperator
Chap13
Corollary_13_25
Corollary_13_38
Corollary_13_39
Corollary_13_40
Corollary_13_42
Definition_13_1
Definition_13_34
Example_13_14
Example_13_17
Example_13_18
Example_13_2
Example_13_26
Example_13_27
Example_13_3
Example_13_31
Example_13_32
Example_13_4
Example_13_41
Example_13_43
Example_13_5
Example_13_51
Example_13_6
Example_13_7
Example_13_8
Example_13_9
Proposition_13_10
Proposition_13_11
Proposition_13_12
Proposition_13_13
Proposition_13_15
Proposition_13_16
Proposition_13_19
Proposition_13_21
Proposition_13_22
Proposition_13_23
Proposition_13_24
Proposition_13_28
Proposition_13_29
Proposition_13_30
Proposition_13_33
Proposition_13_35
Proposition_13_36
Proposition_13_44
Proposition_13_45
Proposition_13_46
Proposition_13_47
Proposition_13_48
Proposition_13_49
Proposition_13_50
Remark_13_20
Text_13_18_1
Theorem_13_37
Chap14
Corollary_14_13
Corollary_14_18
Corollary_14_20
Corollary_14_8
Definition_14_6
Example_14_5
Proposition_14_1
Proposition_14_10
Proposition_14_12
Proposition_14_14
Proposition_14_15
Proposition_14_16
Proposition_14_19
Proposition_14_2
Proposition_14_7
Proposition_14_9
Remark_14_4
Theorem_14_17
Theorem_14_3
Chap15
Corollary_15_14
Corollary_15_15
Corollary_15_16
Corollary_15_17
Corollary_15_28
Corollary_15_30
Corollary_15_31
Corollary_15_32
Corollary_15_33
Corollary_15_34
Corollary_15_35
Corollary_15_36
Corollary_15_8
Definition_15_10
Definition_15_19
Definition_15_24_1
Example_15_29
Fact_15_25
Proposition_15_1
Proposition_15_12
Proposition_15_13
Proposition_15_18
Proposition_15_2
Proposition_15_21
Proposition_15_22
Proposition_15_24
Proposition_15_26
Proposition_15_5
Proposition_15_7
Proposition_15_9
Remark_15_4
Remark_15_6
Theorem_15_23
Theorem_15_27
Theorem_15_3
Chap16
Corollary_16_11
Corollary_16_18
Corollary_16_19
Corollary_16_21
Corollary_16_30
Corollary_16_39
Corollary_16_40
Corollary_16_41
Corollary_16_48
Corollary_16_49
Corollary_16_50
Corollary_16_52
Corollary_16_53
Corollary_16_57
Corollary_16_72
Definition_16_1
Definition_16_67
Example_16_12
Example_16_13
Example_16_14
Example_16_15
Example_16_22
Example_16_26
Example_16_31
Example_16_32
Example_16_34
Example_16_43
Example_16_51
Example_16_54
Example_16_55
Example_16_62
Example_16_64
Example_16_68
Example_16_73
Proposition_16_10
Proposition_16_16
Proposition_16_17
Proposition_16_20
Proposition_16_25
Proposition_16_27
Proposition_16_33
Proposition_16_35
Proposition_16_36
Proposition_16_37
Proposition_16_38
Proposition_16_4
Proposition_16_42
Proposition_16_44
Proposition_16_45
Proposition_16_5
Proposition_16_59
Proposition_16_6
Proposition_16_60
Proposition_16_61
Proposition_16_63
Proposition_16_65
Proposition_16_66
Proposition_16_69
Proposition_16_7
Proposition_16_70
Proposition_16_9
Remark_16_2
Remark_16_28
Remark_16_46
Remark_16_8
Theorem_16_29
Theorem_16_3
Theorem_16_47
Theorem_16_56
Theorem_16_58
Theorem_16_71
Chap17
Corollary_17_12
Corollary_17_15
Corollary_17_19
Corollary_17_28
Corollary_17_30
Corollary_17_40
Corollary_17_42
Corollary_17_43
Corollary_17_44
Definition_17_1
Definition_17_20
Example_17_11
Example_17_13
Example_17_23
Example_17_33
Example_17_37
Example_17_38
Example_17_46
Example_17_47
Example_17_49
Example_17_8
Proposition_17_10
Proposition_17_14
Proposition_17_16
Proposition_17_17
Proposition_17_2
Proposition_17_21
Proposition_17_22
Proposition_17_24
Proposition_17_25
Proposition_17_26
Proposition_17_27
Proposition_17_29
Proposition_17_3
Proposition_17_31
Proposition_17_32
Proposition_17_34
Proposition_17_35
Proposition_17_36
Proposition_17_39
Proposition_17_4
Proposition_17_41
Proposition_17_45
Proposition_17_48
Proposition_17_5
Proposition_17_50
Proposition_17_51
Proposition_17_6
Proposition_17_7
Proposition_17_9
Theorem_17_18
Chap18
Corollary_18_11
Corollary_18_12
Corollary_18_14
Corollary_18_17
Corollary_18_18
Corollary_18_19
Corollary_18_20
Corollary_18_8
Proposition_18_1
Proposition_18_10
Proposition_18_2
Proposition_18_22
Proposition_18_23
Proposition_18_6
Proposition_18_7
Proposition_18_9
Remark_18_16
Remark_18_21
Theorem_18_13
Theorem_18_15
Theorem_18_3
Theorem_18_5
Chap19
Corollary_19_18
Corollary_19_19
Corollary_19_2
Corollary_19_23
Corollary_19_30
Corollary_19_7
Definition_19_11
Definition_19_16
Definition_19_24
Example_19_10
Example_19_27
Example_19_28
Example_19_3
Proposition_19_12
Proposition_19_13
Proposition_19_14
Proposition_19_15
Proposition_19_17
Proposition_19_20
Proposition_19_21
Proposition_19_25
Proposition_19_4
Proposition_19_5
Remark_19_22
Remark_19_26
Remark_19_29
Remark_19_31
Theorem_19_1
Chap20
Corollary_20_28
Corollary_20_47
Corollary_20_50
Corollary_20_59
Definition_20_1
Definition_20_20
Definition_20_42
Definition_20_51
Example_20_12
Example_20_13
Example_20_15
Example_20_16
Example_20_19
Example_20_26
Example_20_29
Example_20_3
Example_20_30
Example_20_31
Example_20_32
Example_20_33
Example_20_34
Example_20_35
Example_20_39
Example_20_4
Example_20_41
Example_20_43
Example_20_5
Example_20_52
Example_20_53
Example_20_54
Example_20_55
Example_20_6
Example_20_7
Example_20_8
Example_20_9
Fact_20_18
Lemma_20_45
Proposition_20_10
Proposition_20_11
Proposition_20_14
Proposition_20_17
Proposition_20_2
Proposition_20_22
Proposition_20_23
Proposition_20_24
Proposition_20_27
Proposition_20_36
Proposition_20_37
Proposition_20_38
Proposition_20_40
Proposition_20_44
Proposition_20_49
Proposition_20_56
Proposition_20_57
Proposition_20_58
Proposition_20_60
Proposition_20_61
Remark_20_62
Theorem_20_21
Theorem_20_25
Theorem_20_46
Theorem_20_48
Theorem_20_63
Book
FirstOrderMethodsOptimization_Beck_2017
Chap01
Definition_1_1
Definition_1_10
Definition_1_11
Definition_1_12
Definition_1_13
Definition_1_14
Definition_1_15
Definition_1_16
Definition_1_17
Definition_1_18
Definition_1_19
Definition_1_2
Definition_1_20
Definition_1_21
Definition_1_22
Definition_1_23
Definition_1_24
Definition_1_25
Definition_1_26
Definition_1_27
Definition_1_28
Definition_1_29
Definition_1_3
Definition_1_30
Definition_1_31
Definition_1_32
Definition_1_33
Definition_1_34
Definition_1_35
Definition_1_36
Definition_1_37
Definition_1_38
Definition_1_39
Definition_1_4
Definition_1_40
Definition_1_41
Definition_1_42
Definition_1_43
Definition_1_44
Definition_1_45
Definition_1_5
Definition_1_6
Definition_1_7
Definition_1_8
Definition_1_9
Lemma_1_1
LinearMapFiniteDimensionalNorm
Proposition_1_1
Proposition_1_10
Proposition_1_11
Proposition_1_12
Proposition_1_13
Proposition_1_14
Proposition_1_15
Proposition_1_16
Proposition_1_2
Proposition_1_3
Proposition_1_4
Proposition_1_5
Proposition_1_6
Proposition_1_7
Proposition_1_8
Proposition_1_9
Chap02
Corollary_2_1
Definition_2_1
Definition_2_10
Definition_2_11
Definition_2_12
Definition_2_2
Definition_2_3
Definition_2_4
Definition_2_5
Definition_2_6
Definition_2_7
Definition_2_8
Definition_2_9
Example2_1
Example2_2
Example_2_10
Example_2_3
Example_2_4
Example_2_5
Example_2_6
Example_2_7
Example_2_8
Example_2_9
FunctionToEReal
Lemma_2_1
Lemma_2_2
Lemma_2_3
Lemma_2_4
Lemma_2_5
Lemma_2_6
Lemma_2_7
Proposition_2_13
Proposition_2_2
Proposition_2_3
Proposition_2_4
Proposition_2_5
Theorem_2_1
Theorem_2_10
Theorem_2_11
Theorem_2_2
Theorem_2_3
Theorem_2_4
Theorem_2_5
Theorem_2_6
Theorem_2_7
Theorem_2_8
Theorem_2_9
proposition_2_1
Chap03
Corollary_3_29
Corollary_3_32
Corollary_3_33
Definition_3_1
Definition_3_10
Definition_3_11
Definition_3_13
Definition_3_14
Definition_3_15
Definition_3_17
Definition_3_18
Definition_3_19
Definition_3_2
Definition_3_20
Definition_3_3
Definition_3_4
Definition_3_5
Definition_3_6
Definition_3_7
Definition_3_8
Definition_3_9
Lemma_3_1
Lemma_3_2
Lemma_3_2_1
Lemma_3_3
Lemma_3_4
Lemma_3_5
Lemma_3_5_feasible_set
Proposition_3_1
Proposition_3_10
Proposition_3_11
Proposition_3_12
Proposition_3_13
Proposition_3_14
Proposition_3_15
Proposition_3_16
Proposition_3_17
Proposition_3_18
Proposition_3_19
Proposition_3_2
Proposition_3_20
Proposition_3_21
Proposition_3_22
Proposition_3_23
Proposition_3_24
Proposition_3_25
Proposition_3_26
Proposition_3_27
Proposition_3_28
Proposition_3_3
Proposition_3_30
Proposition_3_31
Proposition_3_32
Proposition_3_33
Proposition_3_34
Proposition_3_35
Proposition_3_4
Proposition_3_5
Proposition_3_6
Proposition_3_6_1
Proposition_3_7
Proposition_3_7_1
Proposition_3_8
Proposition_3_9
Theorem_3_1
Theorem_3_10
Theorem_3_11
Theorem_3_12
Theorem_3_13
Theorem_3_14
Theorem_3_15
Theorem_3_16
Theorem_3_17
Theorem_3_18
Theorem_3_19
Theorem_3_2
Theorem_3_20
Theorem_3_21
Theorem_3_22
Theorem_3_23
Theorem_3_24
Theorem_3_26
Theorem_3_27
Theorem_3_3
Theorem_3_30
Theorem_3_31
Theorem_3_35
Theorem_3_36
Theorem_3_37
Theorem_3_4
Theorem_3_5
Theorem_3_5_1
Theorem_3_6
Theorem_3_7
Theorem_3_8
Theorem_3_9
Chap04
Definition_4_1
Definition_4_2
Definition_4_4
Definition_4_8
Lemma_4_1
Proposition_4_1
Proposition_4_10
Proposition_4_11
Proposition_4_12
Proposition_4_13
Proposition_4_14
Proposition_4_15
Proposition_4_16
Proposition_4_17
Proposition_4_18
Proposition_4_19
Proposition_4_2
Proposition_4_20
Proposition_4_21
Proposition_4_22
Proposition_4_23
Proposition_4_3
Proposition_4_4
Proposition_4_5
Proposition_4_7
Proposition_4_8
Proposition_4_9
Theorem_4_1
Theorem_4_10
Theorem_4_11
Theorem_4_12
Theorem_4_13
Theorem_4_15
Theorem_4_2
Theorem_4_3
Theorem_4_4
Theorem_4_5
Theorem_4_6
Theorem_4_7
Theorem_4_8
Theorem_4_9
Chap05
ConjugateFunctionStrongDual
Corollary_5_13
Definition_5_1
Definition_5_16
Definition_5_2
Lemma_5_20
Lemma_5_22
Lemma_5_23
Lemma_5_7
Proposition_5_1
Proposition_5_10
Proposition_5_11
Proposition_5_13
Proposition_5_14
Proposition_5_15
Proposition_5_16
Proposition_5_17
Proposition_5_2
Proposition_5_3
Proposition_5_4
Proposition_5_5
Proposition_5_7
Proposition_5_8
Proposition_5_9
Remark_5_18
Remark_5_9
Theorem_5_10
Theorem_5_12
Theorem_5_17
Theorem_5_24
Theorem_5_25
Theorem_5_26
Theorem_5_30
Theorem_5_4
Theorem_5_8
Chap06
Lemma_6_26 (
file
)
Halfspace
Corollary_6_29
Corollary_6_40
Corollary_6_56
Corollary_6_64
Definition_6_1
Definition_6_10
Definition_6_11
Definition_6_12
Definition_6_2
Definition_6_3
Definition_6_4
Definition_6_5
Definition_6_6
Definition_6_7
Definition_6_8
Definition_6_9
EuclideanL1Norm
Example_6_10
Example_6_14
Example_6_16
Example_6_17
Example_6_19
Example_6_2
Example_6_20
Example_6_21
Example_6_22
Example_6_23
Example_6_32
Example_6_33
Example_6_34
Example_6_35
Example_6_37
Example_6_38
Example_6_47
Example_6_49
Example_6_50
Example_6_51
Example_6_53
Example_6_54
Example_6_59
Example_6_61
Example_6_62
Example_6_65
Example_6_66
Example_6_72
Example_6_8
Example_6_9
Lemma_6_43
Lemma_6_5
Lemma_6_57
Lemma_6_68
Lemma_6_69
Lemma_6_70
Lemma_6_71
Proposition_6_2_1
Proposition_6_2_2
Proposition_6_2_3
Proposition_6_48
Remark_6_7
Text_6_2
Text_6_3
Theorem_6_11
Theorem_6_12
Theorem_6_13
Theorem_6_15
Theorem_6_18
Theorem_6_24
Theorem_6_25
Theorem_6_27
Theorem_6_3
Theorem_6_30
Theorem_6_36
Theorem_6_39
Theorem_6_4
Theorem_6_41
Theorem_6_42
Theorem_6_44
Theorem_6_45
Theorem_6_46
Theorem_6_55
Theorem_6_58
Theorem_6_6
Theorem_6_60
Theorem_6_63
Theorem_6_67
text_6_1
Chap07
Definition_7_1
Definition_7_10
Definition_7_11
Definition_7_12
Definition_7_13
Definition_7_14
Definition_7_15
Definition_7_16
Definition_7_17
Definition_7_18
Definition_7_19
Definition_7_2
Definition_7_20
Definition_7_21
Definition_7_22
Definition_7_23
Definition_7_3
Definition_7_4
Definition_7_5
Definition_7_6
Definition_7_7
Definition_7_8
Definition_7_9
Proposition_7_1
Proposition_7_4
Proposition_7_5
Theorem_7_1
Theorem_7_2
Theorem_7_3
Theorem_7_4
Theorem_7_5
Theorem_7_6
Theorem_7_7
Theorem_7_8
Theorem_7_9
Chap08
Algorithm_8_1
Algorithm_8_10
Algorithm_8_11
Algorithm_8_12
Algorithm_8_13
Algorithm_8_14
Algorithm_8_15
Algorithm_8_16
Algorithm_8_2
Algorithm_8_3
Algorithm_8_6
Algorithm_8_7
Algorithm_8_8
Algorithm_8_9
Assumption_8_12
Assumption_8_34
Assumption_8_38
Assumption_8_41
Assumption_8_7
Corollary_8_22
Corollary_8_43
Corollary_8_49
Definition_8_1
Definition_8_10
Definition_8_12
Definition_8_13
Definition_8_15
Definition_8_16
Definition_8_17
Definition_8_19
Definition_8_2
Definition_8_20
Definition_8_21
Definition_8_22
Definition_8_23
Definition_8_24
Definition_8_25
Definition_8_3
Definition_8_4
Definition_8_5
Definition_8_7
Definition_8_8
DualConstraintVector
Example_8_19
Example_8_36
HalfSquaredDiameterBound
Lemma_8_11
Lemma_8_2
Lemma_8_20
Lemma_8_24
Lemma_8_26
Lemma_8_27
Lemma_8_39
Lemma_8_4
Lemma_8_44
Lemma_8_45
Lemma_8_47
Lemma_8_5
Lemma_8_6
Proposition_8_1
Proposition_8_11
Proposition_8_12
Proposition_8_7
Proposition_8_8
Proposition_8_9
Remark_8_29
Remark_8_32
Remark_8_8
Theorem_8_1
Theorem_8_13
Theorem_8_16
Theorem_8_17
Theorem_8_17_1
Theorem_8_18
Theorem_8_20
Theorem_8_21
Theorem_8_25
Theorem_8_28
Theorem_8_30
Theorem_8_31
Theorem_8_33
Theorem_8_35
Theorem_8_37
Theorem_8_40
Theorem_8_42
Theorem_8_46
Theorem_8_48
Chap09
Theorem_9_12 (
file
)
Linearized
Objective
Definition_9_1
Definition_9_2
Definition_9_3
Definition_9_4
Definition_9_5
Definition_9_6
Lemma_9_13
Lemma_9_14
Lemma_9_15
Lemma_9_25
Lemma_9_3
Lemma_9_4
Lemma_9_7
MirrorDescentStepsize
Text_9_1
Text_9_10
Text_9_11
Text_9_2
Text_9_3
Text_9_4
Text_9_5
Text_9_6
Text_9_7
Text_9_8
Text_9_9
Theorem_9_16
Theorem_9_18
Theorem_9_24
Theorem_9_26
Theorem_9_27
Theorem_9_8
Chap10
Theorem_10_41 (
file
)
FistaRateSupport
Theorem_10_72 (
file
)
Index
StepsizeRules
Algorithm_10_1
Algorithm_10_11
Algorithm_10_13
Algorithm_10_14
Algorithm_10_2
Algorithm_10_3
Algorithm_10_59
Algorithm_10_6
Algorithm_10_60
Algorithm_10_61
Algorithm_10_62
Algorithm_10_63
Algorithm_10_64
Algorithm_10_65
Algorithm_10_66
Algorithm_10_67
Algorithm_10_68
Algorithm_10_69
Assumption_10_1
Assumption_10_31
Corollary_10_18
Corollary_10_47
Corollary_10_52
Corollary_10_52_1
Corollary_10_6
Corollary_10_8
Definition_10_1
Definition_10_11
Definition_10_12
Definition_10_2
Definition_10_21
Definition_10_29
Definition_10_3
Definition_10_43
Definition_10_4_1
Definition_10_4_2
Definition_10_4_3
Definition_10_4_4
Definition_10_5
Definition_10_53
Definition_10_54
Definition_10_55
Definition_10_57
Definition_10_59
Definition_10_60
Definition_10_61
Definition_10_62
Definition_10_63
Definition_10_64
Definition_10_65
Definition_10_66
Definition_10_67
Definition_10_68
Definition_10_69
Definition_10_8
Definition_10_9
Example_10_44
Example_10_45
Example_10_48
Example_10_49
Example_10_50
Example_10_53
Example_10_54
Example_10_55
GradientCocoercivity
Lemma_10_10
Lemma_10_11
Lemma_10_12
Lemma_10_14
Lemma_10_33
Lemma_10_4
Lemma_10_61
Lemma_10_65
Lemma_10_66
Lemma_10_69
Lemma_10_70
Proposition_10_56
Proposition_10_58
Proposition_10_59
Proposition_10_60
Proposition_10_61
Proposition_10_62
ProxGradientLinearizationDefect
Remark_10_13
Remark_10_17
Remark_10_19
Remark_10_20
Remark_10_32
Remark_10_35
Text_10_7_1
Theorem_10_15
Theorem_10_16
Theorem_10_21
Theorem_10_23
Theorem_10_24
Theorem_10_25
Theorem_10_26
Theorem_10_27
Theorem_10_28
Theorem_10_29
Theorem_10_30
Theorem_10_34
Theorem_10_34_pass2_complete
Theorem_10_40
Theorem_10_42
Theorem_10_46
Theorem_10_51
Theorem_10_51_1
Theorem_10_57
Theorem_10_67
Theorem_10_7
Theorem_10_71
Theorem_10_9
Chap11
Algorithm_11_1
Algorithm_11_2
Algorithm_11_3
Algorithm_11_4
Algorithm_11_5
Definition_11_1
Definition_11_13
Definition_11_14
Definition_11_2
Definition_11_3
Definition_11_4
Definition_11_5
Definition_11_6
Definition_11_7
Lemma_11_1
Lemma_11_2
Lemma_11_3
Lemma_11_4
Lemma_11_5
Lemma_11_6
Lemma_11_7
Proposition_11_1
Theorem_11_1
Theorem_11_10
Theorem_11_11
Theorem_11_12
Theorem_11_13
Theorem_11_2
Theorem_11_5
Theorem_11_6
Theorem_11_7
Theorem_11_8
Chap12
Algorithm_12_12 (
file
)
Spaces
Algorithm_12_13 (
file
)
Comparison
Algorithm_12_7 (
file
)
ProjectionStep
Algorithm_12_9 (
file
)
Halfspace
Proposition_12_8 (
file
)
Duplication
Algorithm_12_1
Algorithm_12_10
Algorithm_12_11
Algorithm_12_14
Algorithm_12_15
Algorithm_12_16
Algorithm_12_2
Algorithm_12_3
Algorithm_12_4
Algorithm_12_5
Algorithm_12_6
Algorithm_12_8
Definition_12_0_6
Definition_12_1
Definition_12_10
Definition_12_11
Definition_12_12
Definition_12_13
Definition_12_14
Definition_12_15
Definition_12_16
Definition_12_17
Definition_12_18
Definition_12_19
Definition_12_1_1
Definition_12_2
Definition_12_20
Definition_12_21
Definition_12_22
Definition_12_23
Definition_12_24
Definition_12_3
Definition_12_4
Definition_12_5
Definition_12_8
Definition_12_9
DualBlockMinimizationView
Lemma_12_0_1
Lemma_12_15
Lemma_12_3
Lemma_12_5
Lemma_12_7
Proposition_12_0_2
Proposition_12_1
Proposition_12_10
Proposition_12_11
Proposition_12_12
Proposition_12_13
Proposition_12_4
Proposition_12_5
Proposition_12_6
Proposition_12_7
Proposition_12_9
Theorem_12_0_3
Theorem_12_0_4
Theorem_12_10
Theorem_12_14
Theorem_12_17
Theorem_12_19
Theorem_12_2
Theorem_12_4
Theorem_12_8
Theorem_12_9
Chap13
Lemma_13_19 (
file
)
ClusterConvergence
CurvatureLowerBound
ExactTrajectory
Index
InteriorWeightedSum
PartialSumsDivergence
SimplexWeights
TrajectoryCore
TrajectoryWeights
Algorithm_13_1
Algorithm_13_2
Algorithm_13_5
Algorithm_13_6
Algorithm_13_7
Assumption_13_1
Assumption_13_17
Assumption_13_18
Assumption_13_25
Assumption_13_28
Definition_13_1
Definition_13_10
Definition_13_15
Definition_13_16
Definition_13_17
Definition_13_2
Definition_13_22
Definition_13_4
Definition_13_5
Definition_13_6
Definition_13_9
Example_13_10
Example_13_11
Lemma_13_12
Lemma_13_13
Lemma_13_15
Lemma_13_16
Lemma_13_26
Lemma_13_5
Lemma_13_7
Lemma_13_8
Text_13_1
Text_13_2
Text_13_3
Theorem_13_14
Theorem_13_20
Theorem_13_23
Theorem_13_27
Theorem_13_29
Theorem_13_6
Theorem_13_9
Chap14
Algorithm_14_8 (
file
)
PairBridge
Lemma_14_4 (
file
)
InactiveBlockSupport
Theorem_14_3_Helpers (
file
)
PrefixState
Recovery
Algorithm_14_1
Algorithm_14_2
Algorithm_14_3
AlternatingMinimizationCompositeModel
CompositeObjectiveDomain
Definition_14_1
Definition_14_2
Definition_14_3
Definition_14_4
Definition_14_5
Lemma_14_1
Lemma_14_2
Lemma_14_3
Proposition_14_1
Proposition_14_2
Proposition_14_3
Theorem_14_3
Theorem_14_4
Theorem_14_5
Theorem_14_6
Theorem_14_7
Theorem_14_8
Chap15
Algorithm_15_1
Algorithm_15_10
Algorithm_15_11
Algorithm_15_12
Algorithm_15_13
Algorithm_15_14
Algorithm_15_15
Algorithm_15_16
Algorithm_15_2
Algorithm_15_3
Algorithm_15_4
Algorithm_15_5
Algorithm_15_6
Algorithm_15_7
Algorithm_15_8
Algorithm_15_9
Definition_15_1
Definition_15_2
Definition_15_3
Definition_15_4
Definition_15_6
Definition_15_7
Definition_15_8
Definition_15_9
Proposition_15_1
Proposition_15_2
Proposition_15_3
Theorem_15_1
Theorem_15_2
Book
Init (
file
)
IntroductiontoRealAnalysisVolumeI_JiriLebl_2025
Chap00 (
file
)
section03
section03_part1
section03_part2
section03_part3
section03_part4
section03_part5
Chap01 (
file
)
section01
section02
section03
section04
section05
Chap02 (
file
)
section01
section02
section03
section04
section05
section06
Chap03 (
file
)
section01
section02
section03
section04
section05
section06
Chap04 (
file
)
section01
section02
section03
section04
Chap05 (
file
)
section01
section02
section02_part1
section02_part2
section02_part3
section02_part4
section02_part5
section02_part6
section03
section04
section05
Chap06 (
file
)
section01
section02
section03
Chap07 (
file
)
section01
section02
section03
section04
section05
section06
Book
VersoHome
IntroductoryLecturesOnConvexOptimization_Nesterov_2004
Chap01
Algorithm_1_10_11
Algorithm_1_10_20
Algorithm_1_2_10
Algorithm_1_3_5
Algorithm_1_6_1
Algorithm_1_7_1
Algorithm_1_7_2
Algorithm_1_8_10
Algorithm_1_9_9
Corollary_1_3_8
Corollary_1_9_6
Corollary_1_9_7
Definition_1_10_13
Definition_1_10_14
Definition_1_10_15
Definition_1_10_18
Definition_1_10_2
Definition_1_10_21
Definition_1_10_3
Definition_1_10_9
Definition_1_1_1
Definition_1_1_2
Definition_1_1_3
Definition_1_1_4_1
Definition_1_1_4_2
Definition_1_1_4_3
Definition_1_1_4_4
Definition_1_1_4_5
Definition_1_1_4_6
Definition_1_1_4_7
Definition_1_1_4_8
Definition_1_2_1
Definition_1_2_11
Definition_1_2_12
Definition_1_2_13
Definition_1_2_2
Definition_1_2_3
Definition_1_2_4
Definition_1_2_5
Definition_1_2_6
Definition_1_2_7
Definition_1_2_8
Definition_1_2_9
Definition_1_3_1
Definition_1_3_12
Definition_1_3_2
Definition_1_3_3
Definition_1_3_4
Definition_1_3_7
Definition_1_4_1
Definition_1_4_11
Definition_1_4_15
Definition_1_4_16
Definition_1_4_17
Definition_1_4_18
Definition_1_4_3
Definition_1_4_4
Definition_1_4_6
Definition_1_4_7
Definition_1_4_8
Definition_1_4_9
Definition_1_5_1
Definition_1_5_2
Definition_1_5_3
Definition_1_6_2
Definition_1_6_3
Definition_1_6_4
Definition_1_6_5
Definition_1_6_9
Definition_1_8_11
Definition_1_8_12
Definition_1_8_13
Definition_1_8_14
Definition_1_8_15
Definition_1_8_3
Definition_1_8_4
Definition_1_9_1
Definition_1_9_10
Definition_1_9_2
Definition_1_9_3
Example_1_10_10
Example_1_10_6
Example_1_1_5
Example_1_1_7
Example_1_3_11
Example_1_6_11
Example_1_7_3
Example_1_8_7
FirstOrderTaylorModel
Lemma_1_4_10
Lemma_1_5_10
Lemma_1_5_11
Lemma_1_5_4
Lemma_1_6_6
Lemma_1_8_5
Lemma_1_8_8
Lemma_1_8_9
Lemma_1_9_4
Lemma_1_9_5
Lemma_1_9_8
Proposition_1_10_12
Proposition_1_10_16
Proposition_1_10_17
Proposition_1_10_5
Proposition_1_10_7
Proposition_1_10_8
Proposition_1_3_10
Proposition_1_3_13
Proposition_1_4_12
Proposition_1_4_2
Proposition_1_4_5
Proposition_1_5_5
Proposition_1_5_6
Proposition_1_5_7
Proposition_1_5_8
Proposition_1_6_10
Proposition_1_6_12
Proposition_1_6_13
Proposition_1_6_7
Proposition_1_7_4
Proposition_1_7_5
Proposition_1_7_6
Proposition_1_8_1
Proposition_1_8_2
Proposition_1_9_11
Theorem_1_10_1
Theorem_1_10_22
Theorem_1_10_23
Theorem_1_10_4
Theorem_1_3_6
Theorem_1_3_9
Theorem_1_4_13
Theorem_1_4_14
Theorem_1_4_19
Theorem_1_4_20
Theorem_1_4_21
Theorem_1_5_12
Theorem_1_6_14
Theorem_1_6_15
Theorem_1_6_8
Theorem_1_7_7
Theorem_1_9_12
Chap02
Algorithm_2_1
Algorithm_2_2
Algorithm_2_3
Algorithm_2_4
Algorithm_2_5
Algorithm_2_6
Algorithm_2_7
Definition_2_1
Definition_2_10
Definition_2_11
Definition_2_13
Definition_2_14
Definition_2_15
Definition_2_16
Definition_2_17
Definition_2_19
Definition_2_2
Definition_2_20
Definition_2_21
Definition_2_22
Definition_2_23
Definition_2_24
Definition_2_25
Definition_2_26
Definition_2_27
Definition_2_28
Definition_2_29
Definition_2_3
Definition_2_30
Definition_2_31
Definition_2_32
Definition_2_33
Definition_2_34
Definition_2_35
Definition_2_35_1
Definition_2_37
Definition_2_38
Definition_2_39
Definition_2_4
Definition_2_40
Definition_2_41
Definition_2_43
Definition_2_44
Definition_2_45
Definition_2_46
Definition_2_5
Definition_2_50
Definition_2_6
Definition_2_7
Definition_2_8
Definition_2_9
Example_2_1_1_1
Example_2_1_1_2
Example_2_1_1_3
Example_2_1_1_4
Exmaple_2_18_1
Exmaple_2_18_2
Lemma_2_1
Lemma_2_10
Lemma_2_11
Lemma_2_12
Lemma_2_13
Lemma_2_14
Lemma_2_16
Lemma_2_17
Lemma_2_18
Lemma_2_19
Lemma_2_2
Lemma_2_20
Lemma_2_21
Lemma_2_22
Lemma_2_23
Lemma_2_27
Lemma_2_28
Lemma_2_3
Lemma_2_4
Lemma_2_6
Lemma_2_7
Lemma_2_8
Lemma_2_9
Proposition_2_1
Proposition_2_10
Proposition_2_11
Proposition_2_12
Proposition_2_13
Proposition_2_14
Proposition_2_15
Proposition_2_16
Proposition_2_17
Proposition_2_18
Proposition_2_19
Proposition_2_2
Proposition_2_20
Proposition_2_21
Proposition_2_22
Proposition_2_23
Proposition_2_25
Proposition_2_26
Proposition_2_27
Proposition_2_28
Proposition_2_29
Proposition_2_3
Proposition_2_30
Proposition_2_32
Proposition_2_33
Proposition_2_35
Proposition_2_4
Proposition_2_5
Proposition_2_6
Proposition_2_8
Proposition_2_9
ReciprocalEpigraphOnPositiveRay
Remark_2_20_1
Remark_2_22_1
Remark_2_35_1
Remark_2_35_2
Remark_2_38_1
Text_2_1
Text_2_11
Text_2_16
Text_2_2
Text_2_3
Theorem_2_1
Theorem_2_10
Theorem_2_11
Theorem_2_12
Theorem_2_13
Theorem_2_15
Theorem_2_17
Theorem_2_18
Theorem_2_19
Theorem_2_2
Theorem_2_20
Theorem_2_21
Theorem_2_22
Theorem_2_23
Theorem_2_24
Theorem_2_25
Theorem_2_26
Theorem_2_27
Theorem_2_28
Theorem_2_29
Theorem_2_3
Theorem_2_30
Theorem_2_32
Theorem_2_33
Theorem_2_34
Theorem_2_35
Theorem_2_36
Theorem_2_38
Theorem_2_4
Theorem_2_40
Theorem_2_41
Theorem_2_43
Theorem_2_46
Theorem_2_5
Theorem_2_6
Theorem_2_7
Theorem_2_8
Theorem_2_9
Chap03
Algorithm_3_10
Algorithm_3_11
Algorithm_3_5
Algorithm_3_6
Algorithm_3_7
Algorithm_3_8
Algorithm_3_9
Corollary_3_1_1
Corollary_3_1_1_1
Corollary_3_1_1_2
Corollary_3_1_2
Corollary_3_1_4
Corollary_3_1_4_1
Corollary_3_1_5
Corollary_3_1_5_1
Corollary_3_1_6
Corollary_3_1_7
Corollary_3_1_8
Corollary_3_2_1
Corollary_3_2_3
Corollary_3_2_4
Definition_3_1
Definition_3_10
Definition_3_11
Definition_3_12
Definition_3_13
Definition_3_14
Definition_3_15
Definition_3_16
Definition_3_17
Definition_3_18
Definition_3_19
Definition_3_1_1_1
Definition_3_1_1_2
Definition_3_1_1_3
Definition_3_1_1_5
Definition_3_1_1_6
Definition_3_1_1_7
Definition_3_1_2_1
Definition_3_1_2_2
Definition_3_1_2_3
Definition_3_1_3
Definition_3_1_3_1
Definition_3_1_4
Definition_3_1_4_1
Definition_3_1_5
Definition_3_1_5_1
Definition_3_1_5_2
Definition_3_1_5_3
Definition_3_1_5_4
Definition_3_1_5_5
Definition_3_1_6
Definition_3_1_7
Definition_3_2
Definition_3_20
Definition_3_21
Definition_3_22
Definition_3_23
Definition_3_24
Definition_3_25
Definition_3_26
Definition_3_27
Definition_3_28
Definition_3_29
Definition_3_2_1
Definition_3_2_2
Definition_3_3
Definition_3_30
Definition_3_31
Definition_3_32
Definition_3_33
Definition_3_34
Definition_3_36
Definition_3_37
Definition_3_38
Definition_3_39
Definition_3_41
Definition_3_43
Definition_3_44
Definition_3_47
Definition_3_49
Definition_3_5
Definition_3_50
Definition_3_51
Definition_3_52
Definition_3_53
Definition_3_54
Definition_3_55
Definition_3_56
Definition_3_57
Definition_3_58
Definition_3_59
Definition_3_6
Definition_3_60
Definition_3_61
Definition_3_62
Definition_3_63
Definition_3_64
Definition_3_65
Definition_3_66
Definition_3_67
Definition_3_68
Definition_3_69
Definition_3_7
Definition_3_70
Definition_3_71
Definition_3_73
Definition_3_74
Definition_3_75
Definition_3_76
Definition_3_77
Definition_3_78
Definition_3_79
Definition_3_8
Definition_3_9
Lemma_3_1
Lemma_3_10
Lemma_3_11
Lemma_3_12
Lemma_3_14
Lemma_3_15
Lemma_3_18
Lemma_3_19
Lemma_3_1_1
Lemma_3_1_10
Lemma_3_1_12
Lemma_3_1_15
Lemma_3_1_18
Lemma_3_1_1_1
Lemma_3_1_1_2
Lemma_3_1_2
Lemma_3_1_20
Lemma_3_1_21
Lemma_3_1_22
Lemma_3_1_23
Lemma_3_1_24
Lemma_3_1_2_1
Lemma_3_1_2_2
Lemma_3_1_3
Lemma_3_1_4
Lemma_3_1_5_1
Lemma_3_1_7
Lemma_3_1_8
Lemma_3_1_9
Lemma_3_2
Lemma_3_20
Lemma_3_21
Lemma_3_22
Lemma_3_23
Lemma_3_24
Lemma_3_25
Lemma_3_26
Lemma_3_27
Lemma_3_29
Lemma_3_2_1
Lemma_3_2_2
Lemma_3_2_3
Lemma_3_2_5
Lemma_3_2_7
Lemma_3_3
Lemma_3_30
Lemma_3_32
Lemma_3_33
Lemma_3_34
Lemma_3_35
Lemma_3_36
Lemma_3_37
Lemma_3_38
Lemma_3_39
Lemma_3_3_1
Lemma_3_3_2
Lemma_3_3_3
Lemma_3_3_4
Lemma_3_3_5
Lemma_3_3_6
Lemma_3_3_7
Lemma_3_3_8
Lemma_3_3_9
Lemma_3_4
Lemma_3_6
Lemma_3_7
Lemma_3_8
Lemma_3_9
LinearEqualityFeasibleSet
PointwiseSupremumOn
Proposition_3_1
Proposition_3_10
Proposition_3_11
Proposition_3_16
Proposition_3_19
Proposition_3_1_1_1
Proposition_3_1_1_2
Proposition_3_1_1_3
Proposition_3_1_1_4
Proposition_3_1_1_5
Proposition_3_1_1_6
Proposition_3_1_1_7
Proposition_3_1_2_2
Proposition_3_1_2_3
Proposition_3_2
Proposition_3_20
Proposition_3_21
Proposition_3_22
Proposition_3_23
Proposition_3_24
Proposition_3_26
Proposition_3_27
Proposition_3_29
Proposition_3_3
Proposition_3_33
Proposition_3_34
Proposition_3_35
Proposition_3_36
Proposition_3_38
Proposition_3_39
Proposition_3_4
Proposition_3_40
Proposition_3_41
Proposition_3_43
Proposition_3_44
Proposition_3_45
Proposition_3_46
Proposition_3_47
Proposition_3_48
Proposition_3_49
Proposition_3_5
Proposition_3_50
Proposition_3_51
Proposition_3_52
Proposition_3_53
Proposition_3_54
Proposition_3_55
Proposition_3_56
Proposition_3_57
Proposition_3_6
Proposition_3_7
Proposition_3_8
Remark_3_1_2_1
Remark_3_1_2_2
Remark_3_1_2_3
Theorem_3_10
Theorem_3_11
Theorem_3_13
Theorem_3_14
Theorem_3_15
Theorem_3_16
Theorem_3_17
Theorem_3_18
Theorem_3_19
Theorem_3_1_1
Theorem_3_1_10
Theorem_3_1_11
Theorem_3_1_12
Theorem_3_1_13
Theorem_3_1_14
Theorem_3_1_15
Theorem_3_1_16
Theorem_3_1_17
Theorem_3_1_18
Theorem_3_1_19
Theorem_3_1_1_1
Theorem_3_1_1_2
Theorem_3_1_1_3
Theorem_3_1_1_4
Theorem_3_1_2
Theorem_3_1_20
Theorem_3_1_21
Theorem_3_1_22
Theorem_3_1_23
Theorem_3_1_24
Theorem_3_1_26
Theorem_3_1_29
Theorem_3_1_2_2
Theorem_3_1_2_3
Theorem_3_1_2_4
Theorem_3_1_2_5
Theorem_3_1_2_6
Theorem_3_1_3
Theorem_3_1_3_1
Theorem_3_1_3_2
Theorem_3_1_4
Theorem_3_1_4_1
Theorem_3_1_4_2
Theorem_3_1_5
Theorem_3_1_5_1
Theorem_3_1_5_2
Theorem_3_1_5_3
Theorem_3_1_5_4
Theorem_3_1_5_5
Theorem_3_1_5_6
Theorem_3_1_5_7
Theorem_3_1_5_8
Theorem_3_1_6
Theorem_3_1_7
Theorem_3_1_8
Theorem_3_1_9
Theorem_3_2
Theorem_3_20
Theorem_3_21
Theorem_3_22
Theorem_3_23
Theorem_3_24
Theorem_3_25
Theorem_3_27
Theorem_3_28
Theorem_3_29
Theorem_3_2_11
Theorem_3_2_2
Theorem_3_2_6
Theorem_3_2_9
Theorem_3_3
Theorem_3_30
Theorem_3_32
Theorem_3_33
Theorem_3_36
Theorem_3_37
Theorem_3_3_1
Theorem_3_3_2
Theorem_3_3_3
Theorem_3_4
Theorem_3_44
Theorem_3_45
Theorem_3_46
Theorem_3_5
Theorem_3_51
Theorem_3_52
Theorem_3_54
Theorem_3_55
Theorem_3_56
Theorem_3_57
Theorem_3_7
Theorem_3_9
Chap04
Algorithm_4_1_1
Algorithm_4_1_2
Algorithm_4_1_3
Algorithm_4_1_5
Algorithm_4_2_2
Algorithm_4_2_3
Algorithm_4_2_4
Algorithm_4_2_5
Algorithm_4_3_1
Assumption_4_3_1
Assumption_4_4_1
Assumption_4_4_2
Assumption_4_4_3
Corollary_4_4_1
Definition_4_1_1
Definition_4_1_10
Definition_4_1_11
Definition_4_1_16
Definition_4_1_17
Definition_4_1_2
Definition_4_1_3
Definition_4_1_4
Definition_4_1_5
Definition_4_1_6
Definition_4_1_7
Definition_4_1_8
Definition_4_1_9
Definition_4_2_1
Definition_4_2_10
Definition_4_2_11
Definition_4_2_12
Definition_4_2_13
Definition_4_2_14
Definition_4_2_15
Definition_4_2_16
Definition_4_2_17
Definition_4_2_18
Definition_4_2_2
Definition_4_2_3
Definition_4_2_4
Definition_4_2_5
Definition_4_2_6
Definition_4_2_7
Definition_4_2_8
Definition_4_2_9
Definition_4_3_2
Definition_4_3_4
Definition_4_3_5
Definition_4_3_6
Definition_4_4_10
Definition_4_4_11
Definition_4_4_12
Definition_4_4_13
Definition_4_4_14
Definition_4_4_17
Definition_4_4_18
Definition_4_4_2
Definition_4_4_3
Definition_4_4_4
Definition_4_4_5
Definition_4_4_6
Definition_4_4_7
Definition_4_4_8
Lemma_4_1_1
Lemma_4_1_2
Lemma_4_1_3
Lemma_4_1_4
Lemma_4_1_5
Lemma_4_1_6
Lemma_4_1_7
Lemma_4_1_8
Lemma_4_1_9
Lemma_4_2_2
Lemma_4_2_3
Lemma_4_2_4
Lemma_4_2_5
Lemma_4_2_6
Lemma_4_4_1
Lemma_4_4_2
Lemma_4_4_4
Lemma_4_4_5
Lemma_4_4_6
Lemma_4_4_8
ModifiedGaussNewtonSecantBounds
ModifiedGaussNewtonValueFunction
Proposition_4_1_1
Proposition_4_1_16
Proposition_4_1_18
Proposition_4_1_2
Proposition_4_1_3
Proposition_4_1_4
Proposition_4_1_5
Proposition_4_1_6
Proposition_4_3_1
Proposition_4_3_2
Proposition_4_3_3
Proposition_4_4_1
Proposition_4_4_2
Proposition_4_4_3
Proposition_4_4_5
Proposition_4_4_6
Text_4_2_1
Text_4_2_10
Text_4_2_11
Text_4_2_12
Text_4_2_13
Text_4_2_14
Text_4_2_15
Text_4_2_16
Text_4_2_17
Text_4_2_18
Text_4_2_19
Text_4_2_2
Text_4_2_20
Text_4_2_21
Text_4_2_22
Text_4_2_24
Text_4_2_3
Text_4_2_4
Text_4_2_5
Text_4_2_6
Text_4_2_8
Text_4_2_9
Theorem_4_1_1
Theorem_4_1_2
Theorem_4_1_3_1
Theorem_4_1_3_2
Theorem_4_1_3_3
Theorem_4_1_4
Theorem_4_1_5_1
Theorem_4_1_5_2
Theorem_4_1_6
Theorem_4_1_7
Theorem_4_1_8
Theorem_4_1_9
Theorem_4_2_1
Theorem_4_2_2
Theorem_4_2_3
Chap05
Algorithm_5_0_26
Algorithm_5_0_4
Corollary_5_1_1
Corollary_5_1_2
Corollary_5_1_3
Corollary_5_3_2
Corollary_5_3_3
Definition_5_0_1
Definition_5_0_10
Definition_5_0_11
Definition_5_0_12
Definition_5_0_13
Definition_5_0_14
Definition_5_0_16
Definition_5_0_18
Definition_5_0_20
Definition_5_0_21
Definition_5_0_23
Definition_5_0_24
Definition_5_0_27
Definition_5_0_3
Definition_5_0_6
Definition_5_0_7
Definition_5_0_8
Definition_5_0_9
Definition_5_1_1
Definition_5_2_1
Definition_5_2_10
Definition_5_2_11
Definition_5_2_2
Definition_5_2_3
Definition_5_2_4
Definition_5_2_7
Definition_5_2_8
Definition_5_2_9
Definition_5_3_0_1
Definition_5_3_0_2
Definition_5_3_1
Definition_5_3_1_1
Definition_5_3_2
Definition_5_3_3
Definition_5_3_4_1
Definition_5_3_5_1
Definition_5_3_5_2
Definition_5_3_5_3
Definition_5_3_6_1
Definition_5_4_2_1
Definition_5_4_2_2
Definition_5_4_3_1
Definition_5_4_3_2
Definition_5_4_3_3
Definition_5_4_3_4
Definition_5_4_4_1
Definition_5_4_4_3
Definition_5_4_6_1
Definition_5_4_6_2
Definition_5_4_6_3
Definition_5_4_6_4
Definition_5_4_6_5
Definition_5_4_6_6
Definition_5_4_6_7
Definition_5_4_6_8
Definition_5_4_6_9
Definition_5_4_7_1
Definition_5_4_7_11
Definition_5_4_7_13
Definition_5_4_7_14
Definition_5_4_7_15
Definition_5_4_7_16
Definition_5_4_7_17
Definition_5_4_7_18
Definition_5_4_7_19
Definition_5_4_7_2
Definition_5_4_7_20
Definition_5_4_7_22
Definition_5_4_7_4
Definition_5_4_7_5
Definition_5_4_7_6
Definition_5_4_7_8
Definition_5_4_7_9
Definition_5_4_8_1
Definition_5_4_8_11
Definition_5_4_8_12
Definition_5_4_8_13
Definition_5_4_8_15
Definition_5_4_8_17
Definition_5_4_8_18
Definition_5_4_8_19
Definition_5_4_8_2
Definition_5_4_8_20
Definition_5_4_8_21
Definition_5_4_8_3
Definition_5_4_8_4
Definition_5_4_8_5
Definition_5_4_8_9
Definition_5_4_9_1
Definition_5_4_9_2
Definition_5_4_9_4
Definition_5_4_9_5
Definition_5_4_9_7
Definition_5_4_9_8
Definition_5_4_9_9
Example_5_1_1
Example_5_1_2
Example_5_1_3
Example_5_1_6
Example_5_3_1_2
Example_5_3_1_3
FenchelPrimalExtension
Lemma_5_1_1
Lemma_5_1_2
Lemma_5_1_3
Lemma_5_1_4
Lemma_5_1_5
Lemma_5_1_7
Lemma_5_2_1
Lemma_5_3_1
Lemma_5_3_2
Lemma_5_4_3_3
Lemma_5_4_5_1
Proposition_5_0_15
Proposition_5_0_19
Proposition_5_0_21
Proposition_5_0_22
Proposition_5_0_28
Proposition_5_0_29
Proposition_5_0_30
Proposition_5_2_1
Proposition_5_2_3
Proposition_5_2_4
Proposition_5_3_1
Proposition_5_3_2
Proposition_5_3_3
Proposition_5_3_4
Proposition_5_3_6_1
RealProdL2
Theorem_5_0_25
Theorem_5_0_5
Theorem_5_1_1
Theorem_5_1_10
Theorem_5_1_11
Theorem_5_1_13
Theorem_5_1_14
Theorem_5_1_2
Theorem_5_1_4
Theorem_5_1_5
Theorem_5_1_7
Theorem_5_2_5
Theorem_5_3_1
Theorem_5_3_2
Theorem_5_3_3
Theorem_5_3_4
Theorem_5_3_7
Theorem_5_3_8
Theorem_5_3_9
Theorem_5_4_2_1
Theorem_5_4_4_1
Theorem_5_4_6_1
Theorem_5_4_6_13
Theorem_5_4_6_3
Theorem_5_4_6_4
Theorem_5_4_6_5
Theorem_5_4_6_6
Theorem_5_4_6_7
Theorem_5_4_6_8
Theorem_5_4_7_1
Theorem_5_4_7_10
Theorem_5_4_7_11
Theorem_5_4_7_12
Theorem_5_4_7_15
Theorem_5_4_7_2
Theorem_5_4_7_5
Theorem_5_4_7_7
Theorem_5_4_7_8
Theorem_5_4_7_9
Theorem_5_4_8_1
Theorem_5_4_8_8
Theorem_5_4_8_9
Theorem_5_4_9_1
Chap06
Algorithm_6_1
Algorithm_6_2
Algorithm_6_4
Algorithm_6_5
Algorithm_6_6
Assumption_6_2_1
Corollary_6_2_1
Corollary_6_4_1
Definition_6_1
Definition_6_10
Definition_6_11
Definition_6_12
Definition_6_13
Definition_6_14
Definition_6_15
Definition_6_16
Definition_6_17
Definition_6_18
Definition_6_19
Definition_6_2
Definition_6_20
Definition_6_21
Definition_6_22
Definition_6_23
Definition_6_24
Definition_6_25
Definition_6_26
Definition_6_27
Definition_6_28
Definition_6_29
Definition_6_3
Definition_6_30
Definition_6_31
Definition_6_32
Definition_6_33
Definition_6_34
Definition_6_35
Definition_6_36
Definition_6_38
Definition_6_39
Definition_6_4
Definition_6_40
Definition_6_47
Definition_6_48
Definition_6_5
Definition_6_50
Definition_6_51
Definition_6_52
Definition_6_53
Definition_6_54
Definition_6_55
Definition_6_56
Definition_6_59
Definition_6_6
Definition_6_60
Definition_6_63
Definition_6_64
Definition_6_65
Definition_6_66
Definition_6_7
Definition_6_8
Definition_6_9
Example_6_1_1
Example_6_1_2
Example_6_1_3
Example_6_4_1
Lemma_6_1
Lemma_6_11
Lemma_6_12
Lemma_6_15
Lemma_6_16
Lemma_6_2
Lemma_6_2_1
Lemma_6_2_2
Lemma_6_2_3
Lemma_6_2_4
Lemma_6_2_5
Lemma_6_2_6
Lemma_6_2_7
Lemma_6_2_8
Lemma_6_3
Lemma_6_4
Lemma_6_6
Lemma_6_7
Lemma_6_9
Proposition_6_1
Proposition_6_10
Proposition_6_11
Proposition_6_12
Proposition_6_13
Proposition_6_14
Proposition_6_15
Proposition_6_16
Proposition_6_17
Proposition_6_18
Proposition_6_19
Proposition_6_2
Proposition_6_20
Proposition_6_21
Proposition_6_22
Proposition_6_23
Proposition_6_24
Proposition_6_25
Proposition_6_26
Proposition_6_27
Proposition_6_28
Proposition_6_3
Proposition_6_30
Proposition_6_31
Proposition_6_32
Proposition_6_37
Proposition_6_4
Proposition_6_41
Proposition_6_42
Proposition_6_43
Proposition_6_45
Proposition_6_46
Proposition_6_48
Proposition_6_49
Proposition_6_5
Proposition_6_6
Proposition_6_7
Proposition_6_8
Proposition_6_9
Remark_6_1_1
Remark_6_1_2
Text_6_1_1_Complexity_Insight
Text_6_1_1_Conjugate_Closedness_and_Domain_Nonemptiness
Text_6_1_1_Smoothing_Approximation_Error
Text_6_1_1_Structure_Helps_Beyond_Black_Box
Text_6_1_2_Adjoint_Problem_Tractability_Caveat
Text_6_1_2_Nonunique_Structured_Representation
Text_6_1_4_1_Oracle_Complexity_Preserved_Under_Entropic_Smoothing
Text_6_1_4_2_Average_Individual_Expense_Bound
Text_6_1_4_2_Population_Interpretation
Text_6_1_5_1_Per_Iteration_Complexity_Decomposition
Text_6_1_5_2_Stable_Log_Sum_Exp_Shift_Trick
Text_6_2_1_Fixed_Horizon_Drawback_and_Excessive_Gap_Motivation
Text_6_2_1_Implementability_Assumptions_for_Primal_Dual_Structure
Text_6_4_1_Total_Variation_as_a_First_Order_Optimality_Measure
Text_6_4_2_Why_Smoothness_Is_Needed
Text_6_4_5_Strong_Convexity_Accelerates_Conditional_Gradients
Theorem_6_1
Theorem_6_11
Theorem_6_13
Theorem_6_15
Theorem_6_2
Theorem_6_2_1
Theorem_6_2_4
Theorem_6_3
Theorem_6_4
Theorem_6_8
Chap07
Algorithm_7_10
Algorithm_7_11
Algorithm_7_13
Algorithm_7_14
Algorithm_7_16
Algorithm_7_17
Algorithm_7_2
Algorithm_7_3
Algorithm_7_4
Algorithm_7_5
Algorithm_7_6
Algorithm_7_7
Algorithm_7_8
Algorithm_7_9
Definition_7_1
Definition_7_10
Definition_7_11
Definition_7_12
Definition_7_13
Definition_7_14
Definition_7_15
Definition_7_17
Definition_7_18
Definition_7_19
Definition_7_2
Definition_7_21
Definition_7_23
Definition_7_24
Definition_7_25
Definition_7_26
Definition_7_27
Definition_7_28
Definition_7_29
Definition_7_3
Definition_7_30
Definition_7_31
Definition_7_32
Definition_7_33
Definition_7_35
Definition_7_36
Definition_7_39
Definition_7_4
Definition_7_40
Definition_7_42
Definition_7_43
Definition_7_44
Definition_7_46
Definition_7_47
Definition_7_48
Definition_7_49
Definition_7_5
Definition_7_51
Definition_7_52
Definition_7_53
Definition_7_54
Definition_7_55
Definition_7_56
Definition_7_58
Definition_7_59
Definition_7_6
Definition_7_60
Definition_7_61
Definition_7_62
Definition_7_63
Definition_7_64
Definition_7_65
Definition_7_66
Definition_7_68
Definition_7_69
Definition_7_7
Definition_7_70
Definition_7_71
Definition_7_73
Definition_7_74
Definition_7_75
Definition_7_76
Definition_7_77
Definition_7_78
Definition_7_79
Definition_7_8
Definition_7_80
Definition_7_81
Definition_7_82
Definition_7_83
Definition_7_85
Definition_7_86
Definition_7_87
Definition_7_88
Definition_7_89
Definition_7_9
Definition_7_90
Definition_7_91
Definition_7_92
Definition_7_93
Definition_7_94
Lemma_7_1
Lemma_7_11
Lemma_7_14
Lemma_7_16
Lemma_7_17
Lemma_7_19
Lemma_7_2
Lemma_7_20
Lemma_7_21
Lemma_7_22
Lemma_7_23
Lemma_7_4
Lemma_7_5
Lemma_7_6
Lemma_7_8
Lemma_7_9
Proposition_7_1
Proposition_7_10
Proposition_7_12
Proposition_7_16
Proposition_7_19
Proposition_7_2
Proposition_7_22
Proposition_7_23
Proposition_7_24
Proposition_7_26
Proposition_7_30
Proposition_7_31
Proposition_7_35
Proposition_7_36
Proposition_7_37
Proposition_7_38
Proposition_7_39
Proposition_7_4
Proposition_7_40
Proposition_7_41
Proposition_7_42
Proposition_7_5
Proposition_7_6
Proposition_7_8
Proposition_New_2
Theorem_7_1
Theorem_7_11
Theorem_7_12
Theorem_7_16
Theorem_7_17
Theorem_7_18
Theorem_7_2
Theorem_7_20
Theorem_7_21
Theorem_7_3
Theorem_7_4
Theorem_7_5
Theorem_7_6
Book
Compat
Mathlib (
file
)
Algebra
BigOperators
Group
Finset
Basic
Ring
Finset
Field
Fin
Intervals
Field
Defs
Group
Action
Pointwise
Set
Basic
Pi
Units
Conj
ULift
Module
LinearMap
Defs
Submodule
Basic
Basic
Order
BigOperators
Ring
Finset
Field
Basic
Group
Abs
PosPart
Ring
Unbundled
Basic
Defs
Pi
Analysis
Analytic
Polynomial
Asymptotics
Defs
Lemmas
CStarAlgebra
ContinuousFunctionalCalculus
Order
Matrix
Calculus
ContDiff
Basic
FTaylorSeries
Operations
RCLike
Deriv
Add
AffineMap
Basic
Comp
Inv
MeanValue
Pow
Shift
Slope
FDeriv
Basic
Equiv
Linear
Symmetric
WithLp
Gradient
Basic
IteratedDeriv
Defs
FaaDiBruno
Lemmas
LineDeriv
Basic
LocalExtr
Basic
TangentCone
Real
Seq
DSlope
DerivativeTest
ImplicitContDiff
MeanValue
Rademacher
Taylor
Complex
Polynomial
Basic
UpperHalfPlane
MoebiusAction
Circle
ExponentialBounds
Convex
Cone
Basic
Dual
Extension
InnerDual
SpecificFunctions
Deriv
Pow
Basic
Combination
Continuous
Deriv
Extrema
Function
Hull
Intrinsic
Jensen
Mul
Segment
StdSimplex
Strong
Topology
Fourier
AddCircle
InnerProductSpace
Projection
Basic
Minimal
Submodule
Adjoint
Basic
Calculus
Continuous
Defs
Dual
GramMatrix
Laplacian
NormPow
Orthogonal
PiL2
Positive
ProdL2
Rayleigh
SingularValues
Subspace
LocallyConvex
Separation
WeakDual
Matrix
Hermitian
Normed
Order
PosDef
Spectrum
Meromorphic
Order
Normed
Affine
AddTorsor
AddTorsorBases
Algebra
GelfandFormula
Field
Lemmas
Group
Basic
Bounded
Continuity
Submodule
Lp
Matrix
PiLp
WithLp
Module
Basic
Convex
DoubleDual
Dual
FiniteDimension
Normalize
TransferInstance
WeakDual
Operator
Basic
NNNorm
NormedSpace
Real
Pi
Bounds
SpecialFunctions
Elliptic
Weierstrass
Integrals
Basic
Log
Base
Basic
Deriv
NegMulLog
Summable
Pow
Asymptotics
Continuity
Real
Trigonometric
Basic
Exp
Sqrt
SpecificLimits
Basic
Normed
MeanInequalities
Seminorm
SumIntegralComparisons
CategoryTheory
Action
Basic
Comma
Over
Basic
Groupoid
VertexGroup
ObjectProperty
FullSubcategory
ConnectedComponents
Endomorphism
Data
Complex
Basic
ENat
Lattice
EReal
Basic
Inv
Operations
Fin
Tuple
Basic
Basic
SuccPred
VecNotation
Finset
Card
Image
Max
Fintype
Basic
Card
Order
List
FinRange
MinMax
OfFn
TFAE
Matrix
Basic
Block
ColumnRowPartitioned
Mul
NNReal
Defs
Nat
Factorial
Basic
Fib
Basic
Count
Lattice
Nth
PNat
Basic
Notation
Real
Basic
ConjExponents
Sign
Sqrt
Set
Basic
Dynamics
FixedPoints
Basic
Geometry
Convex
Cone
Basic
Dual
Pointed
Euclidean
Angle
Unoriented
Basic
Manifold
Instances
Quotient
Complex
GroupTheory
Coprod
Basic
FreeGroup
Basic
GeneratorEquiv
NielsenSchreier
Perm
Sign
QuotientGroup
Basic
CoprodI
Finiteness
OrderOfElement
PresentedGroup
PushoutI
ResiduallyFinite
SemidirectProduct
InformationTheory
Hamming
LinearAlgebra
AffineSpace
AffineSubspace
Basic
AffineMap
BilinearForm
Orthogonal
Properties
Dual
Basis
Defs
FiniteDimensional
Basic
Finsupp
LinearCombination
LinearIndependent
Defs
Matrix
Charpoly
Eigs
GeneralLinearGroup
Defs
BilinearForm
Block
DotProduct
Dual
Gershgorin
NonsingularInverse
Notation
PosDef
Rank
Reindex
SchurComplement
SpecialLinearGroup
Symmetric
ToLin
ToLinearEquiv
Trace
QuadraticForm
Basic
SesquilinearForm
Star
Pi
UnitaryGroup
Logic
Equiv
Fin
Basic
MeasureTheory
Function
ConditionalExpectation
PullOut
AbsolutelyContinuous
L2Space
Integral
IntervalIntegral
AbsolutelyContinuousFun
Basic
DistLEIntegral
Measure
Lebesgue
Basic
EqHaar
Real
NumberTheory
Harmonic
Bounds
Real
GoldenRatio
Order
Bounds
Basic
ConditionallyCompleteLattice
Finset
Indexed
Filter
AtTopBot
Basic
Basic
ENNReal
Extr
IsBounded
ZeroAndBoundedAtFilter
Interval
Finset
Fin
Nat
Set
Basic
ProjIcc
UnorderedInterval
Monotone
Basic
LiminfLimsup
Probability
Independence
Kernel
IndepFun
RingTheory
Ideal
Quotient
Operations
Tactic (
file
)
Abel
FieldSimp
FunProp
Linarith
NormNum
Positivity
Recall
Ring
Topology
Algebra
InfiniteSum
Basic
Real
Module
Equiv
FiniteDimension
ConstMulAction
GroupWithZero
Polynomial
Baire
Lemmas
Bornology
Basic
Category
TopCat
Basic
Compactification
OnePoint
Basic
ProjectiveLine
Sphere
Compactness
Compact
Connected
LocPathConnected
ContinuousMap
Basic
EMetricSpace
Lipschitz
Instances
ENNReal
Lemmas
EReal
Lemmas
Real
Lemmas
Matrix
MetricSpace
Bounded
Cauchy
Contracting
HausdorffDistance
Holder
Lipschitz
Metrizable
Basic
Order
Compact
LiminfLimsup
LocalExtr
Monotone
MonotoneConvergence
Real
WithTop
Semicontinuity
Basic
Defs
UniformSpace
Basic
Basic
DiscreteSubset
NoetherianSpace
Sequences
OnSomeLocalRings_Maassaran_2025
Paper
section01
section01_part1
section01_part2
section02
section02_part1
section02_part2
section02_part3
section02_part4
OptimizationTheoryAndMethods_SunYuan_2006
Chap01
Definition_1_5_extra_2
Majorant
Rate
Algorithm_1_2_18
Algorithm_1_2_19
Corollary_1_2_26
Definition_1_1_extra_1
Definition_1_2_1
Definition_1_2_11
Definition_1_2_12
Definition_1_2_2
Definition_1_2_20
Definition_1_2_21
Definition_1_2_27
Definition_1_2_3
Definition_1_2_4
Definition_1_2_8
Definition_1_2_9
Definition_1_3_1
Definition_1_3_10
Definition_1_3_15
Definition_1_3_23
Definition_1_3_26
Definition_1_3_6
Definition_1_3_7
Definition_1_3_extra_1
Definition_1_3_extra_2
Definition_1_3_extra_3
Definition_1_3_extra_4
Definition_1_4_1
Definition_1_4_2
Definition_1_4_7
Definition_1_5_extra_1
Example_1_3_2
Example_1_3_3
Exercise_1_1
Exercise_1_11
Exercise_1_12
Exercise_1_14
Exercise_1_15
Exercise_1_16
Exercise_1_17
Exercise_1_18
Exercise_1_19
Exercise_1_2
Exercise_1_3
Exercise_1_4
Exercise_1_6
Exercise_1_7
Notation_1_2_extra_1
Remark_1_3_extra_5
Remark_1_3_extra_6
Theorem_1_2_10
Theorem_1_2_13
Theorem_1_2_14
Theorem_1_2_15
Theorem_1_2_16
Theorem_1_2_17
Theorem_1_2_25
Theorem_1_2_5
Theorem_1_2_6
Theorem_1_3_11
Theorem_1_3_12
Theorem_1_3_13
Theorem_1_3_16
Theorem_1_3_18
Theorem_1_3_20
Theorem_1_3_21
Theorem_1_3_22
Theorem_1_3_24
Theorem_1_3_28
Theorem_1_3_29
Theorem_1_3_4
Theorem_1_3_5
Theorem_1_3_8
Theorem_1_3_9
Theorem_1_4_4
Theorem_1_4_5
Theorem_1_4_8
Theorem_1_4_9
Theorem_1_5_2
Chap02
Algorithm_2_1_2
Algorithm_2_2_1
Algorithm_2_3_1
Algorithm_2_4_2
Algorithm_2_5_1
Definition_2_1_1
Definition_2_1_3
Definition_2_1_4
Definition_2_3_extra_1
Definition_2_4_extra_2
Definition_2_5_extra_2
Definition_2_5_extra_3
Definition_2_5_extra_4
Definition_2_5_extra_5
Exercise_2_1
Exercise_2_2
Exercise_2_4
Exercise_2_5
Exercise_2_6
Exercise_2_7
InitialSublevelSet
Lemma_2_2_5
Theorem_2_1_5
Theorem_2_4_1
Theorem_2_4_3
Theorem_2_5_9
Chap03
Theorem_3_1_5
Index
KantorovichLocal
Theorem_3_2_2
ConvergenceRates
Algorithm_3_2_1
Algorithm_3_3_2
Algorithm_3_6_extra_2
Assumption_3_6_extra_1
Definition_3_2_extra_1
Definition_3_4_extra_1
Example_3_3_3
Exercise_3_3
Exercise_3_4
Lemma_3_6_1
Lemma_3_6_3
Theorem_3_1_10
Theorem_3_6_2
Chap04
Algorithm_4_2_extra_3
Definition_4_1_1
Exercise_4_1
Exercise_4_3
Chap05
Theorem_5_4_10
Convergence
Iteration
Update
Theorem_5_4_13
Transport
Theorem_5_4_9
Convergence
Iteration
Update
Algorithm_5_7_1
Algorithm_5_7_2
Assumption_5_4_1
Definition_5_1_extra_1
Definition_5_1_extra_2
Definition_5_1_extra_6
Definition_5_2_extra_2
Definition_5_4_extra_1
Exercise_5_1
Exercise_5_10
Exercise_5_2
Lemma_5_4_17
Lemma_5_4_18
Lemma_5_4_5
Theorem_5_6_1
Chap06
Theorem_6_1_11 (
file
)
Path
Algorithm_6_1_1
Algorithm_6_1_12
Algorithm_6_2_1
Algorithm_6_2_2
Definition_6_1_extra_1
Definition_6_1_extra_3
Definition_6_2_extra_2
Exercise_6_1
Exercise_6_10
Exercise_6_11
Exercise_6_13
Exercise_6_3
Exercise_6_4
Exercise_6_5
Exercise_6_6
Exercise_6_7
Exercise_6_8
Exercise_6_9
Lemma_6_1_13
Lemma_6_1_3
Lemma_6_1_4
Lemma_6_1_5
Tensor4
Theorem_6_1_14
Theorem_6_1_2
Theorem_6_3_4
Chap07
Theorem_7_3_4 (
file
)
Multiplier
Algorithm_7_3_9
Definition_7_1_extra_1
Definition_7_3_extra_1
Exercise_7_6
Theorem_7_3_1
Theorem_7_3_2
Theorem_7_3_3
Chap08
Definition_8_1_1
Definition_8_1_2
Definition_8_1_3
Definition_8_1_4
Definition_8_1_5
Definition_8_1_extra_1
Definition_8_2_1
Definition_8_2_10
Definition_8_2_2
Definition_8_2_3
Definition_8_2_8
Definition_8_2_extra_5
Exercise_8_1
Exercise_8_2
Exercise_8_9
Lemma_8_2_4
Notation_8_2_extra_2
Theorem_8_2_17
Theorem_8_2_19
Chap09
Algorithm_9_4_2
Definition_9_1_extra_1
Example_9_3_1
Exercise_9_10
Exercise_9_11
Exercise_9_12
Exercise_9_4
Exercise_9_6
Exercise_9_9
Lemma_9_4_3
Theorem_9_3_2
Chap10
Theorem_10_4_2 (
file
)
RunSemantics
Algorithm_10_3_3
Algorithm_10_3_5
Algorithm_10_4_1
ChosenPseudoInverse
Definition_10_1_extra_1
Definition_10_2_extra_1
Definition_10_3_extra_1
Definition_10_6_extra_1
Exercise_10_1
Exercise_10_10
Exercise_10_2
Exercise_10_6
Exercise_10_7
Exercise_10_8
Lemma_10_1_1
Lemma_10_2_1
Lemma_10_2_2
Lemma_10_3_1
Lemma_10_3_2
Lemma_10_6_2
Lemma_10_6_3
Lemma_10_6_6
Remark_10_4_extra_1
StandardPenaltyProblemBridge
Theorem_10_3_4
Theorem_10_4_3
Theorem_10_6_8
Chap11
Algorithm_11_4_1
Algorithm_11_5_1
Algorithm_11_5_2
Definition_11_1_7
Definition_11_1_extra_3
Definition_11_5_extra_1
Exercise_11_2
Exercise_11_5
Exercise_11_7
Chap12
Algorithm_12_1_1
Algorithm_12_5_1
Assumption_12_3_2
Assumption_12_6_1
Definition_12_5_extra_1
Definition_12_6_extra_1
EqualityConstrainedProblem
Exercise_12_1
Exercise_12_4
Lemma_12_6_2
Lemma_12_6_3
Remark_12_8_extra_1
Theorem_12_1_2
Chap13
Algorithm_13_2_1
Algorithm_13_5_5
Assumption_13_6_2
Corollary_13_5_3
Definition_13_2_extra_1
Definition_13_3_extra_1
Exercise_13_3
Exercise_13_4
Lemma_13_4_4
Lemma_13_5_4
LinearTrustRegion
PowellYuanPseudoInverse
Theorem_13_5_1
Theorem_13_5_2
Chap14
Algorithm_14_3_1
Algorithm_14_3_7
Algorithm_14_5_1
Algorithm_14_5_3
Algorithm_14_8_extra_5
Definition_14_1_2
Definition_14_1_extra_1
Definition_14_1_extra_3
Definition_14_2_extra_2
Definition_14_6_extra_1
Definition_14_8_extra_1
Definition_14_8_extra_2
Definition_14_8_extra_4
EuclideanSubgradient
Example_14_1_extra_2
Example_14_1_extra_5
Example_14_6_extra_2
Exercise_14_1
Exercise_14_2
Exercise_14_3
Exercise_14_4
Exercise_14_5
Exercise_14_8
Lemma_14_1_1
Lemma_14_1_3
Lemma_14_1_6
Lemma_14_3_2
Lemma_14_8_1
LocallyLipschitzAt
OneSidedDirectionalDeriv
Theorem_14_1_7
Theorem_14_1_8
Theorem_14_3_3
Theorem_14_3_4
Theorem_14_3_5
Theorem_14_3_6
Theorem_14_3_8
Theorem_14_5_2
Theorem_14_5_4
Matrix
UnitLowerTriangular
Book
Compat
RiemannSurfaces_Forster_1981
Chap01
Definition_1_1
Definition_1_12
Definition_1_3
Definition_1_4
Definition_1_6
Definition_1_9
Example_1_14
Example_1_5
Exercise_1_1
Exercise_1_2
Exercise_1_3
Exercise_1_4
Exercise_1_5
Notation_1_extra_1
Remark_1_10
Remark_1_13
Remark_1_16
Remark_1_2
Remark_1_7
Remark_1_extra_2
Theorem_1_11
Theorem_1_15
Theorem_1_8
Book
SmoothMinimization_Nesterov_2004
Paper
section01
section02
section02_part1
section02_part2
section02_part3
section03
section03_part1
section03_part2
section04
section04_part1
section04_part10
section04_part2
section04_part3
section04_part4
section04_part5
section04_part6
section04_part7
section04_part8
section04_part9
section05
section05_part1
section05_part2
section05_part3
section05_part4
section05_part5
Color scheme
dark
system
light