Research Perspectives - Tools for Visualisation of Portfolios
EPSRC logo

EPSRC Database


Source RCUK EPSRC Data

Details for Topic Number 798

proof reasoning method theorem prover proving automated formal search result economics inductive ai increase powerful

http://www.researchperspectives.org/gow.topics/topic_798.png

Words in Topic

84 - proof

56 - reasoning

41 - method

37 - theorem

35 - prover

34 - proving

30 - automated

26 - formal

21 - search

16 - result

11 - economics

11 - inductive

10 - ai

9 - increase

9 - powerful

Key Grants