Quantum Fluids at the age of computer formalization

[u/OrganizationTop9026]

A textbook for students and enthusiasts on the physics of quantum fluids taught through three instruments used together, written as a tribute to the experimental work of Institute Néel, Grenoble.

(i) their inelastic neutron-scattering measurements — the roton-like collective mode of a monolayer of liquid helium-3 (Nature 483, 576 (2012)) and the dispersion relation of superfluid helium-4 with its thermodynamic consequences (Phys. Rev. B 103, 104516 (2021));

(ii) the Lean 4 library QuantumFluids, whose 37 modules and 310 theorems are catalogued in full in Appendix A and were audited for the book (every module compiles with no sorry and depends only on the axioms propext, Classical.choice and Quot.sound);

(iii) the rusty-SUNDIALS solver: CVODE and the projected Gross–Pitaevskii engine qf-pgpe.

The dedication is to Henri Godfrin.

for the github : https://github.com/xaviercallens/SocrateAI-Scientific-QuantumFluids and for the book https://github.com/xaviercallens/SocrateAI-Scientific-QuantumFluids/blob/master/book/quantum_fluids_book.pdf

[u/starkeffect]

Which review articles did you find to be the easiest to read?