Popular repositories Loading

1. Quartic-Ohno-Nakagawa Quartic-Ohno-Nakagawa Public

   Files needed in the computer-assisted proof of quartic O-N (see arxiv.org/abs/2107.04727)

   Sage

2. Renaissance-canons Renaissance-canons Public

   Audio material and Sage code for the author's paper "Renaissance canons with asymmetric schemes."

   Sage

3. DioApprox DioApprox Public

   Sage code for CMU collaboration on Diophantine approximation 2024

   Sage 1

4. jEdit-modes jEdit-modes Public

   Syntax highlighting files for editing Magma and Macaulay2 code in jEdit.

5. coho-incidence coho-incidence Public

   Source code for the author's paper "Even-carry polynomials and cohomology of the incidence correspondence in positive characteristic"

   Macaulay2

6. PrimeNumberTheoremAnd PrimeNumberTheoremAnd Public

   Forked from AlexKontorovich/PrimeNumberTheoremAnd

   blueprint for prime number theorem and more

   Lean 1