보조정리 (bojojeongli) Meaning in English - translations and usage examples

Noun
lemma
보조정리
정리
theorem
정리
원리
이론
정리의
보조정리
대정리
의 부등식
확장정리
formula
공식
수식
포뮬러
the formula
화학식
포뮬라
분유
transformation
변환
변화
전환
변형
혁신
변혁
전이
변신
트랜스포메이션
변환의

Examples of using 보조정리 in Korean and their translations into English

{-}
  • Colloquial category close
  • Ecclesiastic category close
  • Ecclesiastic category close
  • Programming category close
  • Computer category close
요네다 보조정리.
Yoneda's lemma.
케네디의 보조정리: 펄의 구문을 분석할 수 있으면, 정지 문제를 풀 수 있다.
Kennedy's Lemma: If you can parse Perl, you can solve the Halting Problem.
번사이드 보조정리.
Burnside lemma.
펌핑 보조정리.
Pumping argument.
번사이드 보조정리.
Burnside's formula.
사드 보조정리.
Morse-Sard theorem.
번사이드 보조정리.
Pólya-Burnside lemma.
아벨 보조정리.
번사이드 보조정리.
Polya-Burnside Lemma.
사드 보조정리.
Morse-Sard-Federer theorem.
번사이드 보조정리.
Orbit-counting theorem.
펌핑 보조정리.
The bar-hilel lemma.
번사이드 보조정리.
Cauchy-Frobenius lemma.
펌핑 보조정리.
The bar-hillel lemma.
르베그 수 보조정리.
Lebesgue's covering lemma.
N = 2 m + 1 {\displaystyle n=2m+1} 이 홀수이면 슈어 보조정리에서 다음을 따른다.
If n= 2m+1 is odd then it follows from Schur's Lemma that.
번사이드 보조정리.
Burnside's counting theorem.
케네디의 보조정리는, 펄의 구문을 분석할 수 있으면 정지 문제를 풀 수 있다는 것이었습니다.
Kennedy's Lemma was that, if you can parse Perl, you can solve the Halting Problem.
사드의 보조정리.
Morse-Sard theorem.
번사이드 보조정리.
The Burnside Formula.
아벨의 보조정리.
Abel transformation.
번사이드 보조정리.
Polya-Burnside counting theorem.
이토의 보조정리.
Itō-Doeblin's formula.
사드의 보조정리.
Morse-Sard-Federer theorem.
Results: 24, Time: 0.0322

Top dictionary queries

Korean - English