Skip to main content
HEXAGONbeta
SubmitAboutWho we areSign in
hexagon:2611.00323v1/Source files

Expressiveness, Verifiability, Tractability: Toward a Computational Thermodynamics

Contributed by Benjamin Kaminsky

Source files

Download source .zip

root filemain.tex · root file5 KiB · SHA-256 2f983851bdfe43d0… · view textauxiliary fileChap1.tex47 KiB · SHA-256 0357834ffda87451… · view textauxiliary fileChap2.tex36 KiB · SHA-256 6400f33aacd70d2a… · view textauxiliary fileChap3.tex28 KiB · SHA-256 c5b6b09deec830be… · view textauxiliary fileChap4.tex15 KiB · SHA-256 5e073732e1351ba1… · view textauxiliary filebib.bib22 KiB · SHA-256 7daa23847ee6847a… · view textauxiliary fileintro.tex7 KiB · SHA-256 d1d7e3a0799676c4… · view text

Back to the main record

© 2026 Hexagon Mathematics Foundation
APIRSS feedsReport a problemContact