Opendata, web and dolomites
H2020 projects about "computability"
The page lists 6 projects related to the topic "computability".
| # | |||
|---|---|---|---|
| 1 | EUDAT2020 | EUDAT2020 | 2015 |
| 2 | SAT STABILIS | Nonlinear Sampled-data Attitude Stabilization of Underactuated Spacecraft | 2015 |
| 3 | GroupsComputability | Algorithms in algebra and topology | 2015 |
| 4 | ScaleOpt | Scaling Methods for Discrete and Continuous Optimization | 2018 |
| 5 | IMIC | Inner models and infinite computations | 2018 |
| 6 | GODELIANA | The Gödel Enigma: Unveiling a Hidden Logical Heritage | 2018 |