Mathlib Map

Map · 90

operations research

MSC 90 · Operations research, mathematical programming

31 declarations (7 theorems, 24 definitions) across 1 files. The 1000+ theorems list has no entries in this area.

Files are assigned to areas by a language model reading each file's documentation. Report a file that is in the wrong area.

Subareas1

  • 90C Mathematical programming 31

Files1

Largest first. The code after each file is its assigned subarea.