Matches in SemOpenAlex for { <https://semopenalex.org/work/W2043033334> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W2043033334 abstract "In this tutorial, we will give an overview of typical algorithms of quantifier elimination over the reals and illustrate their actual applications in industry. Some recent research results on computational efficiency improvement of quantifier elimination algorithms, in particular for solving practical industrial problems, will be also mentioned. Moreover, we will briefly explain valuable techniques and tips to effectively utilize quantifier elimination in practice." @default.
- W2043033334 created "2016-06-24" @default.
- W2043033334 creator A5037020693 @default.
- W2043033334 date "2014-07-23" @default.
- W2043033334 modified "2023-10-14" @default.
- W2043033334 title "Effective quantifier elimination for industrial applications" @default.
- W2043033334 cites W1488226435 @default.
- W2043033334 cites W1494050842 @default.
- W2043033334 cites W1565046294 @default.
- W2043033334 cites W1570787829 @default.
- W2043033334 cites W166494688 @default.
- W2043033334 cites W1969286122 @default.
- W2043033334 cites W1975220871 @default.
- W2043033334 cites W1986264093 @default.
- W2043033334 cites W2013702670 @default.
- W2043033334 cites W2026612342 @default.
- W2043033334 cites W2035981707 @default.
- W2043033334 cites W2036406522 @default.
- W2043033334 cites W2076229375 @default.
- W2043033334 cites W2089635465 @default.
- W2043033334 cites W2129504840 @default.
- W2043033334 cites W2161761977 @default.
- W2043033334 cites W2998597040 @default.
- W2043033334 cites W5248521 @default.
- W2043033334 doi "https://doi.org/10.1145/2608628.2627494" @default.
- W2043033334 hasPublicationYear "2014" @default.
- W2043033334 type Work @default.
- W2043033334 sameAs 2043033334 @default.
- W2043033334 citedByCount "1" @default.
- W2043033334 countsByYear W20430333342020 @default.
- W2043033334 crossrefType "proceedings-article" @default.
- W2043033334 hasAuthorship W2043033334A5037020693 @default.
- W2043033334 hasConcept C154945302 @default.
- W2043033334 hasConcept C199360897 @default.
- W2043033334 hasConcept C2778523021 @default.
- W2043033334 hasConcept C32278780 @default.
- W2043033334 hasConcept C41008148 @default.
- W2043033334 hasConceptScore W2043033334C154945302 @default.
- W2043033334 hasConceptScore W2043033334C199360897 @default.
- W2043033334 hasConceptScore W2043033334C2778523021 @default.
- W2043033334 hasConceptScore W2043033334C32278780 @default.
- W2043033334 hasConceptScore W2043033334C41008148 @default.
- W2043033334 hasLocation W20430333341 @default.
- W2043033334 hasOpenAccess W2043033334 @default.
- W2043033334 hasPrimaryLocation W20430333341 @default.
- W2043033334 hasRelatedWork W2109507516 @default.
- W2043033334 hasRelatedWork W2135396778 @default.
- W2043033334 hasRelatedWork W2170779139 @default.
- W2043033334 hasRelatedWork W2798639752 @default.
- W2043033334 hasRelatedWork W2970014943 @default.
- W2043033334 hasRelatedWork W3012938552 @default.
- W2043033334 hasRelatedWork W4214737172 @default.
- W2043033334 hasRelatedWork W4234030010 @default.
- W2043033334 hasRelatedWork W4243252198 @default.
- W2043033334 hasRelatedWork W4287825236 @default.
- W2043033334 isParatext "false" @default.
- W2043033334 isRetracted "false" @default.
- W2043033334 magId "2043033334" @default.
- W2043033334 workType "article" @default.