Automated planning and scheduling
Planning Domain Definition Language
Mathematics
Heuristic
Search algorithm
Algorithm
Equation solving
Philosophy of mathematics
Abstraction