Opendata, web and dolomites
H2020 projects about "arithmetics"
The page lists 3 projects related to the topic "arithmetics".
| # | |||
|---|---|---|---|
| 1 | LDMRD | Large Deviations and Measure Rigidity in Dynamics | 2015 |
| 2 | ANT | Automata in Number Theory | 2015 |
| 3 | CAPA | Global existence and Computer-Assisted Proofs of singularities in incompressible fluids, with Applications | 2020 |