Computer algebra
Automatic theorem proving
Machine learning and automatically theorem proving. Used for automatic Software validation