Matches in SemOpenAlex for { <https://semopenalex.org/work/W68238214> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W68238214 endingPage "199" @default.
- W68238214 startingPage "194" @default.
- W68238214 abstract "AbstractThis paper reports the development of a proof strategy that integrates the MetiTarski theorem prover as a trusted external decision procedure into the PVS theorem prover. The strategy automatically discharges PVS sequents containing real-valued formulas, including transcendental and special functions, by translating the sequents into first order formulas and submitting them to MetiTarski. The new strategy is considerably faster and more powerful than other strategies for nonlinear arithmetic available to PVSKeywordsTheorem ProverInterval ArithmeticProof StrategyProof RuleInteractive ProofThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W68238214 created "2016-06-24" @default.
- W68238214 creator A5016058241 @default.
- W68238214 creator A5021561008 @default.
- W68238214 date "2014-01-01" @default.
- W68238214 modified "2023-10-14" @default.
- W68238214 title "Automated Real Proving in PVS via MetiTarski" @default.
- W68238214 cites W1421638684 @default.
- W68238214 cites W1534850143 @default.
- W68238214 cites W1993722858 @default.
- W68238214 cites W2008288068 @default.
- W68238214 cites W2010847060 @default.
- W68238214 cites W2132303335 @default.
- W68238214 doi "https://doi.org/10.1007/978-3-319-06410-9_14" @default.
- W68238214 hasPublicationYear "2014" @default.
- W68238214 type Work @default.
- W68238214 sameAs 68238214 @default.
- W68238214 citedByCount "15" @default.
- W68238214 countsByYear W682382142014 @default.
- W68238214 countsByYear W682382142015 @default.
- W68238214 countsByYear W682382142016 @default.
- W68238214 countsByYear W682382142017 @default.
- W68238214 countsByYear W682382142018 @default.
- W68238214 countsByYear W682382142019 @default.
- W68238214 countsByYear W682382142020 @default.
- W68238214 countsByYear W682382142021 @default.
- W68238214 countsByYear W682382142022 @default.
- W68238214 crossrefType "book-chapter" @default.
- W68238214 hasAuthorship W68238214A5016058241 @default.
- W68238214 hasAuthorship W68238214A5021561008 @default.
- W68238214 hasBestOaLocation W682382142 @default.
- W68238214 hasConcept C108710211 @default.
- W68238214 hasConcept C11413529 @default.
- W68238214 hasConcept C134306372 @default.
- W68238214 hasConcept C136119220 @default.
- W68238214 hasConcept C159718280 @default.
- W68238214 hasConcept C188370112 @default.
- W68238214 hasConcept C199343813 @default.
- W68238214 hasConcept C199360897 @default.
- W68238214 hasConcept C202444582 @default.
- W68238214 hasConcept C206880738 @default.
- W68238214 hasConcept C2524010 @default.
- W68238214 hasConcept C2777686260 @default.
- W68238214 hasConcept C33923547 @default.
- W68238214 hasConcept C41008148 @default.
- W68238214 hasConcept C71924100 @default.
- W68238214 hasConcept C80444323 @default.
- W68238214 hasConcept C98045186 @default.
- W68238214 hasConceptScore W68238214C108710211 @default.
- W68238214 hasConceptScore W68238214C11413529 @default.
- W68238214 hasConceptScore W68238214C134306372 @default.
- W68238214 hasConceptScore W68238214C136119220 @default.
- W68238214 hasConceptScore W68238214C159718280 @default.
- W68238214 hasConceptScore W68238214C188370112 @default.
- W68238214 hasConceptScore W68238214C199343813 @default.
- W68238214 hasConceptScore W68238214C199360897 @default.
- W68238214 hasConceptScore W68238214C202444582 @default.
- W68238214 hasConceptScore W68238214C206880738 @default.
- W68238214 hasConceptScore W68238214C2524010 @default.
- W68238214 hasConceptScore W68238214C2777686260 @default.
- W68238214 hasConceptScore W68238214C33923547 @default.
- W68238214 hasConceptScore W68238214C41008148 @default.
- W68238214 hasConceptScore W68238214C71924100 @default.
- W68238214 hasConceptScore W68238214C80444323 @default.
- W68238214 hasConceptScore W68238214C98045186 @default.
- W68238214 hasLocation W682382141 @default.
- W68238214 hasLocation W682382142 @default.
- W68238214 hasOpenAccess W68238214 @default.
- W68238214 hasPrimaryLocation W682382141 @default.
- W68238214 hasRelatedWork W1509982649 @default.
- W68238214 hasRelatedWork W1523338383 @default.
- W68238214 hasRelatedWork W1659327404 @default.
- W68238214 hasRelatedWork W1717165987 @default.
- W68238214 hasRelatedWork W2018100734 @default.
- W68238214 hasRelatedWork W2217122638 @default.
- W68238214 hasRelatedWork W2307915363 @default.
- W68238214 hasRelatedWork W2548598692 @default.
- W68238214 hasRelatedWork W2914503058 @default.
- W68238214 hasRelatedWork W60445782 @default.
- W68238214 isParatext "false" @default.
- W68238214 isRetracted "false" @default.
- W68238214 magId "68238214" @default.
- W68238214 workType "book-chapter" @default.