FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2114788260> ?p ?o ?g. }

• W2114788260 endingPage "42" @default.
• W2114788260 startingPage "27" @default.
• W2114788260 abstract "We describe an interface between version 6 of the Maple computer algebra system with the PVS automated theorem prover. The interface is designed to allow Maple users access to the robust and checkable proof environment of PVS. We also extend this environment by the provision of a library of proof strategies for use in real analysis. We demonstrate examples using the interface and the real analysis library. These examples provide proofs which are both illustrative and applicable to genuine symbolic computation problems." @default.
• W2114788260 created "2016-06-24" @default.
• W2114788260 creator A5020291371 @default.
• W2114788260 creator A5026912973 @default.
• W2114788260 creator A5028867738 @default.
• W2114788260 creator A5035629707 @default.
• W2114788260 creator A5052253577 @default.
• W2114788260 creator A5067793495 @default.
• W2114788260 date "2001-01-01" @default.
• W2114788260 modified "2023-09-27" @default.
• W2114788260 title "Computer Algebra Meets Automated Theorem Proving: Integrating Maple and PVS" @default.
• W2114788260 cites W1511527545 @default.
• W2114788260 cites W1544772966 @default.
• W2114788260 cites W1566038112 @default.
• W2114788260 cites W1597251915 @default.
• W2114788260 cites W1702235018 @default.
• W2114788260 cites W1903955310 @default.
• W2114788260 cites W1972533543 @default.
• W2114788260 cites W1986264093 @default.
• W2114788260 cites W2034447446 @default.
• W2114788260 cites W2090445846 @default.
• W2114788260 cites W2129913520 @default.
• W2114788260 cites W4231714022 @default.
• W2114788260 doi "https://doi.org/10.1007/3-540-44755-5_4" @default.
• W2114788260 hasPublicationYear "2001" @default.
• W2114788260 type Work @default.
• W2114788260 sameAs 2114788260 @default.
• W2114788260 citedByCount "30" @default.
• W2114788260 countsByYear W21147882602012 @default.
• W2114788260 countsByYear W21147882602013 @default.
• W2114788260 countsByYear W21147882602014 @default.
• W2114788260 countsByYear W21147882602015 @default.
• W2114788260 countsByYear W21147882602017 @default.
• W2114788260 countsByYear W21147882602018 @default.
• W2114788260 countsByYear W21147882602019 @default.
• W2114788260 countsByYear W21147882602021 @default.
• W2114788260 countsByYear W21147882602022 @default.
• W2114788260 crossrefType "book-chapter" @default.
• W2114788260 hasAuthorship W2114788260A5020291371 @default.
• W2114788260 hasAuthorship W2114788260A5026912973 @default.
• W2114788260 hasAuthorship W2114788260A5028867738 @default.
• W2114788260 hasAuthorship W2114788260A5035629707 @default.
• W2114788260 hasAuthorship W2114788260A5052253577 @default.
• W2114788260 hasAuthorship W2114788260A5067793495 @default.
• W2114788260 hasBestOaLocation W21147882602 @default.
• W2114788260 hasConcept C108710211 @default.
• W2114788260 hasConcept C110812573 @default.
• W2114788260 hasConcept C111919701 @default.
• W2114788260 hasConcept C113843644 @default.
• W2114788260 hasConcept C129307140 @default.
• W2114788260 hasConcept C134306372 @default.
• W2114788260 hasConcept C136119220 @default.
• W2114788260 hasConcept C13766981 @default.
• W2114788260 hasConcept C157915830 @default.
• W2114788260 hasConcept C159718280 @default.
• W2114788260 hasConcept C173613240 @default.
• W2114788260 hasConcept C199343813 @default.
• W2114788260 hasConcept C199360897 @default.
• W2114788260 hasConcept C202444582 @default.
• W2114788260 hasConcept C203265346 @default.
• W2114788260 hasConcept C206880738 @default.
• W2114788260 hasConcept C2524010 @default.
• W2114788260 hasConcept C2777686260 @default.
• W2114788260 hasConcept C2780414537 @default.
• W2114788260 hasConcept C33923547 @default.
• W2114788260 hasConcept C41008148 @default.
• W2114788260 hasConcept C45374587 @default.
• W2114788260 hasConcept C59822182 @default.
• W2114788260 hasConcept C71924100 @default.
• W2114788260 hasConcept C80444323 @default.
• W2114788260 hasConcept C86803240 @default.
• W2114788260 hasConceptScore W2114788260C108710211 @default.
• W2114788260 hasConceptScore W2114788260C110812573 @default.
• W2114788260 hasConceptScore W2114788260C111919701 @default.
• W2114788260 hasConceptScore W2114788260C113843644 @default.
• W2114788260 hasConceptScore W2114788260C129307140 @default.
• W2114788260 hasConceptScore W2114788260C134306372 @default.
• W2114788260 hasConceptScore W2114788260C136119220 @default.
• W2114788260 hasConceptScore W2114788260C13766981 @default.
• W2114788260 hasConceptScore W2114788260C157915830 @default.
• W2114788260 hasConceptScore W2114788260C159718280 @default.
• W2114788260 hasConceptScore W2114788260C173613240 @default.
• W2114788260 hasConceptScore W2114788260C199343813 @default.
• W2114788260 hasConceptScore W2114788260C199360897 @default.
• W2114788260 hasConceptScore W2114788260C202444582 @default.
• W2114788260 hasConceptScore W2114788260C203265346 @default.
• W2114788260 hasConceptScore W2114788260C206880738 @default.
• W2114788260 hasConceptScore W2114788260C2524010 @default.
• W2114788260 hasConceptScore W2114788260C2777686260 @default.
• W2114788260 hasConceptScore W2114788260C2780414537 @default.
• W2114788260 hasConceptScore W2114788260C33923547 @default.
• W2114788260 hasConceptScore W2114788260C41008148 @default.
• W2114788260 hasConceptScore W2114788260C45374587 @default.
• W2114788260 hasConceptScore W2114788260C59822182 @default.
• W2114788260 hasConceptScore W2114788260C71924100 @default.
• W2114788260 hasConceptScore W2114788260C80444323 @default.
• W2114788260 hasConceptScore W2114788260C86803240 @default.
• W2114788260 hasLocation W21147882601 @default.

• next