A package for evaluating tail probabilities and partial moments for random vectors in multivariate generalized hyperbolic random vectors.

A library for computing Hecke matrices, eigenvectors, and eigenvalues for positive definite rational ternary quadratic forms.

R package for moments and distributions of ratios of quadratic forms

A Lean 4 study of the defect: an invariant of a positive-definite quadratic form on a finite-rank lattice measuring the failure of its spectrum to factor over the primes. Math amateur + LLM-coauthor, so.. you know.

Provides a simple interface to calculate integers represented by a Binary Quadratic Form efficiently with SageMath. On top of that a query function to the OEIS.

This is an (unfinished) algorithm to diagonalization of quadratic form matrices

Companion files for my research project on ternary quadratic forms with congruence conditions.

Clifford algebras (with nilpotents) over the field-like subclasses of combinatorial games: nimbers, surreals, surcomplex. Rust core + Python bindings.

Code to verify a couple theorems on integers represented by shifted binary quadratic forms.

Byte-exact theorems on the Fermat quartic fourfold lattice — from a run at the unbeaten dimension-128 sphere-packing record. Keystone: the Bridge Theorem (Hodge norm = geometric intersection form).

Math 621M Term Paper