Opendata, web and dolomites
H2020 projects about "theorem"
The page lists 53 projects related to the topic "theorem".
| # | |||
|---|---|---|---|
| 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 |