2008 | OriginalPaper | Buchkapitel
A Mathematical Type for Physical Variables
verfasst von : Joseph B. Collins
Erschienen in: Intelligent Computer Mathematics
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
In identifying the requirements of a markup language for describing the mathematical semantics of physics-based models, we pose the question: “Is there a mathematical type for physical variables?” While this question has no a priori answer, since physics is fundamentally empirical, it appears that a large body of physics may be described with a single mathematical type. Briefly stated, that type is formed as the mathematical product of a physical unit, such as
meter
or
second
, and an element of a Clifford algebra. We discuss some of the properties of this mathematical type and its use in documentation of physics-based models.