Matches in SemOpenAlex for { <https://semopenalex.org/work/W1998178802> ?p ?o ?g. }
Showing items 1 to 53 of
53
with 100 items per page.
- W1998178802 abstract "Computer algebra systems typically drop some degenerate cases when evaluating expressions, e.g., x=x becomes 1 dropping the case x = 0. We claim that it is feasible in practice to compute also the degenerate cases yielding guarded expressions. We work over real closed elds but our ideas about handling guarded expression can be easily transferred to other situations. Using formulas as guards provides a powerful tool for heuristically reducing the combinatorial explosion of cases: equivalent, redundant, tautological, and contradictive cases can be detected by simpli cation and quanti er elimination. Our approach allows to simplify the expressions on the basis of simpli cation knowledge on the logical side. The method described in this paper is implemented in the reduce package guardian, which is freely available on the www." @default.
- W1998178802 created "2016-06-24" @default.
- W1998178802 creator A5039342399 @default.
- W1998178802 creator A5086267365 @default.
- W1998178802 date "1997-01-01" @default.
- W1998178802 modified "2023-10-11" @default.
- W1998178802 title "Guarded expressions in practice" @default.
- W1998178802 cites W1489204561 @default.
- W1998178802 cites W1553142094 @default.
- W1998178802 cites W1558198085 @default.
- W1998178802 cites W1966161069 @default.
- W1998178802 cites W1986264093 @default.
- W1998178802 cites W1994795078 @default.
- W1998178802 cites W2007600823 @default.
- W1998178802 cites W2013702670 @default.
- W1998178802 cites W2015790193 @default.
- W1998178802 cites W2040951317 @default.
- W1998178802 cites W2041109929 @default.
- W1998178802 cites W2078405217 @default.
- W1998178802 cites W2102350230 @default.
- W1998178802 cites W2104715607 @default.
- W1998178802 cites W2114391968 @default.
- W1998178802 cites W22319829 @default.
- W1998178802 doi "https://doi.org/10.1145/258726.258851" @default.
- W1998178802 hasPublicationYear "1997" @default.
- W1998178802 type Work @default.
- W1998178802 sameAs 1998178802 @default.
- W1998178802 citedByCount "14" @default.
- W1998178802 countsByYear W19981788022013 @default.
- W1998178802 countsByYear W19981788022018 @default.
- W1998178802 countsByYear W19981788022020 @default.
- W1998178802 crossrefType "proceedings-article" @default.
- W1998178802 hasAuthorship W1998178802A5039342399 @default.
- W1998178802 hasAuthorship W1998178802A5086267365 @default.
- W1998178802 hasConcept C41008148 @default.
- W1998178802 hasConceptScore W1998178802C41008148 @default.
- W1998178802 hasLocation W19981788021 @default.
- W1998178802 hasOpenAccess W1998178802 @default.
- W1998178802 hasPrimaryLocation W19981788021 @default.
- W1998178802 hasRelatedWork W2093578348 @default.
- W1998178802 hasRelatedWork W2130043461 @default.
- W1998178802 hasRelatedWork W2350741829 @default.
- W1998178802 hasRelatedWork W2358668433 @default.
- W1998178802 hasRelatedWork W2376932109 @default.
- W1998178802 hasRelatedWork W2382290278 @default.
- W1998178802 hasRelatedWork W2390279801 @default.
- W1998178802 hasRelatedWork W2748952813 @default.
- W1998178802 hasRelatedWork W2899084033 @default.
- W1998178802 hasRelatedWork W3004735627 @default.
- W1998178802 isParatext "false" @default.
- W1998178802 isRetracted "false" @default.
- W1998178802 magId "1998178802" @default.
- W1998178802 workType "article" @default.