Skip to content
#

lll-algorithm

Star

Here are 6 public repositories matching this topic...

Language: All
Filter by language
All 6 TypeScript 2 Jupyter Notebook 1 Lean 1 Wolfram Language 1 Python 1

AEjonanonymous / Non-existence-of-Perfect-Cuboids

Star 1

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

singularity computational-mathematics modular-arithmetic algebraic-geometry comparator number-theory interactive-theorem-proving hyperelliptic-curves mathlib lean4 diophantine-equations euler-bricks lll-algorithm formal-proof perfect-cuboid tate-shafarevich mordell-weil-theorem jacobian-analysis faltings-theorem irreducibility
  • Updated Oct 7, 2026
  • Lean

fatoundour / Mathematical-Optimization-Python

Star 0

Projet universitaire d'algorithmique et d'optimisation mathématique en Python : équilibre de Nash, voyageur de commerce (TSP), forme normale d'Hermite et réduction de bases (LLL).

python algorithms linear-algebra linear-programming game-theory operations-research pulp nash-equilibrium combinatorial-optimization traveling-salesman-problem mathematical-optimization lll-algorithm
  • Updated Oct 27, 2026
  • Jupyter Notebook

systemslibrarian / crypto-lab-lattice-gentle

Sponsor
Star 0

Browser-based lattice cryptography primer — Menezes, eprint 2026/1098. Drag a basis to feel good vs bad, step LLL until the short vectors surface, then watch LWE and SIS become the same problem ML-KEM and ML-DSA stand on. Real F_q arithmetic. No backend.

cryptography post-quantum-cryptography learning-with-errors closest-vector-problem crypto-lab shortest-vector-problem ml-kem ml-dsa lll-algorithm lattice-cryptography cryptography-education short-integer-solution
  • Updated Oct 28, 2026
  • TypeScript

systemslibrarian / crypto-lab-lll-break

Sponsor
Star 0

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 post-quantum-cryptography lattice-reduction learning-with-errors svp gram-schmidt crypto-lab lll-algorithm bkz lattice-cryptography
  • Updated Nov 3, 2026
  • TypeScript

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

Learn more