Matches in SemOpenAlex for { <https://semopenalex.org/work/W2963876558> ?p ?o ?g. }
- W2963876558 endingPage "171" @default.
- W2963876558 startingPage "147" @default.
- W2963876558 abstract "This paper is concerned with certifying that a given point is near an exact root of an overdetermined or singular polynomial system with rational 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 an 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 α-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.
- W2963876558 created "2019-07-30" @default.
- W2963876558 creator A5007214938 @default.
- W2963876558 creator A5063385263 @default.
- W2963876558 creator A5086594308 @default.
- W2963876558 date "2018-01-01" @default.
- W2963876558 modified "2023-10-17" @default.
- W2963876558 title "Certifying solutions to overdetermined and singular polynomial systems over <mml:math xmlns:mml=http://www.w3.org/1998/Math/MathML altimg=si1.gif overflow=scroll><mml:mi mathvariant=double-struck>Q</mml:mi></mml:math>" @default.
- W2963876558 cites W1041626685 @default.
- W2963876558 cites W136633354 @default.
- W2963876558 cites W1532036648 @default.
- W2963876558 cites W1619519317 @default.
- W2963876558 cites W1976392590 @default.
- W2963876558 cites W1980267752 @default.
- W2963876558 cites W1984396462 @default.
- W2963876558 cites W1986180644 @default.
- W2963876558 cites W1989690103 @default.
- W2963876558 cites W1995320256 @default.
- W2963876558 cites W2011693299 @default.
- W2963876558 cites W2016389104 @default.
- W2963876558 cites W2019363796 @default.
- W2963876558 cites W2022078407 @default.
- W2963876558 cites W2032671060 @default.
- W2963876558 cites W2033936708 @default.
- W2963876558 cites W2043938310 @default.
- W2963876558 cites W2048562977 @default.
- W2963876558 cites W2049665423 @default.
- W2963876558 cites W2060624832 @default.
- W2963876558 cites W2061715373 @default.
- W2963876558 cites W2064131066 @default.
- W2963876558 cites W2070381457 @default.
- W2963876558 cites W2071860648 @default.
- W2963876558 cites W2072820534 @default.
- W2963876558 cites W2076593831 @default.
- W2963876558 cites W2080589685 @default.
- W2963876558 cites W2086798396 @default.
- W2963876558 cites W2094386737 @default.
- W2963876558 cites W2103236565 @default.
- W2963876558 cites W2105458451 @default.
- W2963876558 cites W2109714706 @default.
- W2963876558 cites W2130918732 @default.
- W2963876558 cites W2137286062 @default.
- W2963876558 cites W2141040012 @default.
- W2963876558 cites W2143435955 @default.
- W2963876558 cites W2143852990 @default.
- W2963876558 cites W2155163206 @default.
- W2963876558 cites W2158516852 @default.
- W2963876558 cites W2168526415 @default.
- W2963876558 cites W2964089478 @default.
- W2963876558 cites W3100402189 @default.
- W2963876558 doi "https://doi.org/10.1016/j.jsc.2017.03.004" @default.
- W2963876558 hasPublicationYear "2018" @default.
- W2963876558 type Work @default.
- W2963876558 sameAs 2963876558 @default.
- W2963876558 citedByCount "16" @default.
- W2963876558 countsByYear W29638765582014 @default.
- W2963876558 countsByYear W29638765582015 @default.
- W2963876558 countsByYear W29638765582018 @default.
- W2963876558 countsByYear W29638765582019 @default.
- W2963876558 countsByYear W29638765582020 @default.
- W2963876558 countsByYear W29638765582022 @default.
- W2963876558 countsByYear W29638765582023 @default.
- W2963876558 crossrefType "journal-article" @default.
- W2963876558 hasAuthorship W2963876558A5007214938 @default.
- W2963876558 hasAuthorship W2963876558A5063385263 @default.
- W2963876558 hasAuthorship W2963876558A5086594308 @default.
- W2963876558 hasBestOaLocation W29638765581 @default.
- W2963876558 hasConcept C101044782 @default.
- W2963876558 hasConcept C107775665 @default.
- W2963876558 hasConcept C111472728 @default.
- W2963876558 hasConcept C118615104 @default.
- W2963876558 hasConcept C134306372 @default.
- W2963876558 hasConcept C138885662 @default.
- W2963876558 hasConcept C2776436953 @default.
- W2963876558 hasConcept C2780586882 @default.
- W2963876558 hasConcept C28826006 @default.
- W2963876558 hasConcept C33923547 @default.
- W2963876558 hasConcept C81901731 @default.
- W2963876558 hasConcept C90119067 @default.
- W2963876558 hasConceptScore W2963876558C101044782 @default.
- W2963876558 hasConceptScore W2963876558C107775665 @default.
- W2963876558 hasConceptScore W2963876558C111472728 @default.
- W2963876558 hasConceptScore W2963876558C118615104 @default.
- W2963876558 hasConceptScore W2963876558C134306372 @default.
- W2963876558 hasConceptScore W2963876558C138885662 @default.
- W2963876558 hasConceptScore W2963876558C2776436953 @default.
- W2963876558 hasConceptScore W2963876558C2780586882 @default.
- W2963876558 hasConceptScore W2963876558C28826006 @default.
- W2963876558 hasConceptScore W2963876558C33923547 @default.
- W2963876558 hasConceptScore W2963876558C81901731 @default.
- W2963876558 hasConceptScore W2963876558C90119067 @default.
- W2963876558 hasFunder F4320306076 @default.
- W2963876558 hasFunder F4320332180 @default.
- W2963876558 hasLocation W29638765581 @default.
- W2963876558 hasLocation W29638765582 @default.
- W2963876558 hasOpenAccess W2963876558 @default.
- W2963876558 hasPrimaryLocation W29638765581 @default.
- W2963876558 hasRelatedWork W1998759347 @default.