FRINK Linked Data Fragments server

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

• W1541307534 abstract "Cylindrical algebraic decomposition (CAD) is an important tool for the investigation of semi-algebraic sets, with applications within algebraic geometry and beyond. We recently reported on a new implementation of CAD in Maple which implemented the original algorithm of Collins and the subsequent improvement to projection by McCallum. Our implementation was in contrast to Maple’s in-built CAD command, based on a quite separate theory. Although initially developed as an investigative tool to compare the algorithms, we found and reported that our code offered functionality not currently available in any other existing implementations. One particularly important piece of functionality is the ability to produce order-invariant CADs. This has allowed us to extend the implementation to produce CADs invariant with respect to either equational constraints (ECCADs) or the truth-tables of sequences of formulae (TTICADs). This new functionality is contained in the second release of our code, along with commands to consider problem formulation which can be a major factor in the tractability of a CAD. In the report we describe the new functionality and some theoretical discoveries it prompted. We describe how the CADs produced using equational constraints are able to take advantage of not just improved projection but also improvements in the lifting phase. We also present an extension to the original TTICAD algorithm which increases both the applicability of TTICAD and its relative benefit over other algorithms. The code and an introductory Maple worksheet / pdf demonstrating the full functionality of the package should accompany this report." @default.
• W1541307534 created "2016-06-24" @default.
• W1541307534 creator A5052550722 @default.
• W1541307534 date "2013-06-13" @default.
• W1541307534 modified "2023-09-27" @default.
• W1541307534 title "An Implementation of CAD in Maple Utilising Problem Formulation, Equational Constraints and Truth-Table Invariance" @default.
• W1541307534 cites W1530330307 @default.
• W1541307534 cites W1565449944 @default.
• W1541307534 cites W1976567870 @default.
• W1541307534 cites W1984527805 @default.
• W1541307534 cites W2007074311 @default.
• W1541307534 cites W2026612342 @default.
• W1541307534 cites W2026774968 @default.
• W1541307534 cites W2033013465 @default.
• W1541307534 cites W2040676767 @default.
• W1541307534 cites W2051595244 @default.
• W1541307534 cites W2052865204 @default.
• W1541307534 cites W2067705970 @default.
• W1541307534 cites W2077320196 @default.
• W1541307534 cites W2098365657 @default.
• W1541307534 cites W2113881937 @default.
• W1541307534 cites W2149920974 @default.
• W1541307534 cites W3029861217 @default.
• W1541307534 cites W3098210831 @default.
• W1541307534 cites W3217399827 @default.
• W1541307534 cites W399280277 @default.
• W1541307534 hasPublicationYear "2013" @default.
• W1541307534 type Work @default.
• W1541307534 sameAs 1541307534 @default.
• W1541307534 citedByCount "3" @default.
• W1541307534 countsByYear W15413075342014 @default.
• W1541307534 countsByYear W15413075342015 @default.
• W1541307534 countsByYear W15413075342016 @default.
• W1541307534 crossrefType "posted-content" @default.
• W1541307534 hasAuthorship W1541307534A5052550722 @default.
• W1541307534 hasConcept C11413529 @default.
• W1541307534 hasConcept C127413603 @default.
• W1541307534 hasConcept C134306372 @default.
• W1541307534 hasConcept C136119220 @default.
• W1541307534 hasConcept C177264268 @default.
• W1541307534 hasConcept C190470478 @default.
• W1541307534 hasConcept C194789388 @default.
• W1541307534 hasConcept C199360897 @default.
• W1541307534 hasConcept C199639397 @default.
• W1541307534 hasConcept C202444582 @default.
• W1541307534 hasConcept C26713055 @default.
• W1541307534 hasConcept C2776760102 @default.
• W1541307534 hasConcept C2780414537 @default.
• W1541307534 hasConcept C33923547 @default.
• W1541307534 hasConcept C37914503 @default.
• W1541307534 hasConcept C41008148 @default.
• W1541307534 hasConcept C45235069 @default.
• W1541307534 hasConcept C57493831 @default.
• W1541307534 hasConcept C59822182 @default.
• W1541307534 hasConcept C77088390 @default.
• W1541307534 hasConcept C80444323 @default.
• W1541307534 hasConcept C86803240 @default.
• W1541307534 hasConcept C9376300 @default.
• W1541307534 hasConceptScore W1541307534C11413529 @default.
• W1541307534 hasConceptScore W1541307534C127413603 @default.
• W1541307534 hasConceptScore W1541307534C134306372 @default.
• W1541307534 hasConceptScore W1541307534C136119220 @default.
• W1541307534 hasConceptScore W1541307534C177264268 @default.
• W1541307534 hasConceptScore W1541307534C190470478 @default.
• W1541307534 hasConceptScore W1541307534C194789388 @default.
• W1541307534 hasConceptScore W1541307534C199360897 @default.
• W1541307534 hasConceptScore W1541307534C199639397 @default.
• W1541307534 hasConceptScore W1541307534C202444582 @default.
• W1541307534 hasConceptScore W1541307534C26713055 @default.
• W1541307534 hasConceptScore W1541307534C2776760102 @default.
• W1541307534 hasConceptScore W1541307534C2780414537 @default.
• W1541307534 hasConceptScore W1541307534C33923547 @default.
• W1541307534 hasConceptScore W1541307534C37914503 @default.
• W1541307534 hasConceptScore W1541307534C41008148 @default.
• W1541307534 hasConceptScore W1541307534C45235069 @default.
• W1541307534 hasConceptScore W1541307534C57493831 @default.
• W1541307534 hasConceptScore W1541307534C59822182 @default.
• W1541307534 hasConceptScore W1541307534C77088390 @default.
• W1541307534 hasConceptScore W1541307534C80444323 @default.
• W1541307534 hasConceptScore W1541307534C86803240 @default.
• W1541307534 hasConceptScore W1541307534C9376300 @default.
• W1541307534 hasLocation W15413075341 @default.
• W1541307534 hasOpenAccess W1541307534 @default.
• W1541307534 hasPrimaryLocation W15413075341 @default.
• W1541307534 hasRelatedWork W1565449944 @default.
• W1541307534 hasRelatedWork W1916563250 @default.
• W1541307534 hasRelatedWork W1976567870 @default.
• W1541307534 hasRelatedWork W2007074311 @default.
• W1541307534 hasRelatedWork W2026612342 @default.
• W1541307534 hasRelatedWork W2026774968 @default.
• W1541307534 hasRelatedWork W2033013465 @default.
• W1541307534 hasRelatedWork W2051595244 @default.
• W1541307534 hasRelatedWork W2052865204 @default.
• W1541307534 hasRelatedWork W2057592112 @default.
• W1541307534 hasRelatedWork W2067705970 @default.
• W1541307534 hasRelatedWork W2075348750 @default.
• W1541307534 hasRelatedWork W2093850840 @default.
• W1541307534 hasRelatedWork W2113881937 @default.
• W1541307534 hasRelatedWork W2125191920 @default.
• W1541307534 hasRelatedWork W2135122395 @default.

• next