La Classification Mathématique par matières 2000
Mathematics subject Classification 2000

Question : CC = Cut
03-XX Mathematical logic and foundations

• 03F05 Cut-elimination and normal-form theorems

90-XX Operations research, mathematical programming

• 90C57 Polyhedral combinatorics, branch-and-bound, branch-and-cut [Nouveau code MSC 2000]
  • Code MSC1991 affilié : 90C27

---

Mot-clé :

---

Retour à la page Classification Mathématique par Matières (version 2000)