Plasma Physics at TU Graz

Reusable Lean foundations for Ore and Weyl algebras, D-modules, filtered quantizations, and algebraic analysis

KAMEL (Kinetic plAsma response ModEL): framework of codes KiLCA, KIM and QL-Balance used to calculate the kinetic plasma response to magnetic perturbations.

GLISS: Global Linear Ideal Stability Solver for 3D MHD equilibria, differentiable, GVEC-fed

NTV torque in resonant transport regimes using a Hamiltonian approach

Lean 4 formalization of Global Stafford: 1 = dR + FdS in D(A) for smooth integral affine A (in progress)

Lean 4 formalization of the Navier–Stokes checkpoint CP1 (private)