Matches in SemOpenAlex for { <https://semopenalex.org/work/W36121155> ?p ?o ?g. }
- W36121155 abstract "This paper is concerned with certifying that a given point is near an exact root of an overdetermined or singular polynomial system with coefficients. The difficulty lies in the fact that consistency of overdetermined systems is not a continuous property. Our certification is based on hybrid symbolic-numeric methods to compute the exact rational univariate representation (RUR) of a component of the input system from approximate roots. For overdetermined polynomial systems with simple roots, we compute an initial RUR from approximate roots. The accuracy of the RUR is increased via Newton iterations until the exact RUR is found, which we certify using exact arithmetic. Since the RUR is well-constrained, we can use it to certify the given approximate roots using alpha-theory. To certify isolated singular roots, we use a determinantal form of the isosingular deflation, which adds new polynomials to the original system without introducing new variables. The resulting polynomial system is overdetermined, but the roots are now simple, thereby reducing the problem to the overdetermined case. We prove that our algorithms have complexity that are polynomial in the input plus the output size upon successful convergence, and we use worst case upper bounds for termination when our iteration does not converge to an exact RUR. Examples are included to demonstrate the approach." @default.
- W36121155 created "2016-06-24" @default.
- W36121155 creator A5007214938 @default.
- W36121155 creator A5063385263 @default.
- W36121155 creator A5086594308 @default.
- W36121155 date "2014-08-12" @default.
- W36121155 modified "2023-09-27" @default.
- W36121155 title "Certifying solutions to overdetermined and singular polynomial systems over Q" @default.
- W36121155 cites W1490272990 @default.
- W36121155 cites W1532036648 @default.
- W36121155 cites W1550331971 @default.
- W36121155 cites W1605702526 @default.
- W36121155 cites W1619519317 @default.
- W36121155 cites W1703511305 @default.
- W36121155 cites W1970394197 @default.
- W36121155 cites W1976392590 @default.
- W36121155 cites W1990892246 @default.
- W36121155 cites W1994534082 @default.
- W36121155 cites W1995320256 @default.
- W36121155 cites W1996430549 @default.
- W36121155 cites W2006383280 @default.
- W36121155 cites W2009126887 @default.
- W36121155 cites W2011693299 @default.
- W36121155 cites W2019363796 @default.
- W36121155 cites W2043938310 @default.
- W36121155 cites W2058134063 @default.
- W36121155 cites W2064131066 @default.
- W36121155 cites W2065987853 @default.
- W36121155 cites W2070381457 @default.
- W36121155 cites W2071860648 @default.
- W36121155 cites W2072820534 @default.
- W36121155 cites W2076593831 @default.
- W36121155 cites W2077569399 @default.
- W36121155 cites W2086798396 @default.
- W36121155 cites W2093973500 @default.
- W36121155 cites W2105458451 @default.
- W36121155 cites W2109714706 @default.
- W36121155 cites W2130918732 @default.
- W36121155 cites W2143852990 @default.
- W36121155 cites W2146061292 @default.
- W36121155 cites W2155163206 @default.
- W36121155 cites W2625794288 @default.
- W36121155 cites W2950173634 @default.
- W36121155 cites W2953302948 @default.
- W36121155 cites W2964089478 @default.
- W36121155 cites W3140055445 @default.
- W36121155 cites W647818151 @default.
- W36121155 hasPublicationYear "2014" @default.
- W36121155 type Work @default.
- W36121155 sameAs 36121155 @default.
- W36121155 citedByCount "1" @default.
- W36121155 countsByYear W361211552016 @default.
- W36121155 crossrefType "posted-content" @default.
- W36121155 hasAuthorship W36121155A5007214938 @default.
- W36121155 hasAuthorship W36121155A5063385263 @default.
- W36121155 hasAuthorship W36121155A5086594308 @default.
- W36121155 hasConcept C111472728 @default.
- W36121155 hasConcept C118615104 @default.
- W36121155 hasConcept C126255220 @default.
- W36121155 hasConcept C134306372 @default.
- W36121155 hasConcept C138885662 @default.
- W36121155 hasConcept C2776436953 @default.
- W36121155 hasConcept C2780586882 @default.
- W36121155 hasConcept C28826006 @default.
- W36121155 hasConcept C33923547 @default.
- W36121155 hasConcept C81901731 @default.
- W36121155 hasConcept C90119067 @default.
- W36121155 hasConceptScore W36121155C111472728 @default.
- W36121155 hasConceptScore W36121155C118615104 @default.
- W36121155 hasConceptScore W36121155C126255220 @default.
- W36121155 hasConceptScore W36121155C134306372 @default.
- W36121155 hasConceptScore W36121155C138885662 @default.
- W36121155 hasConceptScore W36121155C2776436953 @default.
- W36121155 hasConceptScore W36121155C2780586882 @default.
- W36121155 hasConceptScore W36121155C28826006 @default.
- W36121155 hasConceptScore W36121155C33923547 @default.
- W36121155 hasConceptScore W36121155C81901731 @default.
- W36121155 hasConceptScore W36121155C90119067 @default.
- W36121155 hasLocation W361211551 @default.
- W36121155 hasOpenAccess W36121155 @default.
- W36121155 hasPrimaryLocation W361211551 @default.
- W36121155 hasRelatedWork W114368066 @default.
- W36121155 hasRelatedWork W1561624631 @default.
- W36121155 hasRelatedWork W1614223617 @default.
- W36121155 hasRelatedWork W1982216340 @default.
- W36121155 hasRelatedWork W1998759347 @default.
- W36121155 hasRelatedWork W2004272409 @default.
- W36121155 hasRelatedWork W2016389104 @default.
- W36121155 hasRelatedWork W2065235897 @default.
- W36121155 hasRelatedWork W2071860648 @default.
- W36121155 hasRelatedWork W2101413883 @default.
- W36121155 hasRelatedWork W2130173851 @default.
- W36121155 hasRelatedWork W2151319732 @default.
- W36121155 hasRelatedWork W2154155820 @default.
- W36121155 hasRelatedWork W2192517177 @default.
- W36121155 hasRelatedWork W2240282887 @default.
- W36121155 hasRelatedWork W2789189302 @default.
- W36121155 hasRelatedWork W2951662810 @default.
- W36121155 hasRelatedWork W2952478211 @default.
- W36121155 hasRelatedWork W2963248079 @default.