Daniel Whalen
- Holophrasm: a neural Automated Theorem Prover for higher-order logic
2016/08/08 by Daniel Whalen, Whalen, Daniel · 6 citations
Computer Science · #Artificial Intelligence (cs.AI) #Artificial Intelligence in Games #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Natural Language Processing Techniques
- The Destruction of Cosmological Minihalos by Primordial Supernovae
2008/01/31 by Daniel Whalen, Bob van Veelen, Brian W. O'Shea +1 · 1 citation
Physics and Astronomy · #astro-ph
- The Nucleosynthetic Imprint of 15-40 Solar Mass Primordial Supernovae on Metal-Poor Stars
2009/07/31 by C. C. Joggerst, A. Almgren, J. Bell +3 · 1 citation
Physics and Astronomy · #astro-ph.CO #astro-ph.HE
- On the elliptic genera of manifolds of Spin(7) holonomy
2014/12/08 by Nathan Benjamin, Sarah M. Harrison, Benjamin, Nathan +7 · 1 citation
Mathematics · Physics and Astronomy · #Advanced Algebra and Geometry #Algebraic structures and combinatorial models #Black Holes and Theoretical Physics #FOS: Physical sciences #High Energy Physics - Theory (hep-th) #hep-th
- Vector-Valued Rademacher Sums and Automorphic Integrals
2014/06/03 by Daniel Whalen, Whalen, Daniel · 2 citations
Mathematics · #Advanced Algebra and Geometry #Advanced Topics in Algebra #Algebraic structures and combinatorial models #FOS: Mathematics #Number Theory (math.NT)
- Exceptional Algebra and Sporadic Groups at c=12
2015/03/24 by Miranda C. N. Cheng, Cheng, Miranda C. N., Sarah M. Harrison +5 · 2 citations
Mathematics · Physics and Astronomy · #Algebraic structures and combinatorial models #Black Holes and Theoretical Physics #FOS: Physical sciences #High Energy Physics - Theory (hep-th) #Nonlinear Waves and Solitons #hep-th