Software
Operations research
BARON
SNOPT
Linear programming
MINOS
Lis
Computer algebra systems
Numerical analysis
Numerical software
Mathematical software