이수 학점 영어 로. KJS NRW. 원 정상 발 로란트. Reduced Gröbner basis.