quadratic-forms

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

R package for moments and distributions of ratios of quadratic forms

A library for computing Hecke matrices, eigenvectors, and eigenvalues for positive definite rational ternary 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.

A Witt-type local-global principle for quadratic forms of dimension at least three over rational function fields of real closed fields, formalized in Lean 4.

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

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

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

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

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

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

Math 621M Term Paper