# Noon lecture

list of noon lectures ( 2005 | 2006 | 2007 | 2008 | 2009 | 2010 | 2011 | 2012 | 2013 | 2014 | 2015 | 2016 | 2017 | 2018 | 2019 | 2020 | newer lectures)

On 11.2.2010 at 12:20 in --, there is the following noon lecture:

# Constructive Algebraic Topology

## Francis Sergeraert

## Univ. Grenoble

## Abstract

Classical algebraic topology is *not* constructive: most often the existence results *do_not* exhibit an object satisfying the required properties. Making constructive Algebraic Topology curiously uses more elementary methods, often more powerful than the standard exact and spectral sequences. Concretely using these methods essentially needs Functional Programming. We propose a short survey of this problem and our solution.

list of noon lectures ( 2005 | 2006 | 2007 | 2008 | 2009 | 2010 | 2011 | 2012 | 2013 | 2014 | 2015 | 2016 | 2017 | 2018 | 2019 | 2020 | newer lectures)

Webmaster: kamweb.mff.cuni.cz Archive page