Opendata, web and dolomites

H2020 projects about "theorems"

The page lists 43 projects related to the topic "theorems".

# achronym  title  year 
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