Matches in SemOpenAlex for { <https://semopenalex.org/work/W2022053054> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2022053054 endingPage "983" @default.
- W2022053054 startingPage "971" @default.
- W2022053054 abstract "Given a formula Φ in r variables, some of them quantified and/or occurring as arguments in trigonometric functions, we consider in this paper the problem of finding a quantifier-free formula equivalent toΦ . We present an algorithm that first computes a decomposition of the space so that the polynomials occurring inΦ are sign-invariant over each cell of this decomposition. Then the cells over which Φ is true are collected: their description gives a quantifier-free formula equivalent to Φ. The algorithm is an adaption of a well-known algorithm for the same problem with polynomial functions." @default.
- W2022053054 created "2016-06-24" @default.
- W2022053054 creator A5058450306 @default.
- W2022053054 creator A5072589415 @default.
- W2022053054 date "2000-06-01" @default.
- W2022053054 modified "2023-09-27" @default.
- W2022053054 title "Quantifier Elimination for Trigonometric Polynomials by Cylindrical Trigonometric Decomposition" @default.
- W2022053054 cites W1517324785 @default.
- W2022053054 cites W1518577889 @default.
- W2022053054 cites W1974021382 @default.
- W2022053054 cites W1991813962 @default.
- W2022053054 cites W2007074311 @default.
- W2022053054 cites W2007600823 @default.
- W2022053054 cites W2013702670 @default.
- W2022053054 cites W2013940215 @default.
- W2022053054 cites W2029381483 @default.
- W2022053054 cites W2040951317 @default.
- W2022053054 cites W2051590150 @default.
- W2022053054 cites W2054573832 @default.
- W2022053054 cites W2061749308 @default.
- W2022053054 cites W2077320196 @default.
- W2022053054 cites W2083065108 @default.
- W2022053054 cites W2083668986 @default.
- W2022053054 cites W2163112186 @default.
- W2022053054 cites W4229917934 @default.
- W2022053054 cites W4243405082 @default.
- W2022053054 cites W4246918045 @default.
- W2022053054 doi "https://doi.org/10.1006/jsco.1999.0352" @default.
- W2022053054 hasPublicationYear "2000" @default.
- W2022053054 type Work @default.
- W2022053054 sameAs 2022053054 @default.
- W2022053054 citedByCount "8" @default.
- W2022053054 countsByYear W20220530542013 @default.
- W2022053054 countsByYear W20220530542017 @default.
- W2022053054 countsByYear W20220530542018 @default.
- W2022053054 crossrefType "journal-article" @default.
- W2022053054 hasAuthorship W2022053054A5058450306 @default.
- W2022053054 hasAuthorship W2022053054A5072589415 @default.
- W2022053054 hasBestOaLocation W20220530541 @default.
- W2022053054 hasConcept C118615104 @default.
- W2022053054 hasConcept C124681953 @default.
- W2022053054 hasConcept C134306372 @default.
- W2022053054 hasConcept C136119220 @default.
- W2022053054 hasConcept C156760230 @default.
- W2022053054 hasConcept C164897557 @default.
- W2022053054 hasConcept C171836373 @default.
- W2022053054 hasConcept C178009071 @default.
- W2022053054 hasConcept C18903297 @default.
- W2022053054 hasConcept C190470478 @default.
- W2022053054 hasConcept C202444582 @default.
- W2022053054 hasConcept C2524010 @default.
- W2022053054 hasConcept C29001434 @default.
- W2022053054 hasConcept C32278780 @default.
- W2022053054 hasConcept C33923547 @default.
- W2022053054 hasConcept C37914503 @default.
- W2022053054 hasConcept C49608258 @default.
- W2022053054 hasConcept C86803240 @default.
- W2022053054 hasConcept C90119067 @default.
- W2022053054 hasConcept C9317044 @default.
- W2022053054 hasConceptScore W2022053054C118615104 @default.
- W2022053054 hasConceptScore W2022053054C124681953 @default.
- W2022053054 hasConceptScore W2022053054C134306372 @default.
- W2022053054 hasConceptScore W2022053054C136119220 @default.
- W2022053054 hasConceptScore W2022053054C156760230 @default.
- W2022053054 hasConceptScore W2022053054C164897557 @default.
- W2022053054 hasConceptScore W2022053054C171836373 @default.
- W2022053054 hasConceptScore W2022053054C178009071 @default.
- W2022053054 hasConceptScore W2022053054C18903297 @default.
- W2022053054 hasConceptScore W2022053054C190470478 @default.
- W2022053054 hasConceptScore W2022053054C202444582 @default.
- W2022053054 hasConceptScore W2022053054C2524010 @default.
- W2022053054 hasConceptScore W2022053054C29001434 @default.
- W2022053054 hasConceptScore W2022053054C32278780 @default.
- W2022053054 hasConceptScore W2022053054C33923547 @default.
- W2022053054 hasConceptScore W2022053054C37914503 @default.
- W2022053054 hasConceptScore W2022053054C49608258 @default.
- W2022053054 hasConceptScore W2022053054C86803240 @default.
- W2022053054 hasConceptScore W2022053054C90119067 @default.
- W2022053054 hasConceptScore W2022053054C9317044 @default.
- W2022053054 hasIssue "6" @default.
- W2022053054 hasLocation W20220530541 @default.
- W2022053054 hasOpenAccess W2022053054 @default.
- W2022053054 hasPrimaryLocation W20220530541 @default.
- W2022053054 hasRelatedWork W1498933441 @default.
- W2022053054 hasRelatedWork W1516679648 @default.
- W2022053054 hasRelatedWork W164200052 @default.
- W2022053054 hasRelatedWork W2022053054 @default.
- W2022053054 hasRelatedWork W2030331859 @default.
- W2022053054 hasRelatedWork W2949794371 @default.
- W2022053054 hasRelatedWork W3087838095 @default.
- W2022053054 hasRelatedWork W630157503 @default.
- W2022053054 hasRelatedWork W644441814 @default.
- W2022053054 hasRelatedWork W657485438 @default.
- W2022053054 hasVolume "29" @default.
- W2022053054 isParatext "false" @default.
- W2022053054 isRetracted "false" @default.
- W2022053054 magId "2022053054" @default.
- W2022053054 workType "article" @default.