Skip to content
#

convolution-integral

Star

Here is 1 public repository matching this topic...

AEjonanonymous / Goodbye-to-phi

Star 1

Replacing the Galvani Potential with a Boltzmann Geometric State Equation for Next-Gen Battery Operation and Reduced-Gravity Molten Salt Electrolysis. (Lean 4 and Python)

python-library equation-of-state comparator electrodynamics poisson-equation electrochemistry interactive-theorem-proving mathlib in-situ-resource-utilization academic-research lean4 boltzmann-distribution space-mining galvani-potential principle-of-superposition convolution-integral geometric-coupling-constant next-gen-battery molten-salt-electrolysis
  • Updated Oct 4, 2026
  • Lean

Add this topic to your repo

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

Learn more