Matches in SemOpenAlex for { <https://semopenalex.org/work/W3186103803> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W3186103803 abstract "This abstract seeks to introduce the ISSAC community to the DEWCAD project, which is based at Coventry University and the University of Bath, in the United Kingdom. The project seeks to push back the Doubly Exponential Wall of Cylindrical Algebraic Decomposition, through the integration of SAT/SMT technology, the extension of Lazard projection theory, and the development of new algorithms based on CAD technology but without producing CADs themselves. The project also seeks to develop applications of CAD and will focus on applications in the domains of economics and bio-network analysis." @default.
- W3186103803 created "2021-08-02" @default.
- W3186103803 creator A5043054372 @default.
- W3186103803 creator A5052550722 @default.
- W3186103803 creator A5059647173 @default.
- W3186103803 creator A5073640180 @default.
- W3186103803 creator A5084273274 @default.
- W3186103803 date "2021-06-04" @default.
- W3186103803 modified "2023-09-23" @default.
- W3186103803 title "The DEWCAD Project: Pushing Back the Doubly Exponential Wall of Cylindrical Algebraic Decomposition" @default.
- W3186103803 hasPublicationYear "2021" @default.
- W3186103803 type Work @default.
- W3186103803 sameAs 3186103803 @default.
- W3186103803 citedByCount "1" @default.
- W3186103803 countsByYear W31861038032023 @default.
- W3186103803 crossrefType "journal-article" @default.
- W3186103803 hasAuthorship W3186103803A5043054372 @default.
- W3186103803 hasAuthorship W3186103803A5052550722 @default.
- W3186103803 hasAuthorship W3186103803A5059647173 @default.
- W3186103803 hasAuthorship W3186103803A5073640180 @default.
- W3186103803 hasAuthorship W3186103803A5084273274 @default.
- W3186103803 hasConcept C11413529 @default.
- W3186103803 hasConcept C120665830 @default.
- W3186103803 hasConcept C121332964 @default.
- W3186103803 hasConcept C124681953 @default.
- W3186103803 hasConcept C127413603 @default.
- W3186103803 hasConcept C134306372 @default.
- W3186103803 hasConcept C136119220 @default.
- W3186103803 hasConcept C151376022 @default.
- W3186103803 hasConcept C18903297 @default.
- W3186103803 hasConcept C192209626 @default.
- W3186103803 hasConcept C194789388 @default.
- W3186103803 hasConcept C199360897 @default.
- W3186103803 hasConcept C199639397 @default.
- W3186103803 hasConcept C202444582 @default.
- W3186103803 hasConcept C2778029271 @default.
- W3186103803 hasConcept C33923547 @default.
- W3186103803 hasConcept C41008148 @default.
- W3186103803 hasConcept C57493831 @default.
- W3186103803 hasConcept C86803240 @default.
- W3186103803 hasConcept C9376300 @default.
- W3186103803 hasConceptScore W3186103803C11413529 @default.
- W3186103803 hasConceptScore W3186103803C120665830 @default.
- W3186103803 hasConceptScore W3186103803C121332964 @default.
- W3186103803 hasConceptScore W3186103803C124681953 @default.
- W3186103803 hasConceptScore W3186103803C127413603 @default.
- W3186103803 hasConceptScore W3186103803C134306372 @default.
- W3186103803 hasConceptScore W3186103803C136119220 @default.
- W3186103803 hasConceptScore W3186103803C151376022 @default.
- W3186103803 hasConceptScore W3186103803C18903297 @default.
- W3186103803 hasConceptScore W3186103803C192209626 @default.
- W3186103803 hasConceptScore W3186103803C194789388 @default.
- W3186103803 hasConceptScore W3186103803C199360897 @default.
- W3186103803 hasConceptScore W3186103803C199639397 @default.
- W3186103803 hasConceptScore W3186103803C202444582 @default.
- W3186103803 hasConceptScore W3186103803C2778029271 @default.
- W3186103803 hasConceptScore W3186103803C33923547 @default.
- W3186103803 hasConceptScore W3186103803C41008148 @default.
- W3186103803 hasConceptScore W3186103803C57493831 @default.
- W3186103803 hasConceptScore W3186103803C86803240 @default.
- W3186103803 hasConceptScore W3186103803C9376300 @default.
- W3186103803 hasLocation W31861038031 @default.
- W3186103803 hasOpenAccess W3186103803 @default.
- W3186103803 hasPrimaryLocation W31861038031 @default.
- W3186103803 hasRelatedWork W1904611021 @default.
- W3186103803 hasRelatedWork W2024069909 @default.
- W3186103803 hasRelatedWork W2253244608 @default.
- W3186103803 hasRelatedWork W2581962499 @default.
- W3186103803 hasRelatedWork W287042987 @default.
- W3186103803 hasRelatedWork W3038794244 @default.
- W3186103803 hasRelatedWork W3109018190 @default.
- W3186103803 hasRelatedWork W3190926085 @default.
- W3186103803 isParatext "false" @default.
- W3186103803 isRetracted "false" @default.
- W3186103803 magId "3186103803" @default.
- W3186103803 workType "article" @default.