Matches in SemOpenAlex for { <https://semopenalex.org/work/W45848568> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W45848568 endingPage "462" @default.
- W45848568 startingPage "457" @default.
- W45848568 abstract "In this paper we present a new strategy for PVS that implements a square root and division elimination in order to use automatic arithmetic strategies that were not able to deal with these operations in the first place. This strategy relies on a PVS formalization of the square root and division elimination and deep embedding of PVS expressions inside PVS. Therefore using computational reflection and symbolic computation we are able to automatically transform expressions into division and square root free ones before using these decision procedures." @default.
- W45848568 created "2016-06-24" @default.
- W45848568 creator A5011716427 @default.
- W45848568 date "2013-01-01" @default.
- W45848568 modified "2023-09-26" @default.
- W45848568 title "Square Root and Division Elimination in PVS" @default.
- W45848568 cites W1534850143 @default.
- W45848568 cites W2016390696 @default.
- W45848568 cites W2125967324 @default.
- W45848568 cites W2144407603 @default.
- W45848568 cites W2173119587 @default.
- W45848568 cites W4253178675 @default.
- W45848568 cites W86236309 @default.
- W45848568 doi "https://doi.org/10.1007/978-3-642-39634-2_33" @default.
- W45848568 hasPublicationYear "2013" @default.
- W45848568 type Work @default.
- W45848568 sameAs 45848568 @default.
- W45848568 citedByCount "3" @default.
- W45848568 countsByYear W458485682013 @default.
- W45848568 countsByYear W458485682014 @default.
- W45848568 countsByYear W458485682015 @default.
- W45848568 crossrefType "book-chapter" @default.
- W45848568 hasAuthorship W45848568A5011716427 @default.
- W45848568 hasBestOaLocation W458485682 @default.
- W45848568 hasConcept C11413529 @default.
- W45848568 hasConcept C11577676 @default.
- W45848568 hasConcept C135692309 @default.
- W45848568 hasConcept C138885662 @default.
- W45848568 hasConcept C171078966 @default.
- W45848568 hasConcept C2524010 @default.
- W45848568 hasConcept C33923547 @default.
- W45848568 hasConcept C41008148 @default.
- W45848568 hasConcept C41895202 @default.
- W45848568 hasConcept C45374587 @default.
- W45848568 hasConcept C60798267 @default.
- W45848568 hasConcept C80444323 @default.
- W45848568 hasConcept C94375191 @default.
- W45848568 hasConceptScore W45848568C11413529 @default.
- W45848568 hasConceptScore W45848568C11577676 @default.
- W45848568 hasConceptScore W45848568C135692309 @default.
- W45848568 hasConceptScore W45848568C138885662 @default.
- W45848568 hasConceptScore W45848568C171078966 @default.
- W45848568 hasConceptScore W45848568C2524010 @default.
- W45848568 hasConceptScore W45848568C33923547 @default.
- W45848568 hasConceptScore W45848568C41008148 @default.
- W45848568 hasConceptScore W45848568C41895202 @default.
- W45848568 hasConceptScore W45848568C45374587 @default.
- W45848568 hasConceptScore W45848568C60798267 @default.
- W45848568 hasConceptScore W45848568C80444323 @default.
- W45848568 hasConceptScore W45848568C94375191 @default.
- W45848568 hasLocation W458485681 @default.
- W45848568 hasLocation W458485682 @default.
- W45848568 hasLocation W458485683 @default.
- W45848568 hasOpenAccess W45848568 @default.
- W45848568 hasPrimaryLocation W458485681 @default.
- W45848568 hasRelatedWork W140150844 @default.
- W45848568 hasRelatedWork W1988026068 @default.
- W45848568 hasRelatedWork W2049680169 @default.
- W45848568 hasRelatedWork W2099873975 @default.
- W45848568 hasRelatedWork W2148306365 @default.
- W45848568 hasRelatedWork W2389267936 @default.
- W45848568 hasRelatedWork W2626542362 @default.
- W45848568 hasRelatedWork W4238090084 @default.
- W45848568 hasRelatedWork W4238743000 @default.
- W45848568 hasRelatedWork W4283031324 @default.
- W45848568 isParatext "false" @default.
- W45848568 isRetracted "false" @default.
- W45848568 magId "45848568" @default.
- W45848568 workType "book-chapter" @default.