The Johnson-Lindenstrauss lemma (also known as Random
Projections) states that any set of n points in Euclidian space can
be embedded almost isometrically into another Euclidian space of
dimension O(log(n)). The talk will focus on the efficiency...
The basic ingredients of Darwinian evolution, selection and
mutation, are very well described by simple mathematical models. In
1973, John Maynard Smith linked game theory with evolutionary
processes through the concept of evolutionarily stable...
I will explain the main notions of the microlocal theory of
sheaves: the microsupport and its behaviour with respect to the
operations, with emphasis on the Morse lemma for sheaves. Then,
inspired by the recent work of Tamarkin but with really...
In this talk we will discuss recent progresses meant as a
contribution to the GLS-project, the second generation proof of the
Classification of Finite Simple Groups (jointly with R. Lyons, R.
Solomon, Ch. Parker).
Abstract: In addition to formal definitions and theorems,
mathematical theories also contain clever, context-sensitive
notations, usage conventions, and proof methods. To mechanize
advanced mathematical results it is essential to capture
these...
Topological spaces given by either (1) complements of coordinate
planes in Euclidean space or (2) spaces of non-overlapping
hard-disks in a fixed disk have several features in common. The
main results, in joint work with many people, give...
