×

Found 2,367 Documents (Results 1–100)

Invertible and noninvertible symbolic dynamics and their \(C^*\)-algebras. (English) Zbl 07840371

Markin, Marat V. (ed.) et al., Advances in functional analysis and operator theory. AMS-EMS-SMF special session, Université de Grenoble-Alpes, Grenoble, France, July 18–22, 2022. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 798, 21-52 (2024).
MSC:  37A55 37B10 46L55
PDFBibTeX XMLCite
Full Text: DOI arXiv

Applications of the automatic additivity of positive homogeneous order isomorphisms between positive definite cones in \(C^*\)-algebras. (English) Zbl 07817179

Binder, Ilia (ed.) et al., Function spaces, theory and applications. Selected papers based on the presentations at the workshop, Toronto, Canada, July 1 – December 31, 2021. Cham: Springer. Fields Inst. Commun. 87, 77-104 (2023).
MSC:  46L05
PDFBibTeX XMLCite
Full Text: DOI

Computational back-and-forth arguments in constructive type theory. (English) Zbl 07881135

Andronick, June (ed.) et al., 13th international conference on interactive theorem proving, ITP 2022, Haifa, Israel, August 7–10, 2022. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 237, Article 22, 12 p. (2022).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI

The orbit space and basic forms of a proper Lie groupoid. (English) Zbl 07819141

Cerejeiras, Paula (ed.) et al., Current trends in analysis, its applications and computation. Proceedings of the 12th ISAAC congress, Aveiro, Portugal, July 29 – August 3, 2019. Cham: Birkhäuser. Trends Math., 513-523 (2022).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference