activity
20132026
most citedThe algebra of conditional sets and the concepts of conditional topology and compactness

42 citations · 90 across the 29 of their papers we have counts for

collaborators
Showing 2024Show all

2 papers · 1 filter

math.GR2024

Quadratic maps between non-abelian groups

Asgar Jamneshan, Andreas Thom

Gowers and Hatami initiated the inverse theory for the uniformity norms of matrix-valued functions on non-abelian groups by proving a -inverse theorem for the -norm…

math.CA2024

A blueprint for the formalization of Carleson's theorem on convergence of Fourier series

Lars Becker, María Inés de Frutos-Fernández, Leo Diedering +14

This paper is the blueprint underlying the Lean formalization of the proof of Carleson's classical result asserting almost everywhere convergence of Fourier series of continuous fu…