Nemytskii operators in Lebesgue spaces
Please use the following text to cite this item or export to a predefined format:
Girg, Petr; Nečesal, Petr; Dvořák, Martin and Psutka, Jakub, 2026, Nemytskii operators in Lebesgue spaces, DSpace at University of West Bohemia, http://hdl.handle.net/20.500.14592/110
Authors
Item identifier
Date issued
2026
Type
Description
Knihovna obsahuje počítačem-verifikovaný kód v Leanu 4 pro pokročilou práci s Němyckého operátory v prostorech integrovatelných funkcí. Jako ukázkové příklady použití hlavních matematických vět byly zvoleny nelineární integrální funkcionály. Kromě toho jsou tam, kde jsou obecné matematické věty těžko srozumitelné, explicitně doplněny o významné speciální případy (typicky pro eukleidovské prostory). Hlavním přínosem knihovny je zpřístupnění matematických tvrzení, která jsou formálně zverifikována až na úroveň základních axiomů.
Publisher
Collections
