Lean formalization of complex analysis. ~ Fubin Yan et als. github.com/fubinyan/Com... #LeanProver #ITP #Math

🆕Composition operators and Banach spaces theory
Rodriguez-Piazza, Luis (2026). Some results on composition operators in the unit disc. CIRM. Audiovisual resource. dx.doi.org/10.24350/CIR...
library.cirm-math.fr/Record.htm?i...
@cirm-math.bsky.social #Maths #FunctionalAnalysis #ComplexVariables

🆕Composition operators and Banach spaces theory
Perfekt, Karl-Mikael (2026). Compact composition operators on spaces of Dirichlet series. CIRM. Audiovisual resource.
dx.doi.org/10.24350/CIR...
library.cirm-math.fr/Record.htm?i...
@cirm-math.bsky.social #Maths #FunctionalAnalysis #ComplexVariables

🆕Composition operators and Banach spaces theory
Nicolau, Artur (2026). Contractive analytic selfmappings of the disc. CIRM. Audiovisual resource. dx.doi.org/10.24350/CIR...
library.cirm-math.fr/Record.htm?i...
@cirm-math.bsky.social #Maths #Analysis #conference #ComplexVariables

🆕🎞️Families of Kähler spaces
Guedj, Vincent (2025). Kähler families of Green's functions. CIRM. Audiovisual resource.
dx.doi.org/10.24350/CIR...
library.cirm-math.fr/Record.htm?i...
@cirm-math.bsky.social #Maths #conference #AlgebraicGeometry #ComplexVariables #PDE

🆕🎬Winter School on K-stability
Watch the talks of Thibaut Delcroix & Kristin DeVleming in CARMIN.TV & the Audiovisual Mathematics Library
@_CIRM #Maths #conference #DiffrentialGeometry #ComplexVariables
carmin.tv/en/c/1631
library.cirm-math.fr/ListRecord.h...

🎬Winter School on K-stability
Watch the talks of Thibaut Delcroix & Kristin DeVleming in CARMIN.TV & the Audiovisual Mathematics Library
@_CIRM #Maths #conference #DiffrentialGeometry #ComplexVariables
www.carmin.tv/en/c/1631
library.cirm-math.fr/ListRecord.h...

🆕🎬Tame Geometry
Padgett, Adele (2025). Definable holomorphic continuations in o-minimal structures. CIRM. Audiovisual resource
dx.doi.org/10.24350/CIR...
library.cirm-math.fr/Record.htm?i...
@_CIRM #Maths #conference #geometry #logic #ComplexVariables