The page lists 9 projects related to the topic "integers".
# | |||
---|---|---|---|
1 | TOSSIBERG | Theory of Stein Spaces in Berkovich Geometry | 2015 |
2 | ANT | Automata in Number Theory | 2015 |
3 | CSP-Infinity | Homogeneous Structures, Constraint Satisfaction Problems, and Topological Clones | 2016 |
4 | K3CRYSTAL | Moduli of Crystals and K3 Surfaces | 2016 |
5 | CoTraDy | Combinatorics in Transcendental Dynamics | 2017 |
6 | GALOP | Galois theory of periods and applications. | 2017 |
7 | AV-SMP | Algorithmic Verification of String Manipulating Programs | 2017 |
8 | MODSTABVAR | Moduli spaces of stable varieties and applications | 2020 |
9 | ARiAT | Advanced Reasoning in Arithmetic Theories | 2020 |