Matches in SemOpenAlex for { <https://semopenalex.org/work/W2136934577> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2136934577 abstract "We describe the integration of permutation group algorithms with proof planning. We consider eight basic questions arising in computational permutation group theory, for which our code provides both answers and a set of certificates enabling a user, or an intelligent software system, to provide a full proof of correctness of the answer. To guarantee correctness we use proof planning techniques, which construct proofs in a human-oriented reasoning style. This gives the human mathematician the necessary insight into the computed solution, as well as making it feasible to check the solution for relatively large groups." @default.
- W2136934577 created "2016-06-24" @default.
- W2136934577 creator A5028828265 @default.
- W2136934577 creator A5043436240 @default.
- W2136934577 creator A5067887566 @default.
- W2136934577 creator A5030300324 @default.
- W2136934577 date "2003-01-01" @default.
- W2136934577 modified "2023-09-25" @default.
- W2136934577 title "Certifying Solutions to Permutation Group Problems" @default.
- W2136934577 cites W1525737662 @default.
- W2136934577 cites W1555878237 @default.
- W2136934577 cites W1581769579 @default.
- W2136934577 cites W1600415698 @default.
- W2136934577 cites W1860929026 @default.
- W2136934577 cites W1881765559 @default.
- W2136934577 cites W2031410477 @default.
- W2136934577 cites W2032943731 @default.
- W2136934577 cites W2042236049 @default.
- W2136934577 cites W2149236366 @default.
- W2136934577 doi "https://doi.org/10.1007/978-3-540-45085-6_20" @default.
- W2136934577 hasPublicationYear "2003" @default.
- W2136934577 type Work @default.
- W2136934577 sameAs 2136934577 @default.
- W2136934577 citedByCount "12" @default.
- W2136934577 crossrefType "book-chapter" @default.
- W2136934577 hasAuthorship W2136934577A5028828265 @default.
- W2136934577 hasAuthorship W2136934577A5030300324 @default.
- W2136934577 hasAuthorship W2136934577A5043436240 @default.
- W2136934577 hasAuthorship W2136934577A5067887566 @default.
- W2136934577 hasConcept C108710211 @default.
- W2136934577 hasConcept C11413529 @default.
- W2136934577 hasConcept C121332964 @default.
- W2136934577 hasConcept C177264268 @default.
- W2136934577 hasConcept C178790620 @default.
- W2136934577 hasConcept C185592680 @default.
- W2136934577 hasConcept C199360897 @default.
- W2136934577 hasConcept C206880738 @default.
- W2136934577 hasConcept C21308566 @default.
- W2136934577 hasConcept C2318724 @default.
- W2136934577 hasConcept C24890656 @default.
- W2136934577 hasConcept C2524010 @default.
- W2136934577 hasConcept C2780801425 @default.
- W2136934577 hasConcept C2781311116 @default.
- W2136934577 hasConcept C33923547 @default.
- W2136934577 hasConcept C41008148 @default.
- W2136934577 hasConcept C55439883 @default.
- W2136934577 hasConcept C80444323 @default.
- W2136934577 hasConcept C92957085 @default.
- W2136934577 hasConcept C94461902 @default.
- W2136934577 hasConceptScore W2136934577C108710211 @default.
- W2136934577 hasConceptScore W2136934577C11413529 @default.
- W2136934577 hasConceptScore W2136934577C121332964 @default.
- W2136934577 hasConceptScore W2136934577C177264268 @default.
- W2136934577 hasConceptScore W2136934577C178790620 @default.
- W2136934577 hasConceptScore W2136934577C185592680 @default.
- W2136934577 hasConceptScore W2136934577C199360897 @default.
- W2136934577 hasConceptScore W2136934577C206880738 @default.
- W2136934577 hasConceptScore W2136934577C21308566 @default.
- W2136934577 hasConceptScore W2136934577C2318724 @default.
- W2136934577 hasConceptScore W2136934577C24890656 @default.
- W2136934577 hasConceptScore W2136934577C2524010 @default.
- W2136934577 hasConceptScore W2136934577C2780801425 @default.
- W2136934577 hasConceptScore W2136934577C2781311116 @default.
- W2136934577 hasConceptScore W2136934577C33923547 @default.
- W2136934577 hasConceptScore W2136934577C41008148 @default.
- W2136934577 hasConceptScore W2136934577C55439883 @default.
- W2136934577 hasConceptScore W2136934577C80444323 @default.
- W2136934577 hasConceptScore W2136934577C92957085 @default.
- W2136934577 hasConceptScore W2136934577C94461902 @default.
- W2136934577 hasLocation W21369345771 @default.
- W2136934577 hasOpenAccess W2136934577 @default.
- W2136934577 hasPrimaryLocation W21369345771 @default.
- W2136934577 hasRelatedWork W1982955866 @default.
- W2136934577 hasRelatedWork W2011089263 @default.
- W2136934577 hasRelatedWork W2085478450 @default.
- W2136934577 hasRelatedWork W2140377982 @default.
- W2136934577 hasRelatedWork W2498332823 @default.
- W2136934577 hasRelatedWork W3021830363 @default.
- W2136934577 hasRelatedWork W3202892657 @default.
- W2136934577 hasRelatedWork W3216619634 @default.
- W2136934577 hasRelatedWork W4283802448 @default.
- W2136934577 hasRelatedWork W4286910421 @default.
- W2136934577 isParatext "false" @default.
- W2136934577 isRetracted "false" @default.
- W2136934577 magId "2136934577" @default.
- W2136934577 workType "book-chapter" @default.