Matches in SemOpenAlex for { <https://semopenalex.org/work/W1994566013> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W1994566013 endingPage "19" @default.
- W1994566013 startingPage "2" @default.
- W1994566013 abstract "In this article, we describe the theoretical foundations of the Ω -arithmetization. This method provides a multi-scale discretization of a continuous function that is a solution of a differential equation. This discretization process is based on the Harthong–Reeb line HR ω . The Harthong–Reeb line is a linear space that is both discrete and continuous. This strange line HR ω stems from a nonstandard point of view on arithmetic based, in this paper, on the concept of Ω -numbers introduced by Laugwitz and Schmieden. After a full description of this nonstandard background and of the first properties of HR ω , we introduce the Ω -arithmetization and we apply it to some significant examples. An important point is that the constructive properties of our approach leads to algorithms which can be exactly translated into functional computer programs without uncontrolled numerical error. Afterwards, we investigate to what extent HR ω fits Bridges’s axioms of the constructive continuum. Finally, we give an overview of a formalization of the Harthong–Reeb line with the Coq proof assistant." @default.
- W1994566013 created "2016-06-24" @default.
- W1994566013 creator A5015349471 @default.
- W1994566013 creator A5043245355 @default.
- W1994566013 creator A5045220593 @default.
- W1994566013 creator A5046236166 @default.
- W1994566013 creator A5059987955 @default.
- W1994566013 date "2012-12-01" @default.
- W1994566013 modified "2023-10-18" @default.
- W1994566013 title "Foundational aspects of multiscale digitization" @default.
- W1994566013 cites W1553511155 @default.
- W1994566013 cites W1989249637 @default.
- W1994566013 cites W1997968929 @default.
- W1994566013 cites W2034441209 @default.
- W1994566013 cites W2042694059 @default.
- W1994566013 cites W2069787050 @default.
- W1994566013 cites W2082791443 @default.
- W1994566013 cites W2152941748 @default.
- W1994566013 cites W2171984085 @default.
- W1994566013 doi "https://doi.org/10.1016/j.tcs.2012.07.026" @default.
- W1994566013 hasPublicationYear "2012" @default.
- W1994566013 type Work @default.
- W1994566013 sameAs 1994566013 @default.
- W1994566013 citedByCount "4" @default.
- W1994566013 countsByYear W19945660132014 @default.
- W1994566013 countsByYear W19945660132018 @default.
- W1994566013 countsByYear W19945660132022 @default.
- W1994566013 crossrefType "journal-article" @default.
- W1994566013 hasAuthorship W1994566013A5015349471 @default.
- W1994566013 hasAuthorship W1994566013A5043245355 @default.
- W1994566013 hasAuthorship W1994566013A5045220593 @default.
- W1994566013 hasAuthorship W1994566013A5046236166 @default.
- W1994566013 hasAuthorship W1994566013A5059987955 @default.
- W1994566013 hasBestOaLocation W19945660131 @default.
- W1994566013 hasConcept C199343813 @default.
- W1994566013 hasConcept C204321447 @default.
- W1994566013 hasConcept C2777686260 @default.
- W1994566013 hasConcept C2779308522 @default.
- W1994566013 hasConcept C31972630 @default.
- W1994566013 hasConcept C33923547 @default.
- W1994566013 hasConcept C41008148 @default.
- W1994566013 hasConcept C71924100 @default.
- W1994566013 hasConcept C80444323 @default.
- W1994566013 hasConceptScore W1994566013C199343813 @default.
- W1994566013 hasConceptScore W1994566013C204321447 @default.
- W1994566013 hasConceptScore W1994566013C2777686260 @default.
- W1994566013 hasConceptScore W1994566013C2779308522 @default.
- W1994566013 hasConceptScore W1994566013C31972630 @default.
- W1994566013 hasConceptScore W1994566013C33923547 @default.
- W1994566013 hasConceptScore W1994566013C41008148 @default.
- W1994566013 hasConceptScore W1994566013C71924100 @default.
- W1994566013 hasConceptScore W1994566013C80444323 @default.
- W1994566013 hasLocation W19945660131 @default.
- W1994566013 hasLocation W19945660132 @default.
- W1994566013 hasLocation W19945660133 @default.
- W1994566013 hasLocation W19945660134 @default.
- W1994566013 hasLocation W19945660135 @default.
- W1994566013 hasOpenAccess W1994566013 @default.
- W1994566013 hasPrimaryLocation W19945660131 @default.
- W1994566013 hasRelatedWork W1539704186 @default.
- W1994566013 hasRelatedWork W2286687623 @default.
- W1994566013 hasRelatedWork W2347632764 @default.
- W1994566013 hasRelatedWork W2353982255 @default.
- W1994566013 hasRelatedWork W2399890175 @default.
- W1994566013 hasRelatedWork W2480493049 @default.
- W1994566013 hasRelatedWork W3202479762 @default.
- W1994566013 hasRelatedWork W4308177873 @default.
- W1994566013 hasRelatedWork W4322582183 @default.
- W1994566013 hasRelatedWork W1937392525 @default.
- W1994566013 hasVolume "466" @default.
- W1994566013 isParatext "false" @default.
- W1994566013 isRetracted "false" @default.
- W1994566013 magId "1994566013" @default.
- W1994566013 workType "article" @default.