Publications

  • A Novel Approach to Fantasy Basketball Management, with Z. Samuels. To be presented at the MIT Sloan Sports Analytics Conference, March 6, 2010.
  • Assessing Document Quality in Government Intelligence Reports, with P. Kantor and E. Morse. Submitted.
  • Sparse Online Polytomous Logistic Regression for Text Classification, with P. Kantor, D. Lewis, V. Menkov, and T. Zhang. Submitted.
  • Lower Bounds on the Firefighter Problem in Z x Z, with S. Coskey. In progress.
  • Spanning Tree Sequences are Divisibility Sequences. In progress.
  • Finite Analogs of Szemeredi’s Theorem, with D. Zeilberger. Accepted to the AMS Contemporary Mathematics Special Issue on Experimental Mathematics.
  • Spanning Trees in Grid Graphs. Accepted to Advances in Applied Mathematics.
  • A Generalization of the Firefighter Problem in Z x Z, with K. L. Ng. Discrete Applied Mathematics 156 (2008), 730-745.
  • A Formally Verified Proof of the Prime Number Theorem, with J. Avigad, K. Donnelly, and D. Gray. ACM Transactions on Computational Logic 9(1:2) (2007), 1-23.

Comments (0)

  • No comments yet.