Matches in SemOpenAlex for { <https://semopenalex.org/work/W1585387101> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W1585387101 abstract "The original F5 algorithm introduced by Faug`ere is formulated for any homogeneous polynomial set input. The correctness of output is shown for any input that terminates the algorithm, but the termination itself is proved only for the case of input being regular polynomial sequence. This article shows that algorithm correctly terminates for any homogeneous input without any reference to regularity. The scheme contains two steps: first it is shown that if the algorithm does not terminate it eventually generates two polynomials where first is a reductor for the second. But first step does not show that this reduction is permitted by criteria introduced in F5. The second step shows that if such pair exists then there exists another pair for which the reduction is permitted by all criteria. Existence of such pair leads to contradiction. Version v3 fixes the bibliography." @default.
- W1585387101 created "2016-06-24" @default.
- W1585387101 creator A5049955807 @default.
- W1585387101 date "2012-03-12" @default.
- W1585387101 modified "2023-09-27" @default.
- W1585387101 title "Termination of Original F5" @default.
- W1585387101 cites W2043511512 @default.
- W1585387101 cites W2401792959 @default.
- W1585387101 hasPublicationYear "2012" @default.
- W1585387101 type Work @default.
- W1585387101 sameAs 1585387101 @default.
- W1585387101 citedByCount "6" @default.
- W1585387101 countsByYear W15853871012012 @default.
- W1585387101 countsByYear W15853871012013 @default.
- W1585387101 countsByYear W15853871012014 @default.
- W1585387101 countsByYear W15853871012015 @default.
- W1585387101 crossrefType "posted-content" @default.
- W1585387101 hasAuthorship W1585387101A5049955807 @default.
- W1585387101 hasConcept C111335779 @default.
- W1585387101 hasConcept C11413529 @default.
- W1585387101 hasConcept C114614502 @default.
- W1585387101 hasConcept C118615104 @default.
- W1585387101 hasConcept C134306372 @default.
- W1585387101 hasConcept C136979486 @default.
- W1585387101 hasConcept C177264268 @default.
- W1585387101 hasConcept C199360897 @default.
- W1585387101 hasConcept C2524010 @default.
- W1585387101 hasConcept C2778112365 @default.
- W1585387101 hasConcept C33923547 @default.
- W1585387101 hasConcept C41008148 @default.
- W1585387101 hasConcept C54355233 @default.
- W1585387101 hasConcept C55439883 @default.
- W1585387101 hasConcept C66882249 @default.
- W1585387101 hasConcept C77618280 @default.
- W1585387101 hasConcept C86803240 @default.
- W1585387101 hasConcept C90119067 @default.
- W1585387101 hasConceptScore W1585387101C111335779 @default.
- W1585387101 hasConceptScore W1585387101C11413529 @default.
- W1585387101 hasConceptScore W1585387101C114614502 @default.
- W1585387101 hasConceptScore W1585387101C118615104 @default.
- W1585387101 hasConceptScore W1585387101C134306372 @default.
- W1585387101 hasConceptScore W1585387101C136979486 @default.
- W1585387101 hasConceptScore W1585387101C177264268 @default.
- W1585387101 hasConceptScore W1585387101C199360897 @default.
- W1585387101 hasConceptScore W1585387101C2524010 @default.
- W1585387101 hasConceptScore W1585387101C2778112365 @default.
- W1585387101 hasConceptScore W1585387101C33923547 @default.
- W1585387101 hasConceptScore W1585387101C41008148 @default.
- W1585387101 hasConceptScore W1585387101C54355233 @default.
- W1585387101 hasConceptScore W1585387101C55439883 @default.
- W1585387101 hasConceptScore W1585387101C66882249 @default.
- W1585387101 hasConceptScore W1585387101C77618280 @default.
- W1585387101 hasConceptScore W1585387101C86803240 @default.
- W1585387101 hasConceptScore W1585387101C90119067 @default.
- W1585387101 hasLocation W15853871011 @default.
- W1585387101 hasOpenAccess W1585387101 @default.
- W1585387101 hasPrimaryLocation W15853871011 @default.
- W1585387101 hasRelatedWork W1481997196 @default.
- W1585387101 hasRelatedWork W1524190946 @default.
- W1585387101 hasRelatedWork W1576188537 @default.
- W1585387101 hasRelatedWork W1593490227 @default.
- W1585387101 hasRelatedWork W1827980154 @default.
- W1585387101 hasRelatedWork W1979128220 @default.
- W1585387101 hasRelatedWork W1989653154 @default.
- W1585387101 hasRelatedWork W1993974377 @default.
- W1585387101 hasRelatedWork W1993995116 @default.
- W1585387101 hasRelatedWork W2023845786 @default.
- W1585387101 hasRelatedWork W2035438310 @default.
- W1585387101 hasRelatedWork W2035842864 @default.
- W1585387101 hasRelatedWork W2038345254 @default.
- W1585387101 hasRelatedWork W2043511512 @default.
- W1585387101 hasRelatedWork W2066181227 @default.
- W1585387101 hasRelatedWork W2098942149 @default.
- W1585387101 hasRelatedWork W2128687423 @default.
- W1585387101 hasRelatedWork W2169319665 @default.
- W1585387101 hasRelatedWork W2950957630 @default.
- W1585387101 hasRelatedWork W3142157026 @default.
- W1585387101 isParatext "false" @default.
- W1585387101 isRetracted "false" @default.
- W1585387101 magId "1585387101" @default.
- W1585387101 workType "article" @default.