List below is from "derivations backlog" column on project tracker
None of the current derivations bridge two domains.
which derivations are relevant for spanning Physics?
Has a graphviz of the assumptions used in different domains
list of bridge derivations for Physics
Has a long list of domains; LLM is then asked to suggest bridges
concept map of topics in graphviz for use with LLM
BHP creates a graphviz concept map, then uses LLM to extend the content
SHO derivation is great.
This is probably the first derivation a physicist would look for from PDG.
And then
Quantum Harmonic Oscillator and classical SHO are related by the Correspondence Principle
derivations that span flat and curved spacetime in relativity
LLM provides a couple suggestions that could be opened as subtasks for specific derivations
Newtonian Gravity from the Geodesic Equation
Newtonian space and time to Relativity's spacetime
Quantum mechanics and classical statistical mechanics
An open access PDF, 12 pages
classical particles and quantum superposition
BHP assessment 2026-03-08: LLM discusses classical particles and quantum concepts but provides no specific insight
atomic interaction to nuclear radiation
latent heat from atomic scale interactions
atoms to solid state material properties
atoms to solid state material properties
key question: Is there a derivation that bridges the physics of atoms with the material properties observed at macroscopic scales?
Results in
quantum mechanics to quantum field theory
statistical mechanics and quantum field theory
derivations that span irreversible and reversible processes in Thermodynamics
LLM provides a couple suggestions that could be opened as subtasks for specific derivations
Lindbladian as generalization of Schrödinger equation
Newton's Second Law for the Center of Mass to torque and moment of inertia for rotational motion
relates linear motion to rotational motion
uncertainty relation in quantum mechanics
Feynman's Schrodinger Equation
Euler-Lagrange equation
from wikipedia.
TODO: migrate wiki content to Latex
Schwarzschild solution Godels incompleteness theorems
Boyle's law, simple; rewrite of chem.libretexts.org
Boyle's law, advanced; rewrite of chem.libretexts.org
Bohr's Model for the Hydrogen Spectrum
Stirling's approximation for factorials
Kepler's Law Maxwell's equations Navier-Stokes equations
from wikipedia.
TODO: migrate wiki content to Latex
Hartley function Half-Life Formula for Zero-Order Reactions De Moivre's Formula Euler by MacLaurin Chemical kinetics of a reversible reaction
maximum speed for asteroid orbiting the sun to impact earth
thermodynamics: internal energy
half life decay derivation for radioactivity
conjugate gradient method
from wikipedia.
TODO: migrate wiki content to Latex
"Schwarzschild solution to Einstein field equations
TODO: are 34 and 72 the same?
Has a Lean proof from ATOMSlab
How is that different from 0000000004?
from wikipedia.
TODO: migrate wiki content to Latex
This involves chemistry notation
proof by induction
Unnamed expressions
infinite series
from wikipedia.
TODO: migrate wiki content to Latex