Mathematics
Cylindrical Algebraic Decomposition
100%
Computer Algebra
47%
Polynomial
46%
Mathematics
25%
Symbolic Computation
21%
Triangular Decomposition
19%
Truth Table
17%
Branch Cut
16%
Nonlinear
13%
Algebraic System
12%
Parametric
11%
Elementary Function
10%
Worst Case
9%
Calculus
9%
Modulo
9%
Real Algebraic Geometry
9%
Algebraic Set
8%
Decomposition Algorithms
7%
Starting Point
6%
Complex Analysis
6%
Number Function
6%
Benchmarking
6%
Complex Plane
6%
Complex Number
6%
Formal Proof
6%
Numerics
6%
Arithmetic
5%
Mathematical Knowledge
5%
Mathematical Software
5%
Social Sciences
UK
52%
Computer Science
39%
Accreditation
15%
Occupational Career
13%
Career
12%
Case Study
11%
Communities-Of-Practice
11%
Academic Career
10%
Apprenticeship
10%
Computer Science Education
7%
Curriculum
7%
Professional Occupations
6%
Personalized Learning
6%
Professional Development
6%
Computer Scientist
5%
Apprentice
5%
Computer Science
Symbolic Computation
29%
Quantifier Elimination
26%
Computer Science
16%
Computer Aided Design
12%
Case Complexity
10%
Decision Procedure
10%
Instantiation
10%
Cybersecurity
10%
Artificial Intelligence
8%
Elementary Function
6%
Equality Constraint
6%
Benchmarking
6%
Truth Table
6%
Logical Structure
6%
Machine Learning
6%
Learning System
6%
introductory programming course
6%
Computer Algebra System
6%
Knowledge Management
5%
Complexity Analysis
5%
Motion Planning
5%
