Matches in SemOpenAlex for { <https://semopenalex.org/work/W2054586790> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W2054586790 endingPage "27" @default.
- W2054586790 startingPage "20" @default.
- W2054586790 abstract "A Sierpinski number is an odd positive integer, k, such that no positive integer of the form k * 2^n + 1 is prime. Similar to a Sierpinski number, a Riesel number is an odd positive integer, k, such that no positive integer of the form k * 2^n + 1 is prime. A cover for such a k is a finite list of positive integers such that each integer j of the appropriate form has a factor, d, in the cover, with 1 < d < j. Given a k and its cover, ACL2 is used to systematically verify that each integer of the given form has a non-trivial factor in the cover." @default.
- W2054586790 created "2016-06-24" @default.
- W2054586790 creator A5016380052 @default.
- W2054586790 creator A5021064354 @default.
- W2054586790 date "2011-10-20" @default.
- W2054586790 modified "2023-10-16" @default.
- W2054586790 title "Verifying Sierpiński and Riesel Numbers in ACL2" @default.
- W2054586790 cites W2153972306 @default.
- W2054586790 cites W2397976065 @default.
- W2054586790 doi "https://doi.org/10.4204/eptcs.70.2" @default.
- W2054586790 hasPublicationYear "2011" @default.
- W2054586790 type Work @default.
- W2054586790 sameAs 2054586790 @default.
- W2054586790 citedByCount "0" @default.
- W2054586790 crossrefType "journal-article" @default.
- W2054586790 hasAuthorship W2054586790A5016380052 @default.
- W2054586790 hasAuthorship W2054586790A5021064354 @default.
- W2054586790 hasBestOaLocation W20545867901 @default.
- W2054586790 hasConcept C114614502 @default.
- W2054586790 hasConcept C118615104 @default.
- W2054586790 hasConcept C127413603 @default.
- W2054586790 hasConcept C134306372 @default.
- W2054586790 hasConcept C184992742 @default.
- W2054586790 hasConcept C199360897 @default.
- W2054586790 hasConcept C203432157 @default.
- W2054586790 hasConcept C27176706 @default.
- W2054586790 hasConcept C2780428219 @default.
- W2054586790 hasConcept C30860621 @default.
- W2054586790 hasConcept C33923547 @default.
- W2054586790 hasConcept C40636538 @default.
- W2054586790 hasConcept C41008148 @default.
- W2054586790 hasConcept C78519656 @default.
- W2054586790 hasConcept C97137487 @default.
- W2054586790 hasConceptScore W2054586790C114614502 @default.
- W2054586790 hasConceptScore W2054586790C118615104 @default.
- W2054586790 hasConceptScore W2054586790C127413603 @default.
- W2054586790 hasConceptScore W2054586790C134306372 @default.
- W2054586790 hasConceptScore W2054586790C184992742 @default.
- W2054586790 hasConceptScore W2054586790C199360897 @default.
- W2054586790 hasConceptScore W2054586790C203432157 @default.
- W2054586790 hasConceptScore W2054586790C27176706 @default.
- W2054586790 hasConceptScore W2054586790C2780428219 @default.
- W2054586790 hasConceptScore W2054586790C30860621 @default.
- W2054586790 hasConceptScore W2054586790C33923547 @default.
- W2054586790 hasConceptScore W2054586790C40636538 @default.
- W2054586790 hasConceptScore W2054586790C41008148 @default.
- W2054586790 hasConceptScore W2054586790C78519656 @default.
- W2054586790 hasConceptScore W2054586790C97137487 @default.
- W2054586790 hasLocation W20545867901 @default.
- W2054586790 hasLocation W20545867902 @default.
- W2054586790 hasLocation W20545867903 @default.
- W2054586790 hasOpenAccess W2054586790 @default.
- W2054586790 hasPrimaryLocation W20545867901 @default.
- W2054586790 hasRelatedWork W1516870435 @default.
- W2054586790 hasRelatedWork W1552869749 @default.
- W2054586790 hasRelatedWork W2054586790 @default.
- W2054586790 hasRelatedWork W2365028205 @default.
- W2054586790 hasRelatedWork W2372399235 @default.
- W2054586790 hasRelatedWork W2374048212 @default.
- W2054586790 hasRelatedWork W2391016938 @default.
- W2054586790 hasRelatedWork W2952380021 @default.
- W2054586790 hasRelatedWork W3129621902 @default.
- W2054586790 hasRelatedWork W1848813539 @default.
- W2054586790 hasVolume "70" @default.
- W2054586790 isParatext "false" @default.
- W2054586790 isRetracted "false" @default.
- W2054586790 magId "2054586790" @default.
- W2054586790 workType "article" @default.