Matches in SemOpenAlex for { <https://semopenalex.org/work/W1997033239> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W1997033239 abstract "We report on our on-going efforts to apply real quantifier elimination to the (semi-)automatic complexity analysis of numerical algorithms. In particular, we describe a case study on the square root problem: given a real number x and an error bound, find a real interval such that it contains √x and its width is less than or equal to e. A typical numerical algorithm starts with an initial interval and repeatedly updates it by applying a “refinement map” on it until it becomes narrow enough. In this paper, the complexity analysis amounts to find the smallest maximum number of loop iterations of the algorithm. Hence, the algorithm must be correct, terminating and optimal. It can be formulated as a quantifier elimination problem over real numbers. Hence, in principle, the complexity analysis can be carried out automatically. However, the computational requirement is huge, making the automatic analysis practically impossible with the current general real quantifier elimination software. We overcame the difficulty by (1) carefully reducing a complicated quantified formula into several simpler ones and (2) automatically eliminating the quantifiers from the resulting ones using the state-of-the-art quantifier elimination software. As the result, we were able to compute semi-automatically the complexity of a class of optimal contracting maps." @default.
- W1997033239 created "2016-06-24" @default.
- W1997033239 creator A5073524391 @default.
- W1997033239 date "2014-09-01" @default.
- W1997033239 modified "2023-09-26" @default.
- W1997033239 title "Semi-automatic analysis of algorithm complexity (Case study: Square-root computation)" @default.
- W1997033239 cites W1492171827 @default.
- W1997033239 cites W1541144457 @default.
- W1997033239 cites W1553142094 @default.
- W1997033239 cites W1570787829 @default.
- W1997033239 cites W1599625180 @default.
- W1997033239 cites W1608397552 @default.
- W1997033239 cites W1813686459 @default.
- W1997033239 cites W1986264093 @default.
- W1997033239 cites W1999739625 @default.
- W1997033239 cites W2002857709 @default.
- W1997033239 cites W2011495999 @default.
- W1997033239 cites W2026612342 @default.
- W1997033239 cites W2037317065 @default.
- W1997033239 cites W2060924166 @default.
- W1997033239 cites W2066463410 @default.
- W1997033239 cites W2086861813 @default.
- W1997033239 cites W2095090051 @default.
- W1997033239 cites W2124909257 @default.
- W1997033239 cites W2135331739 @default.
- W1997033239 cites W2159756689 @default.
- W1997033239 cites W2211820962 @default.
- W1997033239 cites W2293708017 @default.
- W1997033239 doi "https://doi.org/10.1109/sisy.2014.6923559" @default.
- W1997033239 hasPublicationYear "2014" @default.
- W1997033239 type Work @default.
- W1997033239 sameAs 1997033239 @default.
- W1997033239 citedByCount "0" @default.
- W1997033239 crossrefType "proceedings-article" @default.
- W1997033239 hasAuthorship W1997033239A5073524391 @default.
- W1997033239 hasConcept C11413529 @default.
- W1997033239 hasConcept C114614502 @default.
- W1997033239 hasConcept C11577676 @default.
- W1997033239 hasConcept C134306372 @default.
- W1997033239 hasConcept C154945302 @default.
- W1997033239 hasConcept C179799912 @default.
- W1997033239 hasConcept C191252586 @default.
- W1997033239 hasConcept C199360897 @default.
- W1997033239 hasConcept C2524010 @default.
- W1997033239 hasConcept C2777212361 @default.
- W1997033239 hasConcept C2777904410 @default.
- W1997033239 hasConcept C2778067643 @default.
- W1997033239 hasConcept C2778523021 @default.
- W1997033239 hasConcept C32278780 @default.
- W1997033239 hasConcept C33923547 @default.
- W1997033239 hasConcept C34388435 @default.
- W1997033239 hasConcept C41008148 @default.
- W1997033239 hasConcept C45374587 @default.
- W1997033239 hasConceptScore W1997033239C11413529 @default.
- W1997033239 hasConceptScore W1997033239C114614502 @default.
- W1997033239 hasConceptScore W1997033239C11577676 @default.
- W1997033239 hasConceptScore W1997033239C134306372 @default.
- W1997033239 hasConceptScore W1997033239C154945302 @default.
- W1997033239 hasConceptScore W1997033239C179799912 @default.
- W1997033239 hasConceptScore W1997033239C191252586 @default.
- W1997033239 hasConceptScore W1997033239C199360897 @default.
- W1997033239 hasConceptScore W1997033239C2524010 @default.
- W1997033239 hasConceptScore W1997033239C2777212361 @default.
- W1997033239 hasConceptScore W1997033239C2777904410 @default.
- W1997033239 hasConceptScore W1997033239C2778067643 @default.
- W1997033239 hasConceptScore W1997033239C2778523021 @default.
- W1997033239 hasConceptScore W1997033239C32278780 @default.
- W1997033239 hasConceptScore W1997033239C33923547 @default.
- W1997033239 hasConceptScore W1997033239C34388435 @default.
- W1997033239 hasConceptScore W1997033239C41008148 @default.
- W1997033239 hasConceptScore W1997033239C45374587 @default.
- W1997033239 hasLocation W19970332391 @default.
- W1997033239 hasOpenAccess W1997033239 @default.
- W1997033239 hasPrimaryLocation W19970332391 @default.
- W1997033239 hasRelatedWork W1567596991 @default.
- W1997033239 hasRelatedWork W1635405479 @default.
- W1997033239 hasRelatedWork W1970535375 @default.
- W1997033239 hasRelatedWork W1982197415 @default.
- W1997033239 hasRelatedWork W1996709931 @default.
- W1997033239 hasRelatedWork W2051048931 @default.
- W1997033239 hasRelatedWork W2102261877 @default.
- W1997033239 hasRelatedWork W2119524889 @default.
- W1997033239 hasRelatedWork W2130765174 @default.
- W1997033239 hasRelatedWork W2131183082 @default.
- W1997033239 hasRelatedWork W2159795015 @default.
- W1997033239 hasRelatedWork W2166822605 @default.
- W1997033239 hasRelatedWork W2347899746 @default.
- W1997033239 hasRelatedWork W2385912230 @default.
- W1997033239 hasRelatedWork W2557169239 @default.
- W1997033239 hasRelatedWork W2883470031 @default.
- W1997033239 hasRelatedWork W2912317637 @default.
- W1997033239 hasRelatedWork W3045152478 @default.
- W1997033239 hasRelatedWork W3106544337 @default.
- W1997033239 hasRelatedWork W91152120 @default.
- W1997033239 isParatext "false" @default.
- W1997033239 isRetracted "false" @default.
- W1997033239 magId "1997033239" @default.
- W1997033239 workType "article" @default.