Computer Science
Application
20%
Automated Reasoning
10%
Automated Tool
60%
Classes
10%
Classification
20%
Complexity
10%
Computer
10%
Computer Algebra System
20%
Design
20%
Domains
30%
Equivalence Relation
10%
for Loop
10%
Generalization
10%
Higher Order Logic
60%
Inductive Proof
60%
Instantiation
80%
Invariants
40%
Mathematical Theory
100%
Model Generation
10%
Ordered Rewriting
20%
Proof Obligation
80%
Reasoning Technique
10%
Software Verification
20%
Synthesis
40%
Theorem Prover
60%
Theorem Proving
10%
Theory Formation
60%
User
40%
Mathematics
Algebra
30%
Algebraic Domain
10%
Classification
20%
Equivalence Relation
10%
Generation Model
10%
Invariant
30%
Isotopic
20%
Isotopism
10%
Isotopy
40%
Isotopy Class
10%
Largest Number
13%
Mathematical Theory
20%
Mathematics
40%
Number
40%
Arts and Humanities
Conjecture
26%
Engineering Process
13%
Enterprise
13%
Intrinsic
13%
MeRIT
13%
Novelty
13%
Procedure
26%
System
13%
Tower
13%