Matches in SemOpenAlex for { <https://semopenalex.org/work/W3217753397> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W3217753397 endingPage "210" @default.
- W3217753397 startingPage "195" @default.
- W3217753397 abstract "Wouldn’t it be nice to be able to conveniently use ordinary real number expressions within proof assistants? In this paper we outline how this can be done within a theorem proving framework. First, we formally establish upper and lower bounds for trigonometric and transcendental functions. Then, based on these bounds, we develop a rational interval arithmetic where real number calculations can be performed in an algebraic setting. This pragmatic approach has been implemented as a strategy in PVS. The strategy provides a safe way to perform explicit calculations over real numbers in formal proofs." @default.
- W3217753397 created "2021-12-06" @default.
- W3217753397 creator A5039574409 @default.
- W3217753397 creator A5050080553 @default.
- W3217753397 date "2005-01-01" @default.
- W3217753397 modified "2023-10-15" @default.
- W3217753397 title "Real Number Calculations and Theorem Proving" @default.
- W3217753397 cites W1497475168 @default.
- W3217753397 cites W1534850143 @default.
- W3217753397 cites W1566038112 @default.
- W3217753397 cites W1601195943 @default.
- W3217753397 cites W1607231186 @default.
- W3217753397 cites W1956146622 @default.
- W3217753397 cites W1981484178 @default.
- W3217753397 cites W2010847060 @default.
- W3217753397 cites W2041091076 @default.
- W3217753397 cites W4231629838 @default.
- W3217753397 cites W4254793172 @default.
- W3217753397 doi "https://doi.org/10.1007/11541868_13" @default.
- W3217753397 hasPublicationYear "2005" @default.
- W3217753397 type Work @default.
- W3217753397 sameAs 3217753397 @default.
- W3217753397 citedByCount "21" @default.
- W3217753397 countsByYear W32177533972012 @default.
- W3217753397 countsByYear W32177533972018 @default.
- W3217753397 countsByYear W32177533972020 @default.
- W3217753397 countsByYear W32177533972022 @default.
- W3217753397 crossrefType "book-chapter" @default.
- W3217753397 hasAuthorship W3217753397A5039574409 @default.
- W3217753397 hasAuthorship W3217753397A5050080553 @default.
- W3217753397 hasBestOaLocation W32177533972 @default.
- W3217753397 hasConcept C108710211 @default.
- W3217753397 hasConcept C11413529 @default.
- W3217753397 hasConcept C118615104 @default.
- W3217753397 hasConcept C134306372 @default.
- W3217753397 hasConcept C136119220 @default.
- W3217753397 hasConcept C188370112 @default.
- W3217753397 hasConcept C199343813 @default.
- W3217753397 hasConcept C202444582 @default.
- W3217753397 hasConcept C206880738 @default.
- W3217753397 hasConcept C2524010 @default.
- W3217753397 hasConcept C2777686260 @default.
- W3217753397 hasConcept C29001434 @default.
- W3217753397 hasConcept C33923547 @default.
- W3217753397 hasConcept C41008148 @default.
- W3217753397 hasConcept C43321923 @default.
- W3217753397 hasConcept C46875033 @default.
- W3217753397 hasConcept C71924100 @default.
- W3217753397 hasConcept C9376300 @default.
- W3217753397 hasConcept C94020503 @default.
- W3217753397 hasConceptScore W3217753397C108710211 @default.
- W3217753397 hasConceptScore W3217753397C11413529 @default.
- W3217753397 hasConceptScore W3217753397C118615104 @default.
- W3217753397 hasConceptScore W3217753397C134306372 @default.
- W3217753397 hasConceptScore W3217753397C136119220 @default.
- W3217753397 hasConceptScore W3217753397C188370112 @default.
- W3217753397 hasConceptScore W3217753397C199343813 @default.
- W3217753397 hasConceptScore W3217753397C202444582 @default.
- W3217753397 hasConceptScore W3217753397C206880738 @default.
- W3217753397 hasConceptScore W3217753397C2524010 @default.
- W3217753397 hasConceptScore W3217753397C2777686260 @default.
- W3217753397 hasConceptScore W3217753397C29001434 @default.
- W3217753397 hasConceptScore W3217753397C33923547 @default.
- W3217753397 hasConceptScore W3217753397C41008148 @default.
- W3217753397 hasConceptScore W3217753397C43321923 @default.
- W3217753397 hasConceptScore W3217753397C46875033 @default.
- W3217753397 hasConceptScore W3217753397C71924100 @default.
- W3217753397 hasConceptScore W3217753397C9376300 @default.
- W3217753397 hasConceptScore W3217753397C94020503 @default.
- W3217753397 hasLocation W32177533971 @default.
- W3217753397 hasLocation W32177533972 @default.
- W3217753397 hasOpenAccess W3217753397 @default.
- W3217753397 hasPrimaryLocation W32177533971 @default.
- W3217753397 hasRelatedWork W1498678311 @default.
- W3217753397 hasRelatedWork W2004289501 @default.
- W3217753397 hasRelatedWork W2512765626 @default.
- W3217753397 hasRelatedWork W2614739812 @default.
- W3217753397 hasRelatedWork W2615870846 @default.
- W3217753397 hasRelatedWork W2755694965 @default.
- W3217753397 hasRelatedWork W2796043844 @default.
- W3217753397 hasRelatedWork W2808426199 @default.
- W3217753397 hasRelatedWork W3138070767 @default.
- W3217753397 hasRelatedWork W3174628030 @default.
- W3217753397 isParatext "false" @default.
- W3217753397 isRetracted "false" @default.
- W3217753397 magId "3217753397" @default.
- W3217753397 workType "book-chapter" @default.