FRINK Linked Data Fragments server

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

• W153360611 endingPage "79" @default.
• W153360611 startingPage "71" @default.
• W153360611 abstract "Computer algebra systems and automated theorem provers, which have complementary abilities, can be integrated to form an Open Mechanized Symbolic Computation System (OMSCS). This framework could be extended to integrate numerical computation systems. This paper aims at showing what problems can occur when dealing with numerical computations and what can be done to solve them or at least to provide a clear meaning of a numerical result; it constitutes a step toward this integration." @default.
• W153360611 created "2016-06-24" @default.
• W153360611 creator A5016059542 @default.
• W153360611 creator A5053019641 @default.
• W153360611 date "2004-01-01" @default.
• W153360611 modified "2023-09-23" @default.
• W153360611 title "Toward the Integration of Numerical Computations into the OMSCS Framework" @default.
• W153360611 cites W1132767589 @default.
• W153360611 cites W1497928541 @default.
• W153360611 cites W1501243125 @default.
• W153360611 cites W152904828 @default.
• W153360611 cites W1541694476 @default.
• W153360611 cites W1591257293 @default.
• W153360611 cites W1702235018 @default.
• W153360611 cites W1976871345 @default.
• W153360611 cites W1978491945 @default.
• W153360611 cites W1980965137 @default.
• W153360611 cites W1986405515 @default.
• W153360611 cites W2011946797 @default.
• W153360611 cites W2012369998 @default.
• W153360611 cites W2012407419 @default.
• W153360611 cites W2024331629 @default.
• W153360611 cites W2044484958 @default.
• W153360611 cites W2059633778 @default.
• W153360611 cites W2091678778 @default.
• W153360611 cites W2104895541 @default.
• W153360611 cites W2108776769 @default.
• W153360611 cites W2113827471 @default.
• W153360611 cites W2119352997 @default.
• W153360611 cites W2128184135 @default.
• W153360611 cites W2155673213 @default.
• W153360611 cites W2156616818 @default.
• W153360611 cites W2169004268 @default.
• W153360611 cites W2171370526 @default.
• W153360611 cites W2565843813 @default.
• W153360611 cites W2979730858 @default.
• W153360611 cites W2472530855 @default.
• W153360611 hasPublicationYear "2004" @default.
• W153360611 type Work @default.
• W153360611 sameAs 153360611 @default.
• W153360611 citedByCount "1" @default.
• W153360611 countsByYear W1533606112017 @default.
• W153360611 crossrefType "proceedings-article" @default.
• W153360611 hasAuthorship W153360611A5016059542 @default.
• W153360611 hasAuthorship W153360611A5053019641 @default.
• W153360611 hasConcept C110812573 @default.
• W153360611 hasConcept C11413529 @default.
• W153360611 hasConcept C127349201 @default.
• W153360611 hasConcept C134306372 @default.
• W153360611 hasConcept C136119220 @default.
• W153360611 hasConcept C15744967 @default.
• W153360611 hasConcept C163834973 @default.
• W153360611 hasConcept C167324811 @default.
• W153360611 hasConcept C202444582 @default.
• W153360611 hasConcept C2780876879 @default.
• W153360611 hasConcept C33923547 @default.
• W153360611 hasConcept C41008148 @default.
• W153360611 hasConcept C45374587 @default.
• W153360611 hasConcept C48753275 @default.
• W153360611 hasConcept C542102704 @default.
• W153360611 hasConcept C80444323 @default.
• W153360611 hasConceptScore W153360611C110812573 @default.
• W153360611 hasConceptScore W153360611C11413529 @default.
• W153360611 hasConceptScore W153360611C127349201 @default.
• W153360611 hasConceptScore W153360611C134306372 @default.
• W153360611 hasConceptScore W153360611C136119220 @default.
• W153360611 hasConceptScore W153360611C15744967 @default.
• W153360611 hasConceptScore W153360611C163834973 @default.
• W153360611 hasConceptScore W153360611C167324811 @default.
• W153360611 hasConceptScore W153360611C202444582 @default.
• W153360611 hasConceptScore W153360611C2780876879 @default.
• W153360611 hasConceptScore W153360611C33923547 @default.
• W153360611 hasConceptScore W153360611C41008148 @default.
• W153360611 hasConceptScore W153360611C45374587 @default.
• W153360611 hasConceptScore W153360611C48753275 @default.
• W153360611 hasConceptScore W153360611C542102704 @default.
• W153360611 hasConceptScore W153360611C80444323 @default.
• W153360611 hasOpenAccess W153360611 @default.
• W153360611 hasRelatedWork W1479867604 @default.
• W153360611 hasRelatedWork W1540408430 @default.
• W153360611 hasRelatedWork W1585842854 @default.
• W153360611 hasRelatedWork W1594462889 @default.
• W153360611 hasRelatedWork W1600415698 @default.
• W153360611 hasRelatedWork W1663280704 @default.
• W153360611 hasRelatedWork W1670181694 @default.
• W153360611 hasRelatedWork W1981390603 @default.
• W153360611 hasRelatedWork W2029742207 @default.
• W153360611 hasRelatedWork W2052995997 @default.
• W153360611 hasRelatedWork W2068318525 @default.
• W153360611 hasRelatedWork W2296022720 @default.
• W153360611 hasRelatedWork W2736053689 @default.
• W153360611 hasRelatedWork W2741979953 @default.
• W153360611 hasRelatedWork W2780997459 @default.
• W153360611 hasRelatedWork W2951500378 @default.
• W153360611 hasRelatedWork W3014300714 @default.
• W153360611 hasRelatedWork W586065808 @default.
• W153360611 hasRelatedWork W93506826 @default.
• W153360611 hasRelatedWork W2001389109 @default.

• next