Matches in SemOpenAlex for { <https://semopenalex.org/work/W4386043955> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W4386043955 abstract "The languages of mathematical physics and modelling are endowed with a rich grammar of dimensions that common abstractions of programming languages fail to represent. We propose a dependently typed domain-specific language (embedded in Idris) that captures this grammar. We apply it to explain basic notions of dimensional analysis and Buckingham's Pi theorem. We hope that the language makes mathematical physics more accessible to computer scientists and functional programming more palatable to modelers and physicists." @default.
- W4386043955 created "2023-08-22" @default.
- W4386043955 creator A5016034567 @default.
- W4386043955 creator A5032737176 @default.
- W4386043955 creator A5069339421 @default.
- W4386043955 date "2023-08-16" @default.
- W4386043955 modified "2023-09-24" @default.
- W4386043955 title "Types, equations, dimensions and the Pi theorem" @default.
- W4386043955 doi "https://doi.org/10.48550/arxiv.2308.09481" @default.
- W4386043955 hasPublicationYear "2023" @default.
- W4386043955 type Work @default.
- W4386043955 citedByCount "0" @default.
- W4386043955 crossrefType "posted-content" @default.
- W4386043955 hasAuthorship W4386043955A5016034567 @default.
- W4386043955 hasAuthorship W4386043955A5032737176 @default.
- W4386043955 hasAuthorship W4386043955A5069339421 @default.
- W4386043955 hasBestOaLocation W43860439551 @default.
- W4386043955 hasConcept C121332964 @default.
- W4386043955 hasConcept C134306372 @default.
- W4386043955 hasConcept C135257023 @default.
- W4386043955 hasConcept C136119220 @default.
- W4386043955 hasConcept C138885662 @default.
- W4386043955 hasConcept C199360897 @default.
- W4386043955 hasConcept C202444582 @default.
- W4386043955 hasConcept C26022165 @default.
- W4386043955 hasConcept C2776183933 @default.
- W4386043955 hasConcept C33923547 @default.
- W4386043955 hasConcept C36503486 @default.
- W4386043955 hasConcept C41008148 @default.
- W4386043955 hasConcept C41895202 @default.
- W4386043955 hasConcept C62520636 @default.
- W4386043955 hasConceptScore W4386043955C121332964 @default.
- W4386043955 hasConceptScore W4386043955C134306372 @default.
- W4386043955 hasConceptScore W4386043955C135257023 @default.
- W4386043955 hasConceptScore W4386043955C136119220 @default.
- W4386043955 hasConceptScore W4386043955C138885662 @default.
- W4386043955 hasConceptScore W4386043955C199360897 @default.
- W4386043955 hasConceptScore W4386043955C202444582 @default.
- W4386043955 hasConceptScore W4386043955C26022165 @default.
- W4386043955 hasConceptScore W4386043955C2776183933 @default.
- W4386043955 hasConceptScore W4386043955C33923547 @default.
- W4386043955 hasConceptScore W4386043955C36503486 @default.
- W4386043955 hasConceptScore W4386043955C41008148 @default.
- W4386043955 hasConceptScore W4386043955C41895202 @default.
- W4386043955 hasConceptScore W4386043955C62520636 @default.
- W4386043955 hasLocation W43860439551 @default.
- W4386043955 hasOpenAccess W4386043955 @default.
- W4386043955 hasPrimaryLocation W43860439551 @default.
- W4386043955 hasRelatedWork W1881144118 @default.
- W4386043955 hasRelatedWork W2080728122 @default.
- W4386043955 hasRelatedWork W2081073108 @default.
- W4386043955 hasRelatedWork W2128417157 @default.
- W4386043955 hasRelatedWork W2519339279 @default.
- W4386043955 hasRelatedWork W3006199460 @default.
- W4386043955 hasRelatedWork W3162240892 @default.
- W4386043955 hasRelatedWork W4232821993 @default.
- W4386043955 hasRelatedWork W4235530921 @default.
- W4386043955 hasRelatedWork W4245713008 @default.
- W4386043955 isParatext "false" @default.
- W4386043955 isRetracted "false" @default.
- W4386043955 workType "article" @default.