2 papers
cs.LO2026
Lean-GAP: A Dataset of Formalized Graduate Algebra Problems
Seewoo Lee, Byung-Hak Hwang, Hyojae Lim +10
We present Lean-GAP (Lean-Graduate Agebra Problems), 430 formalized graduate-level algebra problems from the textbook Abstract Algebra by Dummit and Foote. We develop a scalable pi…
math.PR2018
Dirichlet forms and ultrametric Cantor sets associated to higher-rank graphs
Jaeseong Heo, Sooran Kang, Yongdo Lim
The aim of this paper is to study the heat kernel and jump kernel of the Dirichlet form associated to ultrametric Cantor sets $\partial\BB_Λ$ that is the infinite path space of the…