Computational complexity 4 Abstract data types 2 Abstraction functions 2 Algebra 2 Algebraic complexity theories 2 Algebraic complexity theory 2 Algebraic geometry 2 Algorithmic elimination theory 2 Algorithms 2 Computation model 2 Computation tree 2 Computer games 2 Functional requirement 2 Geometric elimination procedures 2 Geometry 2 Identity functions 2 Information hiding 2 Mathematical models 2 Mathematical programming 2 Matrix algebra 2 Polynomial equation solving 2 Polynomials 2 Quantifier elimination 2 Software engineering 2 Straight line program 2 Straight-line program 2 Symbolic computation 2 Theorem proving 2 Time space complexity 2 Time-space complexity 2