BitsExplorer

BitsExplorer finds what people are building with AI, every day. See today's picks →

Preview of Nava Robertson Schrodinger

Nava Robertson Schrodinger

NRS, NRS³ & det|NRS³: exact Robertson–Schrödinger inequality for the transport–position pair (T_d, P_d), the finite counterpart of H(X,P), its lift to x, y, z, and Robertson 1934 for the six observables, strict in the velocity band for every state — Lean 4 (Mathlib + physlib); experiments calibrate…

Description excerpted from the original listing, which is linked below.

Open it Source code

The week in AI-built software

Every Monday: how many projects were built with AI that week, which tools built them, where they came from, and the week's picks.

Read the latest week