Mathematical formulation relation type
A mathematical concept supplies part of the formal language, state space, representation, or analytic machinery used by a scientific or mathematical-physics concept. The source is the mathematical predecessor; this does not claim that physical content follows from mathematics alone.
Directed semantics
Every direct mAtlas edge is an authored source → target assertion of this type.
Machine-readable record
/data/latest/relation-types/mathematical-formulation.json provides this definition and the IDs of every direct relation of this type.
A path may traverse an edge backwards for connectivity, but that never reverses the authored source-to-target assertion.