Skip to main content

Advanced Reasoning in Arithmetic Theories

Project description

Testing better decision-procedure algorithms for computer science

Field of science

  • /natural sciences/mathematics/pure mathematics/arithmetic
  • /natural sciences/computer and information sciences/artificial intelligence

Call for proposal

ERC-2019-STG
See other projects for this call

Funding Scheme

ERC-STG - Starting Grant

Host institution

UNIVERSITY COLLEGE LONDON
Address
Gower Street
WC1E 6BT London
United Kingdom
Activity type
Higher or Secondary Education Establishments
EU contribution
€ 1 481 864

Beneficiaries (1)

UNIVERSITY COLLEGE LONDON
United Kingdom
EU contribution
€ 1 481 864
Address
Gower Street
WC1E 6BT London
Activity type
Higher or Secondary Education Establishments