Matches in SemOpenAlex for { <https://semopenalex.org/work/W2034551708> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2034551708 endingPage "521" @default.
- W2034551708 startingPage "503" @default.
- W2034551708 abstract "Maple’s symbolic evaluator, together with a feature that is usually known as the assume facility, implements a powerful form of conditional rewriting. In a previous paper the authors showed that Maple’s evaluation process can be recast as constraint contextual rewriting (CCR), a form of conditional rewriting that incorporates the services provided by a decision procedure through a well-specified interface. In the present paper, this analysis is extended to a component of the assume facility that deals with problems beyond linear arithmetic and that we call the general solver. This led to the discovery of a fault that causes Maple to return wrong results with some contexts. The reason for this is that the facility wrongly assumes that the general solver is complete in the sense that it uses all the available assumptions in the context. While a simple fix to this problem would reduce the logical strength of the assume facility, we show that a more general approach inspired by techniques available in CCR does not suffer from the problem and naturally leads to stronger forms of simplification." @default.
- W2034551708 created "2016-06-24" @default.
- W2034551708 creator A5039827178 @default.
- W2034551708 creator A5054327931 @default.
- W2034551708 date "2005-05-01" @default.
- W2034551708 modified "2023-10-16" @default.
- W2034551708 title "A reconstruction and extension of Maple’s assume facility via constraint contextual rewriting" @default.
- W2034551708 cites W1486968655 @default.
- W2034551708 cites W1525737662 @default.
- W2034551708 cites W1998316495 @default.
- W2034551708 cites W2036883244 @default.
- W2034551708 cites W2041109929 @default.
- W2034551708 cites W2103039937 @default.
- W2034551708 doi "https://doi.org/10.1016/j.jsc.2004.12.010" @default.
- W2034551708 hasPublicationYear "2005" @default.
- W2034551708 type Work @default.
- W2034551708 sameAs 2034551708 @default.
- W2034551708 citedByCount "2" @default.
- W2034551708 countsByYear W20345517082021 @default.
- W2034551708 crossrefType "journal-article" @default.
- W2034551708 hasAuthorship W2034551708A5039827178 @default.
- W2034551708 hasAuthorship W2034551708A5054327931 @default.
- W2034551708 hasConcept C111472728 @default.
- W2034551708 hasConcept C136119220 @default.
- W2034551708 hasConcept C138885662 @default.
- W2034551708 hasConcept C151730666 @default.
- W2034551708 hasConcept C154690210 @default.
- W2034551708 hasConcept C199360897 @default.
- W2034551708 hasConcept C202444582 @default.
- W2034551708 hasConcept C2524010 @default.
- W2034551708 hasConcept C2776036281 @default.
- W2034551708 hasConcept C2778029271 @default.
- W2034551708 hasConcept C2778770139 @default.
- W2034551708 hasConcept C2779343474 @default.
- W2034551708 hasConcept C2780414537 @default.
- W2034551708 hasConcept C2780586882 @default.
- W2034551708 hasConcept C33923547 @default.
- W2034551708 hasConcept C41008148 @default.
- W2034551708 hasConcept C59822182 @default.
- W2034551708 hasConcept C80444323 @default.
- W2034551708 hasConcept C86803240 @default.
- W2034551708 hasConceptScore W2034551708C111472728 @default.
- W2034551708 hasConceptScore W2034551708C136119220 @default.
- W2034551708 hasConceptScore W2034551708C138885662 @default.
- W2034551708 hasConceptScore W2034551708C151730666 @default.
- W2034551708 hasConceptScore W2034551708C154690210 @default.
- W2034551708 hasConceptScore W2034551708C199360897 @default.
- W2034551708 hasConceptScore W2034551708C202444582 @default.
- W2034551708 hasConceptScore W2034551708C2524010 @default.
- W2034551708 hasConceptScore W2034551708C2776036281 @default.
- W2034551708 hasConceptScore W2034551708C2778029271 @default.
- W2034551708 hasConceptScore W2034551708C2778770139 @default.
- W2034551708 hasConceptScore W2034551708C2779343474 @default.
- W2034551708 hasConceptScore W2034551708C2780414537 @default.
- W2034551708 hasConceptScore W2034551708C2780586882 @default.
- W2034551708 hasConceptScore W2034551708C33923547 @default.
- W2034551708 hasConceptScore W2034551708C41008148 @default.
- W2034551708 hasConceptScore W2034551708C59822182 @default.
- W2034551708 hasConceptScore W2034551708C80444323 @default.
- W2034551708 hasConceptScore W2034551708C86803240 @default.
- W2034551708 hasIssue "5" @default.
- W2034551708 hasLocation W20345517081 @default.
- W2034551708 hasOpenAccess W2034551708 @default.
- W2034551708 hasPrimaryLocation W20345517081 @default.
- W2034551708 hasRelatedWork W1504020445 @default.
- W2034551708 hasRelatedWork W1569472630 @default.
- W2034551708 hasRelatedWork W1570761526 @default.
- W2034551708 hasRelatedWork W2013111119 @default.
- W2034551708 hasRelatedWork W2108174561 @default.
- W2034551708 hasRelatedWork W2170846366 @default.
- W2034551708 hasRelatedWork W2538718439 @default.
- W2034551708 hasRelatedWork W4231865403 @default.
- W2034551708 hasRelatedWork W4250918063 @default.
- W2034551708 hasRelatedWork W4251805752 @default.
- W2034551708 hasVolume "39" @default.
- W2034551708 isParatext "false" @default.
- W2034551708 isRetracted "false" @default.
- W2034551708 magId "2034551708" @default.
- W2034551708 workType "article" @default.