Daniel Halpern-Leistner
- Mapping stacks and categorical notions of properness
2014/02/13 by Daniel Halpern-Leistner, Halpern-Leistner, Daniel, Anatoly Preygel +1 · 4 citations
Computer Science · Mathematics · #14A20 #14F05 #18-XX #Algebraic Geometry (math.AG) #Algebraic Geometry and Number Theory #Commutative Algebra and Its Applications #FOS: Mathematics #Polynomial and algebraic computation
- Aristotle: IMO-level Automated Theorem Proving
2025/10/01 by Tudor Achim, Alex Best, Achim, Tudor +43 · 3 voices · 5 citations
#cs.AI #cs.CL
- The equivariant Verlinde formula on the moduli of Higgs bundles
2016/08/05 by Daniel Halpern-Leistner, Halpern-Leistner, Daniel · 1 citation
Mathematics · #14D20 #14F05 #14xx #Advanced Algebra and Geometry #Algebraic Geometry (math.AG) #Algebraic Geometry and Number Theory #FOS: Mathematics #FOS: Physical sciences #Homotopy and Cohomology in Algebraic Topology #Mathematical Physics (math-ph) #Quantum Algebra (math.QA) #Representation Theory (math.RT)
- Learning selection strategies in Buchberger's algorithm
2020/05/05 by Dylan Peifer, Peifer, Dylan, Michael Stillman +3 · 1 citation
Computer Science · Engineering · Mathematics · #Polynomial and algebraic computation #Advanced Numerical Analysis Techniques #Advanced Combinatorial Mathematics
- Intrinsic Donaldson-Thomas theory. I. Component lattices of stacks
2025/02/19 by Chenjing Bu, Bu, Chenjing, Daniel Halpern-Leistner +5 · 4 citations
Computer Science · Mathematics · #Advanced Algebra and Logic #Algebraic Geometry (math.AG) #FOS: Mathematics #Mathematical Dynamics and Fractals #Representation Theory (math.RT)