History: the history of mathematics development, the life of mathematicians, and the history of theorem proving. ...
Application class: the application of axioms and theorems, measuring height and length, and calculating maximum profit or minimum expenditure. ...
Influence category: the influence of mathematics on the country, society, economy and individuals. ...