Matches in SemOpenAlex for { <https://semopenalex.org/work/W2803355095> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2803355095 abstract "A knot diagram looks like a two-dimensional drawing of a knotted rubberband. Proving that a given knot diagram can be untangled (that is, is a trivial knot, called an unknot) is one of the most famous problems of knot theory. For a small knot diagram, one can try to find a sequence of untangling moves explicitly, but for a larger knot diagram producing such a proof is difficult, and the produced proofs are hard to inspect and understand. Advanced approaches use algebra, with an advantage that since the proofs are algebraic, a computer can be used to produce the proofs, and, therefore, a proof can be produced even for large knot diagrams. However, such produced proofs are not easy to read and, for larger diagrams, not likely to be human readable at all. We propose a new approach combining advantages of these: the proofs are algebraic and can be produced by a computer, whilst each part of the proof can be represented as a reasonably small knot-like diagram (a new representation as a labeled tangle diagram), which can be easily inspected by a human for the purposes of checking the proof and finding out interesting facts about the knot diagram." @default.
- W2803355095 created "2018-06-01" @default.
- W2803355095 creator A5039946470 @default.
- W2803355095 creator A5057274980 @default.
- W2803355095 creator A5086562959 @default.
- W2803355095 date "2018-01-01" @default.
- W2803355095 modified "2023-10-16" @default.
- W2803355095 title "Visual Algebraic Proofs for Unknot Detection" @default.
- W2803355095 cites W1840991433 @default.
- W2803355095 cites W2017331367 @default.
- W2803355095 cites W2043050064 @default.
- W2803355095 cites W2164106566 @default.
- W2803355095 cites W2415840044 @default.
- W2803355095 cites W2479754631 @default.
- W2803355095 cites W2777829566 @default.
- W2803355095 cites W362995686 @default.
- W2803355095 cites W4210606982 @default.
- W2803355095 cites W4230108789 @default.
- W2803355095 cites W4231960161 @default.
- W2803355095 cites W4233106844 @default.
- W2803355095 doi "https://doi.org/10.1007/978-3-319-91376-6_12" @default.
- W2803355095 hasPublicationYear "2018" @default.
- W2803355095 type Work @default.
- W2803355095 sameAs 2803355095 @default.
- W2803355095 citedByCount "2" @default.
- W2803355095 countsByYear W28033550952018 @default.
- W2803355095 countsByYear W28033550952021 @default.
- W2803355095 crossrefType "book-chapter" @default.
- W2803355095 hasAuthorship W2803355095A5039946470 @default.
- W2803355095 hasAuthorship W2803355095A5057274980 @default.
- W2803355095 hasAuthorship W2803355095A5086562959 @default.
- W2803355095 hasBestOaLocation W28033550952 @default.
- W2803355095 hasConcept C108710211 @default.
- W2803355095 hasConcept C127413603 @default.
- W2803355095 hasConcept C134306372 @default.
- W2803355095 hasConcept C143330242 @default.
- W2803355095 hasConcept C180837527 @default.
- W2803355095 hasConcept C186399060 @default.
- W2803355095 hasConcept C2524010 @default.
- W2803355095 hasConcept C2779863119 @default.
- W2803355095 hasConcept C2780286412 @default.
- W2803355095 hasConcept C33923547 @default.
- W2803355095 hasConcept C36794415 @default.
- W2803355095 hasConcept C41008148 @default.
- W2803355095 hasConcept C42360764 @default.
- W2803355095 hasConcept C77088390 @default.
- W2803355095 hasConcept C9376300 @default.
- W2803355095 hasConceptScore W2803355095C108710211 @default.
- W2803355095 hasConceptScore W2803355095C127413603 @default.
- W2803355095 hasConceptScore W2803355095C134306372 @default.
- W2803355095 hasConceptScore W2803355095C143330242 @default.
- W2803355095 hasConceptScore W2803355095C180837527 @default.
- W2803355095 hasConceptScore W2803355095C186399060 @default.
- W2803355095 hasConceptScore W2803355095C2524010 @default.
- W2803355095 hasConceptScore W2803355095C2779863119 @default.
- W2803355095 hasConceptScore W2803355095C2780286412 @default.
- W2803355095 hasConceptScore W2803355095C33923547 @default.
- W2803355095 hasConceptScore W2803355095C36794415 @default.
- W2803355095 hasConceptScore W2803355095C41008148 @default.
- W2803355095 hasConceptScore W2803355095C42360764 @default.
- W2803355095 hasConceptScore W2803355095C77088390 @default.
- W2803355095 hasConceptScore W2803355095C9376300 @default.
- W2803355095 hasLocation W28033550951 @default.
- W2803355095 hasLocation W28033550952 @default.
- W2803355095 hasOpenAccess W2803355095 @default.
- W2803355095 hasPrimaryLocation W28033550951 @default.
- W2803355095 hasRelatedWork W151672993 @default.
- W2803355095 hasRelatedWork W1541557744 @default.
- W2803355095 hasRelatedWork W2033131395 @default.
- W2803355095 hasRelatedWork W2072739841 @default.
- W2803355095 hasRelatedWork W2073245342 @default.
- W2803355095 hasRelatedWork W2073774025 @default.
- W2803355095 hasRelatedWork W2096213861 @default.
- W2803355095 hasRelatedWork W2250005422 @default.
- W2803355095 hasRelatedWork W2351003111 @default.
- W2803355095 hasRelatedWork W2794146622 @default.
- W2803355095 hasRelatedWork W2810266277 @default.
- W2803355095 hasRelatedWork W2951232446 @default.
- W2803355095 hasRelatedWork W2964237932 @default.
- W2803355095 hasRelatedWork W2969952390 @default.
- W2803355095 hasRelatedWork W3037841979 @default.
- W2803355095 hasRelatedWork W3098135018 @default.
- W2803355095 hasRelatedWork W3101343798 @default.
- W2803355095 hasRelatedWork W3144178112 @default.
- W2803355095 hasRelatedWork W3157852007 @default.
- W2803355095 hasRelatedWork W3205109034 @default.
- W2803355095 isParatext "false" @default.
- W2803355095 isRetracted "false" @default.
- W2803355095 magId "2803355095" @default.
- W2803355095 workType "book-chapter" @default.