CORDIS
EU research results

CORDIS

English EN
Constructive Mathematics: Proof and Computation

Constructive Mathematics: Proof and Computation