Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Formalized functional analysis with semilinear maps - MaRDI portal

Formalized functional analysis with semilinear maps

From MaRDI portal

Publication:6572543

Jump to:navigation, search

DOI10.4230/LIPICS.ITP.2022.10MaRDI QIDQ6572543

Frédéric Dupuis, Heather Macbeth, Robert Y. Lewis

Publication date: 15 July 2024

zbMATH Keywords

Hilbert space functional analysis linear algebra semilinear Lean

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Formalized functional analysis with semilinear maps

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6572543)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6572543&oldid=40111406"