Skip to content
DraconiticResearch
Search Sources API
181,713 studies31 sourcesUpdated 26 min ago
PreprintLicence not statedZenodo (CERN European Organization for Nuclear Research)

Exact Madelung and Bohm Quantum Potential Identities in Core Lean 4 (Zero Mathlib Dependencies)

  • Benjamin Frohman1
  1. 1Independent Researcher, Texas, United States
Open at sourceDOICite

Related

  1. Scale Anomaly in Supersymmetric Quantum Electrodynamics: Ward Identities, Supersymmetry Breaking, and Decoupling
    A. Yu. Petrov, A. R. Vieira
    arXivPreprintCC BY 4.0Full textHigh-energy & particle physicsarXiv
  2. Bethe Cycles, Frobenius Identities, and Quantum/Classical Duality
    Peter Koroteev
    arXivPreprintCC BY 4.0Full textAlgebra & number theoryMathematical physicsarXiv
  3. Inferring Temporal Dependencies from Social Time Series with the Cross-Correlogram
    Bridget Smart, Renaud Lambiotte, Takaaki Aoki +1
    arXivPreprintCC BY 4.0Full textStatistical & nonlinear physicsarXiv
  4. Quantum scattering by intersecting δ-potential barriers: from Gaudin's kaleidoscope to quantum Galperin billiards
    Yi-Cong Yu, Wen-Jie Qiu, Xiaoming Cai
    arXivPreprintarXiv licenceFull textQuantum physics & quantum informationarXiv
  5. Quantum-Classical Effective Fragment Potential Embedding for Condensed-Phase Quantum Chemistry
    Federico Zahariev, Vassiliki-Alexandra Glezakou, Mark S. Gordon
    arXivPreprintCC BY 4.0Full textPhysical chemistryQuantum physics & quantum informationarXiv

Cite

BibTeXRIS
BibTeX
@misc{frohman2026exact,
  title = {{Exact Madelung and Bohm Quantum Potential Identities in Core Lean 4 (Zero Mathlib Dependencies)}},
  author = {Benjamin Frohman},
  howpublished = {Zenodo (CERN European Organization for Nuclear Research)},
  year = {2026},
  month = oct,
  doi = {10.5281/zenodo.23629496},
  url = {https://doi.org/10.5281/zenodo.23629496},
}
RIS
TY  - UNPB
TI  - Exact Madelung and Bohm Quantum Potential Identities in Core Lean 4 (Zero Mathlib Dependencies)
AU  - Benjamin Frohman
PY  - 2026
DA  - 2026/10/06
PB  - Zenodo (CERN European Organization for Nuclear Research)
DO  - 10.5281/zenodo.23629496
UR  - https://doi.org/10.5281/zenodo.23629496
ER  -