Matches in SemOpenAlex for { <https://semopenalex.org/work/W2908661274> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2908661274 abstract "Research project Platform-independent approach to formal specification and verification of standard mathematical is aimed onto a development of an incremental combined approach to the specification and verification of the standard mathematical functions like sqrt, cos, sin, etc. Platform-independence means that we attempt to design a relatively simple axiomatization of the computer arithmetic in terms of real, rational, and integer arithmetic (i.e. the fields R and Q of real and rational numbers, the ring Z of integers) but don't specify neither base of the computer arithmetic, nor a format of numbers' representation. Incrementality means that we start with the most straightforward specification of the simplest easy to verify algorithm in real numbers and finish with a realistic specification and a verification of an algorithm in computer arithmetic. We call our approach combined because we start with a manual (pen-and-paper) verification of some selected algorithm in real numbers, then use these algorithm and verification as a draft and proof-outlines for the algorithm in computer arithmetic and its manual verification, and finish with a computer-aided validation of our manual proofs with some proof-assistant system (to avoid appeals to obviousness that are very common in human-carried proofs). In the paper we present first steps towards a platform-independent incremental combined approach to specification and verification of the standard functions cos and sin that implement mathematical trigonometric functions cos and sin." @default.
- W2908661274 created "2019-01-25" @default.
- W2908661274 creator A5026583887 @default.
- W2908661274 creator A5043594053 @default.
- W2908661274 creator A5069677294 @default.
- W2908661274 creator A5088078978 @default.
- W2908661274 date "2019-01-10" @default.
- W2908661274 modified "2023-09-27" @default.
- W2908661274 title "Towards platform-independent specification and verification of the standard trigonometry functions." @default.
- W2908661274 cites W1481018260 @default.
- W2908661274 cites W1509799206 @default.
- W2908661274 cites W1581763450 @default.
- W2908661274 cites W1862076661 @default.
- W2908661274 cites W2597376266 @default.
- W2908661274 cites W2804769908 @default.
- W2908661274 cites W2904292481 @default.
- W2908661274 hasPublicationYear "2019" @default.
- W2908661274 type Work @default.
- W2908661274 sameAs 2908661274 @default.
- W2908661274 citedByCount "0" @default.
- W2908661274 crossrefType "posted-content" @default.
- W2908661274 hasAuthorship W2908661274A5026583887 @default.
- W2908661274 hasAuthorship W2908661274A5043594053 @default.
- W2908661274 hasAuthorship W2908661274A5069677294 @default.
- W2908661274 hasAuthorship W2908661274A5088078978 @default.
- W2908661274 hasConcept C108710211 @default.
- W2908661274 hasConcept C111472728 @default.
- W2908661274 hasConcept C111498074 @default.
- W2908661274 hasConcept C11413529 @default.
- W2908661274 hasConcept C118615104 @default.
- W2908661274 hasConcept C138885662 @default.
- W2908661274 hasConcept C17744445 @default.
- W2908661274 hasConcept C199360897 @default.
- W2908661274 hasConcept C199539241 @default.
- W2908661274 hasConcept C2524010 @default.
- W2908661274 hasConcept C2776359362 @default.
- W2908661274 hasConcept C2780586882 @default.
- W2908661274 hasConcept C29001434 @default.
- W2908661274 hasConcept C33923547 @default.
- W2908661274 hasConcept C41008148 @default.
- W2908661274 hasConcept C46875033 @default.
- W2908661274 hasConcept C80444323 @default.
- W2908661274 hasConcept C83581934 @default.
- W2908661274 hasConcept C94375191 @default.
- W2908661274 hasConcept C94625758 @default.
- W2908661274 hasConcept C97137487 @default.
- W2908661274 hasConceptScore W2908661274C108710211 @default.
- W2908661274 hasConceptScore W2908661274C111472728 @default.
- W2908661274 hasConceptScore W2908661274C111498074 @default.
- W2908661274 hasConceptScore W2908661274C11413529 @default.
- W2908661274 hasConceptScore W2908661274C118615104 @default.
- W2908661274 hasConceptScore W2908661274C138885662 @default.
- W2908661274 hasConceptScore W2908661274C17744445 @default.
- W2908661274 hasConceptScore W2908661274C199360897 @default.
- W2908661274 hasConceptScore W2908661274C199539241 @default.
- W2908661274 hasConceptScore W2908661274C2524010 @default.
- W2908661274 hasConceptScore W2908661274C2776359362 @default.
- W2908661274 hasConceptScore W2908661274C2780586882 @default.
- W2908661274 hasConceptScore W2908661274C29001434 @default.
- W2908661274 hasConceptScore W2908661274C33923547 @default.
- W2908661274 hasConceptScore W2908661274C41008148 @default.
- W2908661274 hasConceptScore W2908661274C46875033 @default.
- W2908661274 hasConceptScore W2908661274C80444323 @default.
- W2908661274 hasConceptScore W2908661274C83581934 @default.
- W2908661274 hasConceptScore W2908661274C94375191 @default.
- W2908661274 hasConceptScore W2908661274C94625758 @default.
- W2908661274 hasConceptScore W2908661274C97137487 @default.
- W2908661274 hasLocation W29086612741 @default.
- W2908661274 hasOpenAccess W2908661274 @default.
- W2908661274 hasPrimaryLocation W29086612741 @default.
- W2908661274 hasRelatedWork W1519028982 @default.
- W2908661274 hasRelatedWork W1540408430 @default.
- W2908661274 hasRelatedWork W1553352239 @default.
- W2908661274 hasRelatedWork W1670181694 @default.
- W2908661274 hasRelatedWork W1998296117 @default.
- W2908661274 hasRelatedWork W2016919797 @default.
- W2908661274 hasRelatedWork W2038078711 @default.
- W2908661274 hasRelatedWork W2067302167 @default.
- W2908661274 hasRelatedWork W2068318525 @default.
- W2908661274 hasRelatedWork W207442571 @default.
- W2908661274 hasRelatedWork W2092448196 @default.
- W2908661274 hasRelatedWork W2130928091 @default.
- W2908661274 hasRelatedWork W29114720 @default.
- W2908661274 hasRelatedWork W3006239185 @default.
- W2908661274 hasRelatedWork W3014300714 @default.
- W2908661274 hasRelatedWork W3030160436 @default.
- W2908661274 hasRelatedWork W3159305744 @default.
- W2908661274 hasRelatedWork W91508025 @default.
- W2908661274 hasRelatedWork W93506826 @default.
- W2908661274 hasRelatedWork W2337756575 @default.
- W2908661274 isParatext "false" @default.
- W2908661274 isRetracted "false" @default.
- W2908661274 magId "2908661274" @default.
- W2908661274 workType "article" @default.