quadratic-forms

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.

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

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.

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

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).

Lean 4 formalization of Beli results on BONGs and quadratic lattices over dyadic local fields

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

Lean 4 formalization of First Proof Second Batch Problem 6: an irreducible vertex in a positive-definite integer-weighted tree lattice.

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

Bounds, exact computations, barriers, and open problems for extremal Seidel quadratic forms on the Boolean cube.

Math 621M Term Paper