1. Structures of Formal Proofs

    Fitch is a formal proof system recently gaining momentum in logic education due to its structural similarity to human reasoning. We introduce Fitch via its web-implementation at Then we compare Fitch with more well-...
    CategoryMath Colloquia Dept.경북대학교 Lecturer정주희
    Read More
  2. Study stochastic biochemical systems via their underlying network structures

    When a biological system is modeled using a mathematical process, the following step is normally to estimate the system parameters. Despite the numerous computational and statistical techniques, estimating parameters for complex systems can...
    CategoryMath Colloquia Dept.포항공과대학교 Lecturer김진수
    Read More
  3. Subgroups of Mapping Class Groups

    The mapping class group of a surface S is the component group of orientation-preserving homeomorphisms on S. We survey geometric and algebraic aspects of this group, and introduce a technique of using right-angled Artin groups to find geomet...
    CategoryMath Colloquia Dept.서울대학교 Lecturer김상현
    Read More
  4. Subword complexity, expansion of real numbers and irrationality exponents

    We introduce and study a new complexity function in combinatorics on words, which takes into account the smallest return time of a factor of an infinite word. We characterize the eventually periodic words and the Sturmian words by means of t...
    CategoryMath Colloquia Dept.동국대 Lecturer김동한
    Read More
  5. Sums of squares in quadratic number rings

    It is usually a difficult problem to characterize precisely which elements of a given integral domain can be written as a sum of squares of elements from the integral domain. Let R denote the ring of integers in a quadratic number field. Thi...
    CategoryMath Colloquia Dept.Univ. of Kentucky LecturerDavid Leep
    Read More
  6. Symmetry Breaking in Quasi-1D Coulomb Systems

    Symmetry Breaking in Quasi-1D Coulomb Systems
    CategoryMath Colloquia Dept.서강대학교 LecturerPaul Jung
    Read More
  7. Symplectic Geometry, Mirror symmetry and Holomorphic Curves

    Symplectic geometry arose from the study of classical mechanics, and later many interesting symplectic invariants has been found since Gromov introduced techniques of J-holomorphic curves. Miraculously, such invariants are closely related wi...
    CategoryMath Colloquia Dept.연세대 수학과 Lecturer홍한솔
    Read More
  8. Symplectic topology and mirror symmetry of partial flag manifolds

    Soon after Gromov’s applications of pseudo-holomorphic curves to symplectic topology, Floer invented an infinite-dimensional Morse theory by analyzing moduli spaces of pseudo-holomorphic curves to make substantial progress on Arnold&r...
    CategoryMath Colloquia Dept.부산대학교 수학과 Lecturer김유식
    Read More
  9. The classification of fusion categories and operator algebras

    CategoryMath Colloquia Dept.Kyoto University LecturerMasaki Izumi
    Read More
  10. The Lagrange and Markov Spectra of Pythagorean triples

    The Lagrange spectrum is the set of approximation constants in the Diophantine approximation for badly approximated numbers. It is closely related with the Markov spectrum which corresponds the minimum values of indefinite quadratic forms ov...
    CategoryMath Colloquia Dept.동국대학교 Lecturer김동한
    Read More
  11. The Mathematics of the Bose Gas and its Condensation

    Since Bose and Einstein discovered the condensation of Bose gas, which we now call Bose-Einstein condensation, its mathematical properties have been of great importance for mathematical physics. Recently, many rigorous results have been obta...
    CategoryMath Colloquia Dept.KAIST Lecturer이지운
    Read More
  12. The phase retrieval problem

    In many applications such as X-ray Crystallography, imaging, communication and others, one must construct a function/signal from only the magnitude of the measurements. These measurements can be, for example, the Fourier transform of the den...
    CategoryMath Colloquia Dept.Hong Kong University of Science and Technology LecturerYang Wang
    Read More
  13. The process of mathematical modelling for complex and stochastic biological systems

    The revolution of molecular biology in the early 1980s has revealed complex network of non-linear and stochastic biochemical interactions underlying biological systems. To understand this complex system, mathematical models have been widely ...
    CategoryMath Colloquia Dept.KAIST Lecturer김재경
    Read More
  14. The Shape of Data

    Creating information and knowledge from large and complex data sets is one the fundamental intellectual challenges currently being faced by the mathematical sciences. One approach to this problem comes from the mathematical subdiscipline cal...
    CategoryMath Colloquia Dept.Stanford University LecturerGunnar E. Carlsson
    Read More
  15. The significance of dimensions in mathematics

    The significance of dimensions in mathematics
    CategoryMath Colloquia Dept.Kyoto Univ./서울대학교 LecturerHeisuke Hironaka
    Read More
  16. Theory and applications of partial differential equations

    I will talk in general about theory and applications of partial differential equations. A recent progress in the regularity theory for nonlinear problems will be also discussed, including uniform estimates of solutions in various function sp...
    CategoryMath Colloquia Dept.서울대 Lecturer변순식
    Read More
  17. Topological aspects in the theory of aperiodic solids and tiling spaces

    After a review of various types of tilings and aperiodic materials, the notion of tiling space (or Hull) will be defined. The action of the translation group makes it a dynamical system. Various local properties, such as the notion of "Finit...
    CategoryMath Colloquia Dept.Georgia Institute of Technology, School of Mathematics and School of Physics LecturerJean V. Bellissard
    Read More
  18. Topological surgery through singularity in mean curvature flow

    The mean curvature flow is an evolution of hypersurfaces satisfying a geometric heat equation. The flow naturally develops singularities and changes the topology of the hypersurfaces at singularities, Therefore, one can study topological pr...
    CategoryMath Colloquia Dept.고등과학원 Lecturer최경수
    Read More
  19. Topology and number theory

    We will review a number of topological themes in number theory, starting with homology and ending with a discussion arithmetic homotopy.
    CategoryMath Colloquia Dept.Univ. College London/포항공대 Lecturer김민형
    Read More
  20. Topology of configuration spaces on graphs

    학부에서 왜 abstract algebra I, II 를 온전히 배워야 하는지를 BC 5세기경 Pythagoras로 부터 시작된 수론 문제가 현재까지 어떻게 발전되어 왔는지를 예를 들어 설명합니다.
    CategoryMath Colloquia Dept.KAIST Lecturer고기형
    Read More
Board Pagination Prev 1 2 3 4 5 6 7 8 9 10 11 Next
/ 11