Opendata, web and dolomites

H2020 projects about "theorem"

The page lists 53 projects related to the topic "theorem".

# achronym  title  year 
1 CoqHoTT Coq for Homotopy Type Theory 2015
2 RelRepDist Relative representation theory and distributions on reductive groups over local fields 2015
3 NSECPROBE Probing quantum fluctuations of single electronic channels in model interacting systems 2015
4 Euler systems Euler systems and the Birch--Swinnerton-Dyer conjecture 2015
5 DISTRUCT Structure Theory for Directed Graphs 2015
6 ExplicitDarmonProg Explicit Methods for the Darmon Programme 2015
7 MODFIN Model theory of finite and pseudofinite structures 2016
8 HotCoalgebras Homotopy theory of cosimplicial unstable (co-)algebras over the Steenrod algebra 2015
9 DuaLL Duality in Formal Languages and Logic - a unifying approach to complexity and semantics 2015
10 SYMCAR Symbolic Computation and Automated Reasoning for Program Analysis 2016
11 ALKAGE Algebraic and Kähler geometry 2015
12 QAffine Representations of quantum affine algebras and applications 2015
13 QUEST Quantum Algebraic Structures and Models 2015
14 GRANT Groups, Representations and Analysis in Number Theory 2015
15 StabilityDTCluster Stability conditions, Donaldson-Thomas invariants and cluster varieties 2015
16 INDEX Rigidity of groups and higher index theory 2016
17 TOTAL Technology transfer between modern algorithmic paradigms 2016
18 Degrees of Belief The Nature of Degrees of Belief 2017
19 BSD Euler systems and the conjectures of Birch and Swinnerton-Dyer, Bloch and Kato 2016
20 HOLOGRAM Holomorphic Dynamics connecting Geometry, Root-Finding, Algebra, and the Mandelbrot set 2016
21 CHRiSHarMa Commutators, Hilbert and Riesz transforms, Shifts, Harmonic extensions and Martingales 2017
22 GMLP Global Methods in the Langlands Program 2017
23 CASe Combinatorics with an analytic structure 2016
24 AlgTateGro Constructing line bundles on algebraic varieties -- around conjectures of Tate and Grothendieck 2016
25 MSMA Moduli Spaces, Manifolds and Arithmetic 2016
26 Matryoshka Fast Interactive Verification through Strong Higher-Order Automation 2017
27 ROSETTA Robust self-testing with applications to device-independent cryptography 2017
28 GroIsRan Growth, Isoperimetry and Random walks on Groups 2017
29 GeoMeG Geometry of Metric groups 2017
30 QuEST Quantum Energy Conditions and Singularity Theorems 2017
31 CuMiN Currents and Minimizing Networks 2017
32 GalRepsDiophantine Galois Representations and Diophantine Problems 2018
33 EPGR The Evolution Problem in General Relativity 2017
34 GROGandGIN Growth in Groups and Graph Isomorphism Now 2017
35 GENERALIZED Generalized geometry: 3-manifolds and applications 2018
36 ACFD Acoustical and Canonical Fluid Dynamics in numerical general relativity 2017
37 ALEXANDRIA Large-Scale Formal Proof for the Working Mathematician 2017
38 SCCD Structure and classification of C*-dynamics 2018
39 SINGULARITY Singularities and Compactness in Nonlinear PDEs 2018
40 OptiMACS European industrial doctorate for efficient multidisciplinary design Optimization ofMultifunctional Aerospace Composite Structures 2018
41 NewtonStrat Newton strata - geometry and representations 2018
42 LowDegModCurve Low Degree Points on Modular Curves 2018
43 HARMONIC Discrete harmonic analysis for computer science 2019
44 EffectiveTG Effective Methods in Tame Geometry and Applications in Arithmetic and Dynamics 2018
45 IGOC Interactions between Groups, Orbits, and Cartans 2019
46 PCPABF Challenging Computational Infeasibility: PCP and Boolean functions 2019
47 Coh2Shape Modeling of partially spatially coherent distributed sources: derivation of an extended reciprocity theorem, creation of a numerical tool and experimental validation. 2019
48 FunI Revealing Fundamental Interactions and their Symmetries at the highest Precision and the lowest Energies 2019
49 TurantypeProblems Turan-type problems for graphs and hypergraphs 2019
50 HOTHSPOH Homotopy theory of spaces of homomorphisms 2019
51 AlgoQIP Beyond Shannon: Algorithms for optimal information processing 2020
52 RanMatRanGraCircEl Random Matrices, Random Graphs and Circular Elements 2020
53 SECULAR The Secularization Theorem in the Long Nineteenth Century 2020