A new formalization of Dirichlet-type spaces (Q6097706)
From MaRDI portal
scientific article; zbMATH DE number 7693166
Language | Label | Description | Also known as |
---|---|---|---|
English | A new formalization of Dirichlet-type spaces |
scientific article; zbMATH DE number 7693166 |
Statements
A new formalization of Dirichlet-type spaces (English)
0 references
7 June 2023
0 references
Dirichlet space
0 references
Bergman space
0 references
reproducing kernel
0 references
0 references
0 references