Mathematics
Cylindrical Algebraic Decomposition
100%
Algorithm
39%
Truth Table
26%
Polynomial
18%
Quantifier
17%
Variables
16%
Projection
16%
Chain
13%
Triangular Decomposition
12%
Branch Cut
12%
Real Algebraic Geometry
11%
Motion Planning
9%
Number
8%
Mathematics
8%
Real Geometry
7%
Functionality
7%
Decomposition Algorithms
6%
Complex Number
6%
Configuration Space
6%
Computational Problem
6%
Groebner Base
6%
Parameter Space
6%
Number Function
6%
Mathematica
6%
Parametric
6%
Complex Space
6%
Symbolic Computation
6%
Truth Value
5%
Worst Case
5%
Algebraic Set
5%
Engineering
Algorithm
39%
Computer Aided Design
23%
Functionality
12%
Chain
12%
Problem Formulation
8%
Buildings
8%
Library
8%
Planning
7%
Robot
7%
Quantifier
7%
Application
7%
Computer
6%
Complexity
6%
Multiple Steady State
6%
Codes
5%