arithmetics

LocalGlobal0Cycles · Local-global principles and zero-cycles

ESCSSE · Embedding Sparse Combinatorial Structures using Sublinear Expanders

QuasiHyp · Quasi-random hypergraphs

2 partners · 2 countries

PolyBar · A new approach to polymorphism through bar recursion

Entrans · Energy Efficient Transprecision Techniques for Linear Solver

IDPOQ · Evaluation and implementation of post-quantum cryptographic schemes

LowDegModCurve · Low Degree Points on Modular Curves

NUMELAT · Numbers in the brain: the impact of brain lateralization on numerical abilities

2 partners

SREACEP · Sparse Robust Expander with Applications in Combinatorial Embedding Problems

HiProLoop · Scattering Amplitudes for Higgs Production at High-Order as touchstone for Automated Multiloop Feynman Calculus

NewLoops · Higher-loop amplitudes on the sphere: a new approach to the perturbative expansion of quantum field theories

MiLC · Monotonicity in Logic and Complexity

AGAGAP · Algebraic Group Actions in Geometry, Arithmetic, and Physics

TPANN · Tensor Processing on FPGAs for Artificial Neural Networks

CriticalGZ · Critical Slope Gross-Zagier formula and Perrin-Riou's Conjecture

3 partners · 3 countries

InfTy · Infinitary Rewriting for Type Systems

SLMK · The Scope and Limits of Mathematical Knowledge

FusionSystems · Simple fusion systems and linking systems

ZC · Torsion units of integral group rings

InfGroups · Foundations for computing with infinite linear groups

QLO-QG · Quasi-local observables in quantum gravity

MORE-or-LESS · do Maths Outcomes Reflect Expertise Linked to Effective Strategy Selection? Event related brain potentials and eye movement studies in children and adults

NANOxCOMP · Synthesis and Performance Optimization of a Switching Nano-crossbar Computer

9 partners · 6 countries

KaMCAM · Kac-Moody groups and Computer Assistants in Mathematics