Lean ist eine relativ neue Programmiersprache, die sich zunehmend als Standard für die mathematische Formalisierung etabliert. HALF befasst sich mit zentralen und seit langem offenen Problemen der harmonischen Analysis, wobei der Schwerpunkt auf mult…
Lean ist eine relativ neue Programmiersprache, die sich zunehmend als Standard für die mathematische Formalisierung etabliert. HALF befasst sich mit zentralen und seit langem offenen Problemen der harmonischen Analysis, wobei der Schwerpunkt auf multilinearen und nichtlinearen Operatoren liegt. Diese grundlegenden Fragen finden auch Anwendung in anderen mathematischen und interdisziplinären Bereichen wie der Ergodentheorie und der Quanteninformationsverarbeitung. Die neuen Resultate von HALF sollen mit Hilfe von …