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 http://www.proofmood.com. Then we compare Fitch with more well-...
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
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,...