SOURCE-LINKED INTELLIGENCE

Harmonic Analysis with Lean Formalization

CORDIS · observation · Publication date unknown

thematical domains. Being the first of its kind, HALF is a milestone towards making computer verification routine in research mathematics. It produces highly needed training material for anticipated artificial intelligence applications that will in the future aid the verification process and provide automated tools for rigorous discovery in mathematics. formalized mathematics, Lean, harmonic analysis, multilinear singular integrals, convergence of ergodic means, nonlinear Fourier analysis, quantum signal processing

Read original source ↗ Open in workspace

recordType

award

status

SIGNED

region

EU

value

6443439

unit

EUR