Skip to main content

Fast and Reliable Symbolic Computation

Project description

Proof assistant advances could boost computer algebra reliability

Call for proposal

ERC-2020-COG
See other projects for this call

Host institution

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE
Address
Domaine De Voluceau Rocquencourt
78153 Le Chesnay Cedex
France
Activity type
Research Organisations
EU contribution
€ 1 999 926

Beneficiaries (1)

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE
France
EU contribution
€ 1 999 926
Address
Domaine De Voluceau Rocquencourt
78153 Le Chesnay Cedex
Activity type
Research Organisations