The old site
>> Research >> Scientific Seminars >> Effective methods in metric analysis

Effective methods in metric analysis

Marius Buliga, Laurentiu Leustean.

The seminar is related to the research project
Proof mining in metric analysis, geometric group theory and ergodic theory

Proof mining is a paradigm of research concerned with the extraction of hidden finitary and combinatorial content, such as algorithms and effective bounds, from proofs that make use of highly infinitary principles.

Metric analysis concerns the use of analysis in order to get insigths on the various approximate algebraic structures, asymptotic or infinitesimal properties of interesting classes of metric spaces.