mathematics
public under formal-science 366
- algebra 4
- arithmetic 1
- control-theory 5
- cryptography 7
- discrete-mathematics 3
- geometry 13
- group-theory 1
- mathematical-analysis 4
- mathematical-logic 12
- mathematical-optimization 5
- order-theory 1
- statistics 3
- graph-theory
- information-theory
- metamathematics
- number-theory
- numerical-analysis
- probability-theory
- set-theory
- topology