Differentiating convex functions constructively (Q5145852)
From MaRDI portal
scientific article; zbMATH DE number 7299942
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Differentiating convex functions constructively |
scientific article; zbMATH DE number 7299942 |
Statements
Differentiating convex functions constructively (English)
0 references
22 January 2021
0 references
convex functions
0 references
constructive analysis
0 references
constructive reverse mathematics
0 references
