Matches in SemOpenAlex for { <https://semopenalex.org/work/W4285057197> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W4285057197 abstract "It is undecidable in general whether a given finitely presented group is word hyperbolic. We use the concept of pregroups, introduced by Stallings, 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 which 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 are often many orders of magnitude faster than KBMAG, the only comparable publicly available software." @default.
- W4285057197 created "2022-07-13" @default.
- W4285057197 creator A5026871684 @default.
- W4285057197 creator A5030261802 @default.
- W4285057197 creator A5068395945 @default.
- W4285057197 creator A5077007104 @default.
- W4285057197 creator A5084522629 @default.
- W4285057197 creator A5090857578 @default.
- W4285057197 date "2019-05-23" @default.
- W4285057197 modified "2023-09-26" @default.
- W4285057197 title "Polynomial-time proofs that groups are hyperbolic" @default.
- W4285057197 doi "https://doi.org/10.48550/arxiv.1905.09770" @default.
- W4285057197 hasPublicationYear "2019" @default.
- W4285057197 type Work @default.
- W4285057197 citedByCount "0" @default.
- W4285057197 crossrefType "posted-content" @default.
- W4285057197 hasAuthorship W4285057197A5026871684 @default.
- W4285057197 hasAuthorship W4285057197A5030261802 @default.
- W4285057197 hasAuthorship W4285057197A5068395945 @default.
- W4285057197 hasAuthorship W4285057197A5077007104 @default.
- W4285057197 hasAuthorship W4285057197A5084522629 @default.
- W4285057197 hasAuthorship W4285057197A5090857578 @default.
- W4285057197 hasBestOaLocation W42850571971 @default.
- W4285057197 hasConcept C108710211 @default.
- W4285057197 hasConcept C118615104 @default.
- W4285057197 hasConcept C134306372 @default.
- W4285057197 hasConcept C136119220 @default.
- W4285057197 hasConcept C153269930 @default.
- W4285057197 hasConcept C154945302 @default.
- W4285057197 hasConcept C192034797 @default.
- W4285057197 hasConcept C199422724 @default.
- W4285057197 hasConcept C202444582 @default.
- W4285057197 hasConcept C2524010 @default.
- W4285057197 hasConcept C2777212361 @default.
- W4285057197 hasConcept C311688 @default.
- W4285057197 hasConcept C33923547 @default.
- W4285057197 hasConcept C41008148 @default.
- W4285057197 hasConcept C90119067 @default.
- W4285057197 hasConcept C90805587 @default.
- W4285057197 hasConceptScore W4285057197C108710211 @default.
- W4285057197 hasConceptScore W4285057197C118615104 @default.
- W4285057197 hasConceptScore W4285057197C134306372 @default.
- W4285057197 hasConceptScore W4285057197C136119220 @default.
- W4285057197 hasConceptScore W4285057197C153269930 @default.
- W4285057197 hasConceptScore W4285057197C154945302 @default.
- W4285057197 hasConceptScore W4285057197C192034797 @default.
- W4285057197 hasConceptScore W4285057197C199422724 @default.
- W4285057197 hasConceptScore W4285057197C202444582 @default.
- W4285057197 hasConceptScore W4285057197C2524010 @default.
- W4285057197 hasConceptScore W4285057197C2777212361 @default.
- W4285057197 hasConceptScore W4285057197C311688 @default.
- W4285057197 hasConceptScore W4285057197C33923547 @default.
- W4285057197 hasConceptScore W4285057197C41008148 @default.
- W4285057197 hasConceptScore W4285057197C90119067 @default.
- W4285057197 hasConceptScore W4285057197C90805587 @default.
- W4285057197 hasLocation W42850571971 @default.
- W4285057197 hasLocation W42850571972 @default.
- W4285057197 hasLocation W42850571973 @default.
- W4285057197 hasOpenAccess W4285057197 @default.
- W4285057197 hasPrimaryLocation W42850571971 @default.
- W4285057197 hasRelatedWork W123221615 @default.
- W4285057197 hasRelatedWork W1442386651 @default.
- W4285057197 hasRelatedWork W1944695814 @default.
- W4285057197 hasRelatedWork W2004178012 @default.
- W4285057197 hasRelatedWork W2063829785 @default.
- W4285057197 hasRelatedWork W2329993381 @default.
- W4285057197 hasRelatedWork W2608557325 @default.
- W4285057197 hasRelatedWork W2963261355 @default.
- W4285057197 hasRelatedWork W4241368207 @default.
- W4285057197 hasRelatedWork W4299514941 @default.
- W4285057197 isParatext "false" @default.
- W4285057197 isRetracted "false" @default.
- W4285057197 workType "article" @default.