Matches in SemOpenAlex for { <https://semopenalex.org/work/W3049290311> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W3049290311 endingPage "475" @default.
- W3049290311 startingPage "419" @default.
- W3049290311 abstract "It is undecidable in general whether a given finitely presented group is word hyperbolic. We use the concept of pregroups, introduced by Stallings (1971), to define a new class of van Kampen diagrams, which represent groups as quotients of virtually free groups. We then present a polynomial-time procedure that analyses these diagrams, and either returns an explicit linear Dehn function for the presentation, or returns fail, together with its reasons for failure. Furthermore, if our procedure succeeds we are often able to produce in polynomial time a word problem solver for the presentation that runs in linear time. Our algorithms have been implemented, and when successful they are many orders of magnitude faster than KBMAG, the only comparable publicly available software." @default.
- W3049290311 created "2020-08-21" @default.
- W3049290311 creator A5001762342 @default.
- W3049290311 creator A5030261802 @default.
- W3049290311 creator A5068395945 @default.
- W3049290311 creator A5077007104 @default.
- W3049290311 creator A5084522629 @default.
- W3049290311 creator A5090857578 @default.
- W3049290311 date "2021-05-01" @default.
- W3049290311 modified "2023-09-23" @default.
- W3049290311 title "Polynomial-time proofs that groups are hyperbolic" @default.
- W3049290311 cites W1976677460 @default.
- W3049290311 cites W1992028397 @default.
- W3049290311 cites W1992939536 @default.
- W3049290311 cites W2022980325 @default.
- W3049290311 cites W2050616850 @default.
- W3049290311 cites W2056263231 @default.
- W3049290311 cites W2094762659 @default.
- W3049290311 cites W2113062212 @default.
- W3049290311 cites W2147450129 @default.
- W3049290311 cites W2963719250 @default.
- W3049290311 cites W567605243 @default.
- W3049290311 doi "https://doi.org/10.1016/j.jsc.2020.08.003" @default.
- W3049290311 hasPublicationYear "2021" @default.
- W3049290311 type Work @default.
- W3049290311 sameAs 3049290311 @default.
- W3049290311 citedByCount "1" @default.
- W3049290311 countsByYear W30492903112023 @default.
- W3049290311 crossrefType "journal-article" @default.
- W3049290311 hasAuthorship W3049290311A5001762342 @default.
- W3049290311 hasAuthorship W3049290311A5030261802 @default.
- W3049290311 hasAuthorship W3049290311A5068395945 @default.
- W3049290311 hasAuthorship W3049290311A5077007104 @default.
- W3049290311 hasAuthorship W3049290311A5084522629 @default.
- W3049290311 hasAuthorship W3049290311A5090857578 @default.
- W3049290311 hasBestOaLocation W30492903112 @default.
- W3049290311 hasConcept C108710211 @default.
- W3049290311 hasConcept C118615104 @default.
- W3049290311 hasConcept C134306372 @default.
- W3049290311 hasConcept C136119220 @default.
- W3049290311 hasConcept C153269930 @default.
- W3049290311 hasConcept C154945302 @default.
- W3049290311 hasConcept C192034797 @default.
- W3049290311 hasConcept C199422724 @default.
- W3049290311 hasConcept C202444582 @default.
- W3049290311 hasConcept C2524010 @default.
- W3049290311 hasConcept C2777212361 @default.
- W3049290311 hasConcept C311688 @default.
- W3049290311 hasConcept C33923547 @default.
- W3049290311 hasConcept C41008148 @default.
- W3049290311 hasConcept C90119067 @default.
- W3049290311 hasConcept C90805587 @default.
- W3049290311 hasConcept C90988201 @default.
- W3049290311 hasConcept C94375191 @default.
- W3049290311 hasConceptScore W3049290311C108710211 @default.
- W3049290311 hasConceptScore W3049290311C118615104 @default.
- W3049290311 hasConceptScore W3049290311C134306372 @default.
- W3049290311 hasConceptScore W3049290311C136119220 @default.
- W3049290311 hasConceptScore W3049290311C153269930 @default.
- W3049290311 hasConceptScore W3049290311C154945302 @default.
- W3049290311 hasConceptScore W3049290311C192034797 @default.
- W3049290311 hasConceptScore W3049290311C199422724 @default.
- W3049290311 hasConceptScore W3049290311C202444582 @default.
- W3049290311 hasConceptScore W3049290311C2524010 @default.
- W3049290311 hasConceptScore W3049290311C2777212361 @default.
- W3049290311 hasConceptScore W3049290311C311688 @default.
- W3049290311 hasConceptScore W3049290311C33923547 @default.
- W3049290311 hasConceptScore W3049290311C41008148 @default.
- W3049290311 hasConceptScore W3049290311C90119067 @default.
- W3049290311 hasConceptScore W3049290311C90805587 @default.
- W3049290311 hasConceptScore W3049290311C90988201 @default.
- W3049290311 hasConceptScore W3049290311C94375191 @default.
- W3049290311 hasFunder F4320334627 @default.
- W3049290311 hasLocation W30492903111 @default.
- W3049290311 hasLocation W30492903112 @default.
- W3049290311 hasLocation W30492903113 @default.
- W3049290311 hasLocation W30492903114 @default.
- W3049290311 hasOpenAccess W3049290311 @default.
- W3049290311 hasPrimaryLocation W30492903111 @default.
- W3049290311 hasRelatedWork W1492906489 @default.
- W3049290311 hasRelatedWork W1544871822 @default.
- W3049290311 hasRelatedWork W1693995122 @default.
- W3049290311 hasRelatedWork W1944695814 @default.
- W3049290311 hasRelatedWork W2038666277 @default.
- W3049290311 hasRelatedWork W2158086683 @default.
- W3049290311 hasRelatedWork W2608557325 @default.
- W3049290311 hasRelatedWork W3213187204 @default.
- W3049290311 hasRelatedWork W4299514941 @default.
- W3049290311 hasRelatedWork W1598668499 @default.
- W3049290311 hasVolume "104" @default.
- W3049290311 isParatext "false" @default.
- W3049290311 isRetracted "false" @default.
- W3049290311 magId "3049290311" @default.
- W3049290311 workType "article" @default.