discrete mathematics

175 проекта

FP7Реинтеграция2010–2012Полша

NARCISUS · Noncoding RNA Comparative Searching System

FP7Индивидуална стипендия2010–2012Обединеното кралство

MODGROUP · The Model Theory of Groups

FP7Индивидуална стипендия2010–2013Германия

HILBERT · Gröbner strata in multigraded Hilbert schemes

FP7Индивидуална стипендия2010–2012Обединеното кралство

OPTIMAL NETWORKS · Optimal Interconnection Networks

FP7Реинтеграция2009–2012Дания

DSTOA · Descriptive Set Theory and Operator Algebras

2 партньори · 2 държави

FP7Индивидуална стипендия2009–2011Франция

STRUCTPROOFS · Structural Analysis of Mathematical Proofs

FP7Реинтеграция2009–2012Испания

LOGICANDBANACHSPACES · Set theory, topology and Banach spaces

FP7Индивидуална стипендия2009–2011Унгария

RESFINGROUP · Invariants of residually finite groups: graphs, groups and dynamics

FP7Реинтеграция2009–2012Швейцария

LAXALGHOMOTOP · Lax Algebras in Homotopy Theory

FP7Реинтеграция2008–2011Австрия

CLASSFORCING · Class forcing, internal consistency and the outer model program

FP6Реинтеграция2007–2009Франция

CORPORATE GOVERNANCE · Corporate governance in the United Kingdom and the United States

FP6Реинтеграция2007–2009Турция

DYROLL · Behavioral planning for dynamically dexterous robots using constrained intuitionistic linear logic

FP6Индивидуална стипендия2007–2007Франция

ASFIX · Abstract semantic frameworks for implicit complexity

FP6Индивидуална стипендия2006–2007Германия

INFINITE GRAPHS · Infinite graphs, ends, their topology, and totally disconnected groups

FP6Обмен на изследователи2006–2010Унгария

HUBI · Hungarian Bioinformatics

5 партньори · 4 държави

FP6Индивидуална стипендия2006–2008Израел

DEFINABLE FORCING · Theory and application of definable forcing

FP6Индивидуална стипендия2006–2008Испания

COLOUR. GEOM. GRAPHS · Colouring Geometric Graphs

FP6Индивидуална стипендия2006–2008Испания

RECONSTRUCTION · Reconstruction and generic automorphisms

FP6Индивидуална стипендия2006–2008Обединеното кралство

CRITICAL STRUCTURES · The behaviour of random discrete structures at criticality

FP6Индивидуална стипендия2006–2008Франция

LOGIC AND ANALYSIS · Set theoretic methods in analysis

FP6Реинтеграция2006–2007Полша

TOPMODTHE · Topological Model Theory

FP6Индивидуална стипендия2006–2007Унгария

ASYMPLIN · Asymptotic invariants of linear systems

FP6Докторантска мрежа2006–2010Нидерландия

GLORICLASS · Games in Logic: Reaching Out To Classical Game Theory

FP6Индивидуална стипендия2005–2007Франция

MTGFOP · Model theory and geometry of fields with operators