Computer-aided proofs analysis (ERC)

Tidsperiod:

1 januari 2009 – 31 december 2013

Projektledare:

Warwick Tucker

Finansiär:

Vetenskapsrådet

Bidragstyp:

Projektbidrag

Budget:

10 000 000 SEK