Matches in SemOpenAlex for { <https://semopenalex.org/work/W4383213517> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W4383213517 abstract "McCallum-style Cylindrical Algebra Decomposition (CAD) is a major improvement on the original Collins version, and has had many subsequent advances, notably for total or partial equational constraints. But it suffers from a problem with nullification. The recently-justified Lazard-style CAD does not have this problem. However, transporting the equational constraints work to Lazard-style does reintroduce nullification issues. This paper explains the problem, and the solutions to it, based on the second author’s Ph.D. thesis and the Brown–McCallum improvement to Lazard." @default.
- W4383213517 created "2023-07-06" @default.
- W4383213517 creator A5037608003 @default.
- W4383213517 creator A5043054372 @default.
- W4383213517 creator A5046803766 @default.
- W4383213517 creator A5059647173 @default.
- W4383213517 date "2023-07-24" @default.
- W4383213517 modified "2023-09-23" @default.
- W4383213517 title "Lazard-style CAD and Equational Constraints" @default.
- W4383213517 cites W1491532135 @default.
- W4383213517 cites W1916563250 @default.
- W4383213517 cites W1976567870 @default.
- W4383213517 cites W1996657304 @default.
- W4383213517 cites W2021431116 @default.
- W4383213517 cites W2051595244 @default.
- W4383213517 cites W2470587716 @default.
- W4383213517 cites W2963334000 @default.
- W4383213517 cites W2966279456 @default.
- W4383213517 cites W2994770365 @default.
- W4383213517 doi "https://doi.org/10.1145/3597066.3597090" @default.
- W4383213517 hasPublicationYear "2023" @default.
- W4383213517 type Work @default.
- W4383213517 citedByCount "0" @default.
- W4383213517 crossrefType "proceedings-article" @default.
- W4383213517 hasAuthorship W4383213517A5037608003 @default.
- W4383213517 hasAuthorship W4383213517A5043054372 @default.
- W4383213517 hasAuthorship W4383213517A5046803766 @default.
- W4383213517 hasAuthorship W4383213517A5059647173 @default.
- W4383213517 hasBestOaLocation W43832135171 @default.
- W4383213517 hasConcept C124952713 @default.
- W4383213517 hasConcept C136119220 @default.
- W4383213517 hasConcept C142362112 @default.
- W4383213517 hasConcept C17744445 @default.
- W4383213517 hasConcept C199539241 @default.
- W4383213517 hasConcept C202444582 @default.
- W4383213517 hasConcept C2776445246 @default.
- W4383213517 hasConcept C2909606789 @default.
- W4383213517 hasConcept C33923547 @default.
- W4383213517 hasConcept C41008148 @default.
- W4383213517 hasConceptScore W4383213517C124952713 @default.
- W4383213517 hasConceptScore W4383213517C136119220 @default.
- W4383213517 hasConceptScore W4383213517C142362112 @default.
- W4383213517 hasConceptScore W4383213517C17744445 @default.
- W4383213517 hasConceptScore W4383213517C199539241 @default.
- W4383213517 hasConceptScore W4383213517C202444582 @default.
- W4383213517 hasConceptScore W4383213517C2776445246 @default.
- W4383213517 hasConceptScore W4383213517C2909606789 @default.
- W4383213517 hasConceptScore W4383213517C33923547 @default.
- W4383213517 hasConceptScore W4383213517C41008148 @default.
- W4383213517 hasLocation W43832135171 @default.
- W4383213517 hasLocation W43832135172 @default.
- W4383213517 hasOpenAccess W4383213517 @default.
- W4383213517 hasPrimaryLocation W43832135171 @default.
- W4383213517 hasRelatedWork W1557945163 @default.
- W4383213517 hasRelatedWork W1912064545 @default.
- W4383213517 hasRelatedWork W1985218657 @default.
- W4383213517 hasRelatedWork W2064847051 @default.
- W4383213517 hasRelatedWork W2096753949 @default.
- W4383213517 hasRelatedWork W2742285599 @default.
- W4383213517 hasRelatedWork W2963341196 @default.
- W4383213517 hasRelatedWork W3099641547 @default.
- W4383213517 hasRelatedWork W3124205579 @default.
- W4383213517 hasRelatedWork W4249580765 @default.
- W4383213517 isParatext "false" @default.
- W4383213517 isRetracted "false" @default.
- W4383213517 workType "article" @default.