Overview Statistic: PDF-Downloads (blue) and Frontdoor-Views (gray)
  • search hit 2 of 199
Back to Result List

A theory of conversion relations for prefixed units of measure

  • Units of measure with prefixes and conversion rules are given a formal semantic model in terms of categorial group theory. Basic structures and both natural and contingent semantic operations are defined. Conversion rules are represented as a class of ternary relations with both group-like and category-like properties. A hierarchy of subclasses is explored, each satisfying stronger useful algebraic properties than the preceding, culminating in a direct efficient conversion-by-rewritingUnits of measure with prefixes and conversion rules are given a formal semantic model in terms of categorial group theory. Basic structures and both natural and contingent semantic operations are defined. Conversion rules are represented as a class of ternary relations with both group-like and category-like properties. A hierarchy of subclasses is explored, each satisfying stronger useful algebraic properties than the preceding, culminating in a direct efficient conversion-by-rewriting algorithm.show moreshow less

Download full text files

Export metadata

Metadaten
Author:Baltasar Trancón y WidemannORCiD, Markus LepperORCiD
URN:urn:nbn:de:kobv:522-opus4-31984
URL:https://arxiv.org/abs/2212.11580v5
DOI:https://doi.org/10.48550/arXiv.2212.11580
Document Type:Preprint
Language:English
Year of first Publication:2024
Release Date:2024/09/17
First Page:1
Last Page:45
Institutes:Fachbereich Informatik und Medien
open_access (DINI-Set):open_access
University Bibliography:Hochschulbibliografie
Licence (German):Creative Commons - CC BY-NC-ND - Namensnennung - Nicht kommerziell - Keine Bearbeitungen 4.0
Einverstanden ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu. Unsere Datenschutzerklärung finden Sie hier.