#

lll-algorithm

Here are 4 public repositories matching this topic...

AEjonanonymous / Non-existence-of-Perfect-Cuboids

Formal Proof of the Non-Existence of Perfect Cuboids via Mordell-Weil Rank Exhaustion and Minimal Polynomial Irreducibility of the Perfect Cuboid Surface.

Updated May 5, 2026
Lean

systemslibrarian / crypto-lab-lll-break

Browser-based LLL and BKZ lattice reduction demo — Gram-Schmidt orthogonalization, Lovász condition, step-by-step basis reduction animation, toy LWE primal attack, parameter explorer showing why Kyber's n=256 q=3329 survives while toy parameters fail instantly. The hardness assumption, made tangible. No backends. No simulated math.

cryptography lattice-reduction post-quantum learning-with-errors svp gram-schmidt crypto-lab browser-demo lll-algorithm bkz lattice-cryptography

Updated Apr 18, 2026
TypeScript

wdlang / poincare_recurrence

Mathematica codes used to generate figures in the paper 'Witnessing a Poincaré recurrence with Mathematica', Results in Physics 7, 3373 (2017)

statistical-mechanics classical-mechanics integrable-systems poincare-recurrence lll-algorithm

Updated Feb 5, 2024
Mathematica

A1013139298 / Non-existence-of-Perfect-Cuboids

Prove the non-existence of perfect cuboids using formal methods and algebraic structures verified in Lean 4 with detailed mathematical analysis.

lift singularity computational-mathematics modular-arithmetic algebraic-geometry number-theory interactive-theorem-proving hyperelliptic-curves diophantine-equations euler-bricks lll-algorithm formal-proof perfect-cuboid tate-shafarevich jacobian-analysis faltings-theorem irreducibility

Updated May 7, 2026

Improve this page

Add a description, image, and links to the lll-algorithm topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the lll-algorithm topic, visit your repo's landing page and select "manage topics."