Video
 Subject+ContentSubjectContentCommentUser NameNick NameUser IDTag
1. ### Fermat´s last theorem

Fermat´s last theorem
CategoryMath Colloquia Dept.카이스트 Lecturer최서현
2. ### Birational Geometry of varieties with effective anti-canonical divisors

Fano varieties are fundamental objects in algebraic geometry. These can be considered as the unique output of the -K -minimal model program on the varieties with effective anticanonical divisors. Thus the initial models should encode the in...
CategoryMath Colloquia Dept.연세대학교 Lecturer최성락
3. ### 2021-1 Rookies Pitch: Representation Theory (최승일)

영상초기에 음향문제로 소리가 들리지 않습니다. 영상 3분 17초 부터 나오기 시작합니다.
CategoryBK21 FOUR Rookies Pitch Dept.QSMS Lecturer최승일
4. ### An equivalent condition to Bohr's for Dirichlet series

초록: SNU-abstract.pdf
CategoryMath Colloquia Dept.포항공대 Lecturer최윤성
5. ### 원의 유리매개화에 관련된 수학

The spaces admitting a rational parameterization are called rational. In particular plane conics, including circles, are rational. We will explain a few interesting applications of the rational parameterization of a circle. Also several exam...
CategoryMath Colloquia Dept.건국대학교 Lecturer최인송
6. ### 학부생을 위한 ε 강연회: Constructions by ruler and compass together with a conic

Trisection of an angle and duplication of a cube are among the famous problems of Greeks. Although they were proven later to be impossible in general, Greeks already knew that one can trisect an angle and duplicate a cube by supplimenting se...
CategoryMath Colloquia Dept.건국대/서울대 Lecturer최인송
7. ### 극소곡면의 등주부등식

둘레가 같은 평면의 영역중에서 넓이가 최대인 것은 원이라는 것이 등주부등식이다. 이와 똑 같은 등주부등식이 극소곡면에 대해서도 성립할 것이라는 예상이 90년 전에 제기되었다. 이 예상의 역사와 현주소에 대해서 알아보기로 하자.
CategoryMath Colloquia Dept.KIAS Lecturer최재경
8. ### Seeded Ising Model for Human Iris Templates and Secure Distributed Iris Recognition

.
CategoryMath Colloquia Dept.서울대학교 Lecturer최형인
9. ### One and Two dimensional Coulomb Systems

Coulomb Gases are point processes consisting of particles whose pair interaction is governed by the Coulomb potential. There is also an external potential which confines the particles to a region. Wigner introduced this toy model for the Gi...
CategoryMath Colloquia Dept.카이스트 Lecturer폴정
10. ### 젊은과학자상 수상기념강연: From particle to kinetic and hydrodynamic descriptions to flocking and synchronization

In this talk, I will report a recent progress for the modeling of collective behaviors of complex systems, in particular ocking and synchronization. Flocking and synchro-nization are ubiquitous in our daily life, for example, ocking of birds...
CategoryMath Colloquia Dept.서울대학교 Lecturer하승열
11. ### 2022-2 Rookies Pitch: Harmonic Analysis (함세헌)

CategoryBK21 FOUR Rookies Pitch Dept.수학연구소 Lecturer함세헌
12. ### Combinatorics and Hodge theory

I will tell two interrelated stories illustrating fruitful interactions between combinatorics and Hodge theory. The first is that of Lorentzian polynomials, based on my joint work with Petter Brändén. They link continuous convex...
CategorySpecial Colloquia Dept.미국 프린스턴대 교수, 한국 고등과학원 석학교수 Lecturer허준이
13. ### 허준이 교수 호암상 수상 기념 강연 (Lorentzian Polynomials)

본격적인 강연은 1:56 부터 시작됩니다. 강연파일은 아래 첨부를 참고하시기 바랍니다. Lorentzian polynomials.pdf
CategorySpecial Colloquia Dept.Professor, Stanford University Lecturer허준이 교수
14. ### Mechanization of proof: from 4-Color theorem to compiler verification

I will give a broad introduction to how to mechanize mathematics (or proof), which will be mainly about the proof assistant Coq. Mechanizing mathematics consists of (i) defining a set theory, (2) developing a tool that allows writing definit...
CategoryMath Colloquia Dept.서울대 컴퓨터공학부 Lecturer허충길
15. ### 2022-2 Rookies Pitch: Representation Theory(허태혁)

CategoryBK21 FOUR Rookies Pitch Dept.QSMS Lecturer허태혁
16. ### Limit computations in algebraic geometry and their complexity

Given a one-parameter family of algebraic varieties, its point-wise limit is usually too small whereas its algebraic limit is usually too big. I will introduce a notion of meaningful geometric limit and explain how it can be effectively comp...
CategoryMath Colloquia Dept.POSTECH Lecturer현동훈
17. ### Geometry, algebra and computation in moduli theory

I will explain the basic concepts of moduli and how moduli spaces can be constructed in algebraic geometry. Exploring the moduli spaces and issues arising from their construction lead to interesting interplay of geometry, algebra and computa...
CategoryMath Colloquia Dept.서울대 Lecturer현동훈
18. ### <학부생을 위한 ɛ 강연> Geometry and algebra of computational complexity

학부생을 위한 이 강연에서는 고전적 튜링 기계의 기본적 정의로부터 시작하여 • 튜링기계를 비롯한 다양한 컴퓨터 모델의 복잡도 개념; • 계산(불)가능성 – 특히 디오판틴 방정식의 알고리즘적 해결법 (힐버트의 10번째 문제); • Non-deterministic 튜링 기계...
CategoryMath Colloquia Dept.서울대학교 Lecturer현동훈