Matches in SemOpenAlex for { <https://semopenalex.org/work/W186686109> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W186686109 endingPage "113" @default.
- W186686109 startingPage "97" @default.
- W186686109 abstract "Pocklington certificates are known to provide short proofs of primality. We show how to perform this in the framework of formal, mechanically checked, proofs. We present an encoding of certificates for the proof system Coq which yields radically improved performances by relying heavily on computations inside and outside of the system (two-level approach)." @default.
- W186686109 created "2016-06-24" @default.
- W186686109 creator A5011254944 @default.
- W186686109 creator A5024129541 @default.
- W186686109 creator A5087283928 @default.
- W186686109 date "2006-01-01" @default.
- W186686109 modified "2023-10-18" @default.
- W186686109 title "A Computational Approach to Pocklington Certificates in Type Theory" @default.
- W186686109 cites W1514486135 @default.
- W186686109 cites W1525737662 @default.
- W186686109 cites W2031410477 @default.
- W186686109 cites W4252614677 @default.
- W186686109 doi "https://doi.org/10.1007/11737414_8" @default.
- W186686109 hasPublicationYear "2006" @default.
- W186686109 type Work @default.
- W186686109 sameAs 186686109 @default.
- W186686109 citedByCount "18" @default.
- W186686109 countsByYear W1866861092012 @default.
- W186686109 countsByYear W1866861092013 @default.
- W186686109 countsByYear W1866861092015 @default.
- W186686109 countsByYear W1866861092016 @default.
- W186686109 countsByYear W1866861092021 @default.
- W186686109 crossrefType "book-chapter" @default.
- W186686109 hasAuthorship W186686109A5011254944 @default.
- W186686109 hasAuthorship W186686109A5024129541 @default.
- W186686109 hasAuthorship W186686109A5087283928 @default.
- W186686109 hasBestOaLocation W1866861092 @default.
- W186686109 hasConcept C108710211 @default.
- W186686109 hasConcept C113429393 @default.
- W186686109 hasConcept C11413529 @default.
- W186686109 hasConcept C118615104 @default.
- W186686109 hasConcept C18903297 @default.
- W186686109 hasConcept C191421660 @default.
- W186686109 hasConcept C199360897 @default.
- W186686109 hasConcept C203265346 @default.
- W186686109 hasConcept C2524010 @default.
- W186686109 hasConcept C2777299769 @default.
- W186686109 hasConcept C33923547 @default.
- W186686109 hasConcept C41008148 @default.
- W186686109 hasConcept C45374587 @default.
- W186686109 hasConcept C80444323 @default.
- W186686109 hasConcept C86803240 @default.
- W186686109 hasConcept C93682546 @default.
- W186686109 hasConceptScore W186686109C108710211 @default.
- W186686109 hasConceptScore W186686109C113429393 @default.
- W186686109 hasConceptScore W186686109C11413529 @default.
- W186686109 hasConceptScore W186686109C118615104 @default.
- W186686109 hasConceptScore W186686109C18903297 @default.
- W186686109 hasConceptScore W186686109C191421660 @default.
- W186686109 hasConceptScore W186686109C199360897 @default.
- W186686109 hasConceptScore W186686109C203265346 @default.
- W186686109 hasConceptScore W186686109C2524010 @default.
- W186686109 hasConceptScore W186686109C2777299769 @default.
- W186686109 hasConceptScore W186686109C33923547 @default.
- W186686109 hasConceptScore W186686109C41008148 @default.
- W186686109 hasConceptScore W186686109C45374587 @default.
- W186686109 hasConceptScore W186686109C80444323 @default.
- W186686109 hasConceptScore W186686109C86803240 @default.
- W186686109 hasConceptScore W186686109C93682546 @default.
- W186686109 hasLocation W1866861091 @default.
- W186686109 hasLocation W1866861092 @default.
- W186686109 hasOpenAccess W186686109 @default.
- W186686109 hasPrimaryLocation W1866861091 @default.
- W186686109 hasRelatedWork W1480879962 @default.
- W186686109 hasRelatedWork W1827112781 @default.
- W186686109 hasRelatedWork W1982930894 @default.
- W186686109 hasRelatedWork W2109631547 @default.
- W186686109 hasRelatedWork W2139102157 @default.
- W186686109 hasRelatedWork W2144542981 @default.
- W186686109 hasRelatedWork W2146937878 @default.
- W186686109 hasRelatedWork W2167486301 @default.
- W186686109 hasRelatedWork W3092664739 @default.
- W186686109 hasRelatedWork W2601088302 @default.
- W186686109 isParatext "false" @default.
- W186686109 isRetracted "false" @default.
- W186686109 magId "186686109" @default.
- W186686109 workType "book-chapter" @default.