Similar to 反復補題
5項補題
Five lemma9項補題
Nine lemma
オグデンの補題
Ogden's lemma
正規言語の反復補題
Pumping lemma for regular languages
Δ-システム補題
Sunflower (mathematics)▲1 trends文脈自由言語の反復補題
Pumping lemma for context-free languages
Annals of Mathematics
Annals of Mathematics
Axiom (数式処理システム)
Axiom (computer algebra system)
CFL条件
Courant–Friedrichs–Lewy condition
L-system
L-system
Mizar
Mizar system
0
0
1
1
2
2
3
3
4
4
5
5
6
6
7
7
8
8
9
9
12345679
補題
Lemma (mathematics)アルティン・リースの補題
Artin–Rees lemma
伊藤の補題
Itô's lemma岡の補題
Oka's lemmaオズグットの補題
Osgood's lemma
開写像と閉写像
Open and closed maps