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-...
    Category수학강연회 소속경북대학교 강연자정주희
    Read More
  2. Contact Homology and Constructions of Contact Manifolds

    Category수학강연회 소속서울대 강연자Otto van Koert
    Read More
  3. Unprojection

    Unprojection or "constructing bigger Gorenstein ideals from smaller one" is an algebraic device for constructing Gorenstein varieties in codimension 4, 5, ..., beyond the range of standard structure theorems; it has a large number of fairly ...
    Category수학강연회 소속University of Warwick / 서강대 강연자Miles Reid
    Read More
  4. Volume entropy of hyperbolic buildings

    Volume entropy of a compact manifold is the exponential growth rate of balls in the universal cover. This seemingly coarse invariant contains a lot of geometric information of the manifold. We will discuss some relations to other invariants,...
    Category수학강연회 소속서울대 강연자임선희
    Read More
Board Pagination Prev 1 ... 5 6 7 8 9 10 11 12 13 14 15 Next
/ 15