Matches in SemOpenAlex for { <https://semopenalex.org/work/W1518355145> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W1518355145 endingPage "195" @default.
- W1518355145 startingPage "175" @default.
- W1518355145 abstract "Constraint interval arithmetic is a sublanguage of BNR Prolog which o ers a new approach to the old problem of deriving numerical consequences from algebraic models. Since it is simultaneously a numerical computation technique and a proof technique, it bypasses the traditional dichotomy between (numeric) calculation and (symbolic) proofs. This interplay between proof and calculation can be used e ectively to handle practical problems which neither can handle alone. The underlying semantic model is based on the properties of monotone contraction operators on a lattice, an algebraic setting in which xed point semantics take an especially elegant form." @default.
- W1518355145 created "2016-06-24" @default.
- W1518355145 creator A5000854176 @default.
- W1518355145 creator A5022017852 @default.
- W1518355145 date "1993-09-27" @default.
- W1518355145 modified "2023-09-24" @default.
- W1518355145 title "Constraint arithmetic on real intervals" @default.
- W1518355145 cites W1503179130 @default.
- W1518355145 cites W1984540483 @default.
- W1518355145 cites W1988095917 @default.
- W1518355145 cites W2035855976 @default.
- W1518355145 cites W2093397547 @default.
- W1518355145 cites W1523200871 @default.
- W1518355145 hasPublicationYear "1993" @default.
- W1518355145 type Work @default.
- W1518355145 sameAs 1518355145 @default.
- W1518355145 citedByCount "48" @default.
- W1518355145 countsByYear W15183551452014 @default.
- W1518355145 crossrefType "book" @default.
- W1518355145 hasAuthorship W1518355145A5000854176 @default.
- W1518355145 hasAuthorship W1518355145A5022017852 @default.
- W1518355145 hasConcept C108710211 @default.
- W1518355145 hasConcept C11413529 @default.
- W1518355145 hasConcept C114614502 @default.
- W1518355145 hasConcept C118615104 @default.
- W1518355145 hasConcept C134306372 @default.
- W1518355145 hasConcept C136003732 @default.
- W1518355145 hasConcept C136119220 @default.
- W1518355145 hasConcept C191252586 @default.
- W1518355145 hasConcept C202444582 @default.
- W1518355145 hasConcept C2524010 @default.
- W1518355145 hasConcept C2776036281 @default.
- W1518355145 hasConcept C2778067643 @default.
- W1518355145 hasConcept C2779729104 @default.
- W1518355145 hasConcept C33923547 @default.
- W1518355145 hasConcept C34388435 @default.
- W1518355145 hasConcept C41008148 @default.
- W1518355145 hasConcept C80444323 @default.
- W1518355145 hasConcept C83581934 @default.
- W1518355145 hasConcept C9376300 @default.
- W1518355145 hasConcept C94375191 @default.
- W1518355145 hasConceptScore W1518355145C108710211 @default.
- W1518355145 hasConceptScore W1518355145C11413529 @default.
- W1518355145 hasConceptScore W1518355145C114614502 @default.
- W1518355145 hasConceptScore W1518355145C118615104 @default.
- W1518355145 hasConceptScore W1518355145C134306372 @default.
- W1518355145 hasConceptScore W1518355145C136003732 @default.
- W1518355145 hasConceptScore W1518355145C136119220 @default.
- W1518355145 hasConceptScore W1518355145C191252586 @default.
- W1518355145 hasConceptScore W1518355145C202444582 @default.
- W1518355145 hasConceptScore W1518355145C2524010 @default.
- W1518355145 hasConceptScore W1518355145C2776036281 @default.
- W1518355145 hasConceptScore W1518355145C2778067643 @default.
- W1518355145 hasConceptScore W1518355145C2779729104 @default.
- W1518355145 hasConceptScore W1518355145C33923547 @default.
- W1518355145 hasConceptScore W1518355145C34388435 @default.
- W1518355145 hasConceptScore W1518355145C41008148 @default.
- W1518355145 hasConceptScore W1518355145C80444323 @default.
- W1518355145 hasConceptScore W1518355145C83581934 @default.
- W1518355145 hasConceptScore W1518355145C9376300 @default.
- W1518355145 hasConceptScore W1518355145C94375191 @default.
- W1518355145 hasLocation W15183551451 @default.
- W1518355145 hasOpenAccess W1518355145 @default.
- W1518355145 hasPrimaryLocation W15183551451 @default.
- W1518355145 hasRelatedWork W1483874187 @default.
- W1518355145 hasRelatedWork W1548650523 @default.
- W1518355145 hasRelatedWork W1563516866 @default.
- W1518355145 hasRelatedWork W1584569710 @default.
- W1518355145 hasRelatedWork W1984540483 @default.
- W1518355145 hasRelatedWork W1988095917 @default.
- W1518355145 hasRelatedWork W1990426442 @default.
- W1518355145 hasRelatedWork W2008716926 @default.
- W1518355145 hasRelatedWork W2035855976 @default.
- W1518355145 hasRelatedWork W2042619750 @default.
- W1518355145 hasRelatedWork W2060924166 @default.
- W1518355145 hasRelatedWork W2063727779 @default.
- W1518355145 hasRelatedWork W2084965339 @default.
- W1518355145 hasRelatedWork W2119456262 @default.
- W1518355145 hasRelatedWork W2123396057 @default.
- W1518355145 hasRelatedWork W2135432705 @default.
- W1518355145 hasRelatedWork W2167206762 @default.
- W1518355145 hasRelatedWork W3146520007 @default.
- W1518355145 hasRelatedWork W65937437 @default.
- W1518355145 hasRelatedWork W1523200871 @default.
- W1518355145 isParatext "false" @default.
- W1518355145 isRetracted "false" @default.
- W1518355145 magId "1518355145" @default.
- W1518355145 workType "book" @default.