How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Specific fundamental relation and valid response charts
Definition
Let be open, with coordinates , and let have continuous total derivatives through order two (write ). The pair is a simple-fluid state relation for the purposes of this mathematical library. At , is the specific-volume coordinate, the specific-entropy coordinate, and the specific-energy value. Define In these partial derivatives the other state coordinate is held fixed. Write for the corresponding second partial derivatives, set and define the coordinate-Hessian determinant The local thermal-chart hypothesis at a state is and ; it is a pointwise hypothesis and does not assert a global inverse. The conditions and , when required, are separate pointwise response restrictions. The definition itself imposes no sign condition on or and no invertibility or convexity condition on all of .
Under the physical SI interpretation only, has units , has units , has units , has units , has units , and has units . This is a mathematical definition of a state relation and makes no claim that an actual material obeys it.
Dependency tree · 0 levels
Nothing. This result depends on no other item in the library.