Skip to main content
Przejdź do strony domowej Komisji Europejskiej (odnośnik otworzy się w nowym oknie)
polski polski
CORDIS - Wyniki badań wspieranych przez UE
CORDIS

Algorithms in algebra and topology

Cel

Group theory is the study of symmetry in mathematical objects, such as rotations of geometric shapes.
Groups help us understand the underlying structure of mathematical objects by revealing their symmetries.
To understand groups we need an efficient way to describe them. Some groups admit a finite presentation;
a finite set of building blocks, along with a finite collection of rules on when we can substitute one set
of blocks for another. These descriptions are convenient. However, results in algebra and logic show
that such descriptions are not always suitable to work with, as certain problems (e.g. the word problem,
of deciding if two distinct collections of blocks represent the same group element) are incomputable; no
computer can be built to always answer this. We can embed incomputable problems from groups into
geometry, to show that the homeomorphism problem, of recognising if two geometric shapes are equivalent
under smooth deformation, is incomputable in all dimensions above three. Thus we can't computationally
classify geometric shapes in higher dimensions; we can't identify the unique distinguishing features of
each shape. The study of generic computability (problems which can be computed most of the time) is
a useful area in mathematics. Conversely, showing a problem can't be computed most of the time gives
rise to applications in cryptography: generically incomputable problems are an excellent tool in the theory
behind cryptosystems. This proposal will deal with incomputable and generically incomputable problems.
We will investigate certain problems in group theory to determine if they are computable, or generically
computable, or neither. We will apply these results to particular classess of higher-dimensional geometric
objects, identifying whether certain problems relating to them are computable or not. The project will be
carried out at the University of Cambridge, under the supervision of Dr. Henry Wilton.

Dziedzina nauki (EuroSciVoc)

Klasyfikacja projektów w serwisie CORDIS opiera się na wielojęzycznej taksonomii EuroSciVoc, obejmującej wszystkie dziedziny nauki, w oparciu o półautomatyczny proces bazujący na technikach przetwarzania języka naturalnego. Więcej informacji: Europejski Słownik Naukowy.

Aby użyć tej funkcji, musisz się zalogować lub zarejestrować

Program(-y)

Wieloletnie programy finansowania, które określają priorytety Unii Europejskiej w obszarach badań naukowych i innowacji.

Temat(-y)

Zaproszenia do składania wniosków dzielą się na tematy. Każdy temat określa wybrany obszar lub wybrane zagadnienie, których powinny dotyczyć wnioski składane przez wnioskodawców. Opis tematu obejmuje jego szczegółowy zakres i oczekiwane oddziaływanie finansowanego projektu.

System finansowania

Program finansowania (lub „rodzaj działania”) realizowany w ramach programu o wspólnych cechach. Określa zakres finansowania, stawkę zwrotu kosztów, szczegółowe kryteria oceny kwalifikowalności kosztów w celu ich finansowania oraz stosowanie uproszczonych form rozliczania kosztów, takich jak rozliczanie ryczałtowe.

MSCA-IF-EF-ST - Standard EF

Wyświetl wszystkie projekty finansowane w ramach tego programu finansowania

Zaproszenie do składania wniosków

Procedura zapraszania wnioskodawców do składania wniosków projektowych w celu uzyskania finansowania ze środków Unii Europejskiej.

(odnośnik otworzy się w nowym oknie) H2020-MSCA-IF-2014

Wyświetl wszystkie projekty finansowane w ramach tego zaproszenia

Koordynator

THE CHANCELLOR MASTERS AND SCHOLARS OF THE UNIVERSITY OF CAMBRIDGE
Wkład UE netto

Kwota netto dofinansowania ze środków Unii Europejskiej. Suma środków otrzymanych przez uczestnika, pomniejszona o kwotę unijnego dofinansowania przekazanego powiązanym podmiotom zewnętrznym. Uwzględnia podział unijnego dofinansowania pomiędzy bezpośrednich beneficjentów projektu i pozostałych uczestników, w tym podmioty zewnętrzne.

€ 195 454,80
Adres
TRINITY LANE THE OLD SCHOOLS
CB2 1TN CAMBRIDGE
Zjednoczone Królestwo

Zobacz na mapie

Region
East of England East Anglia Cambridgeshire CC
Rodzaj działalności
Higher or Secondary Education Establishments
Linki
Koszt całkowity

Ogół kosztów poniesionych przez organizację w związku z uczestnictwem w projekcie. Obejmuje koszty bezpośrednie i pośrednie. Kwota stanowi część całkowitego budżetu projektu.

€ 195 454,80
Moja broszura 0 0