Эта статья является препринтом и не была отрецензирована.
О результатах, изложенных в препринтах, не следует сообщать в СМИ как о проверенной информации.
Синтетический Вариационный Анализ. Конструктивная Двойственность, Монотонные Операторы и Геометрия Оптимизации в Гладких Топосах
1. [Artin et al., 1972] Artin, M., Grothendieck, A., & Verdier, J. L. (1972). _Théorie des Topos et Cohomologie Étale des Schémas (SGA 4)_. Springer-Verlag.
2. [Bauschke & Combettes, 2011] Bauschke, H. H., & Combettes, P. L. (2011). _Convex analysis and monotone operator theory in Hilbert spaces_. Springer.
3. [Bell, 2008] Bell, J. L. (2008). _A primer of infinitesimal analysis_ (2nd ed.). Cambridge University Press.
4. [Bishop, 1967] Bishop, E. (1967). _Foundations of constructive analysis_. McGraw-Hill.
5. [Bishop & Bridges, 1985] Bishop, E., & Bridges, D. (1985). _Constructive analysis_. Springer-Verlag.
6. [Bonnans & Shapiro, 2000] Bonnans, J. F., & Shapiro, A. (2000). _Perturbation analysis of optimization problems_. Springer.
7. [Borceux, 1994] Borceux, F. (1994). _Handbook of categorical algebra_ (Vols. 1-3). Cambridge University Press.
8. [Borwein & Lewis, 2000] Borwein, J. M., & Lewis, A. S. (2000). _Convex analysis and nonlinear optimization_. Springer.
9. [Boyd & Vandenberghe, 2004] Boyd, S., & Vandenberghe, L. (2004). _Convex optimization_. Cambridge University Press.
10. [Bridges & Richman, 1987] Bridges, D., & Richman, F. (1987). _Varieties of constructive mathematics_. Cambridge University Press.
11. [Brouwer, 1911] Brouwer, L. E. J. (1911). Über Abbildung von Mannigfaltigkeiten. _Mathematische Annalen_.
12. [Bunge & Dubuc, 1987] Bunge, M., & Dubuc, E. J. (1987). Local concepts in synthetic differential geometry and germ representability. _Mathematical Logic and Theoretical Computer Science_.
13. [Cartan, 1967] Cartan, H. (1967). _Calcul différentiel_. Hermann.
14. [Clarke, 1983] Clarke, F. H. (1983). _Optimization and nonsmooth analysis_. Wiley.
15. [Dubuc, 1981] Dubuc, E. J. (1981). C∞-schemes. _American Journal of Mathematics_, 103(4), 683-690.
16. [Ekeland & Temam, 1976] Ekeland, I., & Temam, R. (1976). _Convex analysis and variational problems_. North-Holland.
17. [Facchinei & Pang, 2003] Facchinei, F., & Pang, J. S. (2003). _Finite-dimensional variational inequalities and complementarity problems_. Springer.
18. [Fan, 1972] Fan, K. (1972). A minimax theorem and applications. In _Inequalities III_. Academic Press.
19. [Fenchel, 1953] Fenchel, W. (1953). _Convex cones, sets, and functions_. Princeton University Press.
20. [Fourman & Hyland, 1979] Fourman, M. P., & Hyland, J. M. E. (1979). Sheaf models for analysis. In _Applications of Sheaves_. Springer.
21. [Gerritse et al., 2021] Gerritse, B., Ponds, E., & Spitters, B. (2021). Constructive convex programming. arXiv:2106.08330.
22. [Goldblatt, 1984] Goldblatt, R. (1984). _Topoi: The categorial analysis of logic_. North-Holland.
23. [Hartman & Stampacchia, 1966] Hartman, P., & Stampacchia, G. (1966). On some non-linear elliptic differential-functional equations. _Acta Mathematica_, 115(1), 271-310.
24. [Hiriart-Urruty & Lemaréchal, 1993] Hiriart-Urruty, J. B., & Lemaréchal, C. (1993). _Convex analysis and minimization algorithms_. Springer-Verlag.
25. [Hyland, 1982] Hyland, J. M. E. (1982). The effective topos. In _The L.E.J. Brouwer Centenary Symposium_. North-Holland.
26. [Ioffe & Tihomirov, 1979] Ioffe, A. D., & Tihomirov, V. M. (1979). _Theory of extremal problems_. North-Holland.
27. [Johnstone, 1977] Johnstone, P. T. (1977). _Topos theory_. Academic Press.
28. [Johnstone, 1982] Johnstone, P. T. (1982). _Stone Spaces_. Cambridge University Press.
29. [Johnstone, 2002] Johnstone, P. T. (2002). _Sketches of an elephant: A topos theory compendium_. Oxford University Press.
30. [Kock, 1981] Kock, A. (1981). _Synthetic differential geometry_. Cambridge University Press.
31. [Kock, 2006] Kock, A. (2006). _Synthetic differential geometry_ (2nd ed.). Cambridge University Press.
32. [Lavendhomme, 1996] Lavendhomme, R. (1996). _Basic concepts of synthetic differential geometry_. Kluwer Academic Publishers.
33. [Lawvere, 1980] Lawvere, F. W. (1980). Toward the description in a smooth topos of the dynamically possible motions and deformations of a continuous body. _Cahiers de Topologie et Géométrie Différentielle Catégoriques_.
34. [Mac Lane & Moerdijk, 1992] Mac Lane, S., & Moerdijk, I. (1992). _Sheaves in geometry and logic: A first introduction to topos theory_. Springer-Verlag.
35. [Minty, 1962] Minty, G. J. (1962). Monotone (nonlinear) operators in Hilbert space. _Duke Mathematical Journal_.
36. [Moerdijk & Reyes, 1991] Moerdijk, I., & Reyes, G. E. (1991). _Models for smooth infinitesimal analysis_. Springer-Verlag.
37. [Moreau, 1965] Moreau, J. J. (1965). Proximité et dualité dans un espace hilbertien. _Bull. Soc. Math. France_.
38. [Mordukhovich, 2006] Mordukhovich, B. S. (2006). _Variational analysis and generalized differentiation_. Springer.
39. [Nesterov, 2004] Nesterov, Y. (2004). _Introductory lectures on convex optimization_. Kluwer.
40. [Penon, 1981] Penon, J. (1981). Infinitésimaux et intuitionnisme. _Cahiers de Topologie et Géométrie Différentielle Catégoriques_.
41. [Rockafellar, 1970] Rockafellar, R. T. (1970). _Convex analysis_. Princeton University Press.
42. [Rockafellar & Wets, 1998] Rockafellar, R. T., & Wets, R. J. B. (1998). _Variational analysis_. Springer-Verlag.
43. [Shulman, 2019] Shulman, M. (2019). Brouwer's fixed-point theorem in real-cohesive homotopy type theory. _Math. Struct. Comp. Sci._.
44. [Sion, 1958] Sion, M. (1958). On general minimax theorems. _Pacific Journal of Mathematics_.
45. [Stampacchia, 1964] Stampacchia, G. (1964). Formes bilinéaires coercitives sur les ensembles convexes. _C. R. Acad. Sci. Paris_.
46. [Taylor, 1999] Taylor, P. (1999). _Practical foundations of mathematics_. Cambridge University Press.
47. [Troelstra & van Dalen, 1988] Troelstra, A. S., & van Dalen, D. (1988). _Constructivism in mathematics_. North-Holland.
48. [Vickers, 1989] Vickers, S. (1989). _Topology via logic_. Cambridge University Press.
49. [Zalinescu, 2002] Zalinescu, C. (2002). _Convex analysis in general vector spaces_. World Scientific.
