Opendata, web and dolomites
H2020 projects about "theorems"
The page lists 43 projects related to the topic "theorems".
| # | |||
|---|---|---|---|
| 1 | GEOFLUIDS | Geometric problems in PDEs with applications to fluid mechanics | 2015 |
| 2 | GAN | Groups, Actions and von Neumann algebras | 2015 |
| 3 | LDMRD | Large Deviations and Measure Rigidity in Dynamics | 2015 |
| 4 | AI4REASON | Artificial Intelligence for Large-Scale Computer-Assisted Reasoning | 2015 |
| 5 | MaGRaTh | Matter and strong-field gravity: New frontiers in Einstein’s theory | 2015 |
| 6 | IChaos | Intermediate Chaos | 2016 |
| 7 | SEAQUEL | Structured Ensembles of Atoms for Quantum Engineering of Light | 2016 |
| 8 | IPAHOT-PVC | Integral p-adic Hodge Theory and p-adic Vanishing Cycles | 2016 |
| 9 | GrDyAp | Groups, Dynamics, and Approximation | 2016 |
| 10 | CIRCUS | An end-to-end verification architecture for building Certified Implementations of Robust, Cryptographically Secure web applications | 2016 |
| 11 | K3CRYSTAL | Moduli of Crystals and K3 Surfaces | 2016 |
| 12 | BSD | Euler systems and the conjectures of Birch and Swinnerton-Dyer, Bloch and Kato | 2016 |
| 13 | GMLP | Global Methods in the Langlands Program | 2017 |
| 14 | CONSTAMIS | Connecting Statistical Mechanics and Conformal Field Theory: an Ising Model Perspective | 2017 |
| 15 | SMART | Strong Modular proof Assistance: Reasoning across Theories | 2017 |
| 16 | OPREP | Operator Based Representations for Geometry Processing | 2017 |
| 17 | QuEST | Quantum Energy Conditions and Singularity Theorems | 2017 |
| 18 | BTMG | Birational and Tropical Methods in Geometry | 2018 |
| 19 | GalRepsDiophantine | Galois Representations and Diophantine Problems | 2018 |
| 20 | HoloBH | Infinite-dimensional symmetries, black holes, and holography | 2019 |
| 21 | ALEXANDRIA | Large-Scale Formal Proof for the Working Mathematician | 2017 |
| 22 | ADSNeSP | Active and Driven Systems: Nonequilibrium Statistical Physics | 2017 |
| 23 | CGinsideNP | Complexity Inside NP - A Computational Geometry Perspective | 2018 |
| 24 | Precaution | Being precautionary: how rational? How ethical? | 2018 |
| 25 | GODELIANA | The Gödel Enigma: Unveiling a Hidden Logical Heritage | 2018 |
| 26 | LOFUPRO | The Logical Function of Property Talk | 2018 |
| 27 | LowDegModCurve | Low Degree Points on Modular Curves | 2018 |
| 28 | AlgSignSen | The Algebraic Geometry of Chemical Reaction Networks: Structural conditions for uniquely determined Sign-sensitivities. | 2019 |
| 29 | SQuHadron | Strategies to tackle the Quest for Hadronization | 2019 |
| 30 | OTmeetsDFT | Multi-marginal Optimal Transport and Density Functional Theory: a mathematical setting for physical ideas | 2019 |
| 31 | Loops and groups | Loops and groups: Geodesics, moduli spaces, and infinite discrete groups via string topology and homological stability | 2018 |
| 32 | G-Statistics | Foundations of Geometric Statistics and Their Application in the Life Sciences | 2018 |
| 33 | ReduceSearch | Rigorous Search Space Reduction | 2019 |
| 34 | BeyondA1 | Set theory beyond the first uncountable cardinal | 2018 |
| 35 | Active-DNA | Computationally Active DNA Nanostructures | 2018 |
| 36 | PATHWISE | Pathwise methods and stochastic calculus in the path towards understanding high-dimensional phenomena | 2019 |
| 37 | CoSP | Combinatorial Structures and Processes | 2019 |
| 38 | AutoCPS | Automated Synthesis of Cyber-Physical Systems: A Compositional Approach | 2019 |
| 39 | WallCrossAG | Wall-Crossing and Algebraic Geometry | 2019 |
| 40 | QSHvar | Quantitative stochastic homogenization of variational problems | 2019 |
| 41 | CHROMPART | Partition calculus on graphs, digraphs and hypergraphs with uncountable chromatic number | 2020 |
| 42 | CAPA | Global existence and Computer-Assisted Proofs of singularities in incompressible fluids, with Applications | 2020 |
| 43 | FLUSPEC | Analysis of geometry-driven phenomena in fluid mechanics, PDEs and spectral theory | 2021 |