Matches in SemOpenAlex for { <https://semopenalex.org/work/W4286759369> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W4286759369 abstract "In order to apply canonical labelling of graphs and isomorphism checking in interactive theorem provers, these checking algorithms must either be mechanically verified or their results must be verifiable by independent checkers. We analyze a state-of-the-art algorithm for canonical labelling of graphs (described by McKay and Piperno) and formulate it in terms of a formal proof system. We provide an implementation that can export a proof that the obtained graph is the canonical form of a given graph. Such proofs are then verified by our independent checker and can be used to confirm that two given graphs are not isomorphic." @default.
- W4286759369 created "2022-07-23" @default.
- W4286759369 creator A5046396943 @default.
- W4286759369 creator A5051044516 @default.
- W4286759369 creator A5083325657 @default.
- W4286759369 date "2021-12-28" @default.
- W4286759369 modified "2023-09-24" @default.
- W4286759369 title "A proof system for graph (non)-isomorphism verification" @default.
- W4286759369 doi "https://doi.org/10.48550/arxiv.2112.14303" @default.
- W4286759369 hasPublicationYear "2021" @default.
- W4286759369 type Work @default.
- W4286759369 citedByCount "0" @default.
- W4286759369 crossrefType "posted-content" @default.
- W4286759369 hasAuthorship W4286759369A5046396943 @default.
- W4286759369 hasAuthorship W4286759369A5051044516 @default.
- W4286759369 hasAuthorship W4286759369A5083325657 @default.
- W4286759369 hasBestOaLocation W42867593691 @default.
- W4286759369 hasConcept C108710211 @default.
- W4286759369 hasConcept C110251889 @default.
- W4286759369 hasConcept C114614502 @default.
- W4286759369 hasConcept C115624301 @default.
- W4286759369 hasConcept C118615104 @default.
- W4286759369 hasConcept C132525143 @default.
- W4286759369 hasConcept C13766981 @default.
- W4286759369 hasConcept C177264268 @default.
- W4286759369 hasConcept C185592680 @default.
- W4286759369 hasConcept C199360897 @default.
- W4286759369 hasConcept C203436722 @default.
- W4286759369 hasConcept C203776342 @default.
- W4286759369 hasConcept C2524010 @default.
- W4286759369 hasConcept C33923547 @default.
- W4286759369 hasConcept C41008148 @default.
- W4286759369 hasConcept C61665672 @default.
- W4286759369 hasConcept C8010536 @default.
- W4286759369 hasConcept C80444323 @default.
- W4286759369 hasConcept C85847156 @default.
- W4286759369 hasConceptScore W4286759369C108710211 @default.
- W4286759369 hasConceptScore W4286759369C110251889 @default.
- W4286759369 hasConceptScore W4286759369C114614502 @default.
- W4286759369 hasConceptScore W4286759369C115624301 @default.
- W4286759369 hasConceptScore W4286759369C118615104 @default.
- W4286759369 hasConceptScore W4286759369C132525143 @default.
- W4286759369 hasConceptScore W4286759369C13766981 @default.
- W4286759369 hasConceptScore W4286759369C177264268 @default.
- W4286759369 hasConceptScore W4286759369C185592680 @default.
- W4286759369 hasConceptScore W4286759369C199360897 @default.
- W4286759369 hasConceptScore W4286759369C203436722 @default.
- W4286759369 hasConceptScore W4286759369C203776342 @default.
- W4286759369 hasConceptScore W4286759369C2524010 @default.
- W4286759369 hasConceptScore W4286759369C33923547 @default.
- W4286759369 hasConceptScore W4286759369C41008148 @default.
- W4286759369 hasConceptScore W4286759369C61665672 @default.
- W4286759369 hasConceptScore W4286759369C8010536 @default.
- W4286759369 hasConceptScore W4286759369C80444323 @default.
- W4286759369 hasConceptScore W4286759369C85847156 @default.
- W4286759369 hasLocation W42867593691 @default.
- W4286759369 hasOpenAccess W4286759369 @default.
- W4286759369 hasPrimaryLocation W42867593691 @default.
- W4286759369 hasRelatedWork W113487936 @default.
- W4286759369 hasRelatedWork W1527252581 @default.
- W4286759369 hasRelatedWork W1894009355 @default.
- W4286759369 hasRelatedWork W2761263473 @default.
- W4286759369 hasRelatedWork W3011692338 @default.
- W4286759369 hasRelatedWork W4226078859 @default.
- W4286759369 hasRelatedWork W4286759369 @default.
- W4286759369 hasRelatedWork W4312122012 @default.
- W4286759369 hasRelatedWork W2513905502 @default.
- W4286759369 hasRelatedWork W94361082 @default.
- W4286759369 isParatext "false" @default.
- W4286759369 isRetracted "false" @default.
- W4286759369 workType "article" @default.