Forschung
KI-gestützte Formalisierung des Vlasov‑Maxwell‑Landau‑Equilibriums in Lean 4
In einer kürzlich veröffentlichten Arbeit auf arXiv wurde die vollständige Formalisierung der Gleichgewichtskarakterisierung des Vlasov‑Max…
arXiv – cs.AI