{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T04:29:29Z","timestamp":1773894569982,"version":"3.50.1"},"reference-count":5,"publisher":"Association for Computing Machinery (ACM)","issue":"3\/4","license":[{"start":{"date-parts":[[2014,1,28]],"date-time":"2014-01-28T00:00:00Z","timestamp":1390867200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Commun. Comput. Algebra"],"published-print":{"date-parts":[[2014,1,28]]},"abstract":"<jats:p>We present an efficient implementation of the solution to the conjugacy problem in Thompson's group F. This algorithm checks for conjugacy by constructing and comparing directed graphs called strand diagrams. We provide a description of our solution algorithm, including the data structure that represents strand diagrams and supports simplifications.<\/jats:p>","DOI":"10.1145\/2576802.2576823","type":"journal-article","created":{"date-parts":[[2014,2,4]],"date-time":"2014-02-04T14:16:21Z","timestamp":1391523381000},"page":"120-121","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Implementation of a solution to the conjugacy problem in Thompson's group F"],"prefix":"10.1145","volume":"47","author":[{"given":"James","family":"Belk","sequence":"first","affiliation":[{"name":"Bard College, Annandale-on-Hudson, NY, USA"}]},{"given":"Nabil","family":"Hossain","sequence":"additional","affiliation":[{"name":"Bard College, Annandale-on-Hudson, NY, USA"}]},{"given":"Francesco","family":"Matucci","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Paris-Sud 11, B\u00e2timent 425, Bureau 21, F-91405 Orsay Cedex, France"}]},{"given":"Robert","family":"McGrail","sequence":"additional","affiliation":[{"name":"Bard College, Annandale-on-Hudson, NY, USA"}]}],"member":"320","published-online":{"date-parts":[[2014,1,28]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"Term Rewriting and All That","author":"Baader F.","year":"1999","unstructured":"F. Baader and T. Nipkow . Term Rewriting and All That . Cambridge University Press , 1999 . F. Baader and T. Nipkow. Term Rewriting and All That. Cambridge University Press, 1999."},{"key":"e_1_2_1_2_1","volume-title":"Preprint","author":"Belk J.","year":"2013","unstructured":"J. Belk and F. Matucci . Conjugacy and dynamics in Thompson's groups . Preprint , 2013 . J. Belk and F. Matucci. Conjugacy and dynamics in Thompson's groups. Preprint, 2013."},{"key":"e_1_2_1_3_1","first-page":"215","article-title":"Introductory notes on Richard Thompson's groups","volume":"42","author":"Canon J. W.","year":"1996","unstructured":"J. W. Canon , W. J. Floyd , and W. R. Parry . Introductory notes on Richard Thompson's groups . Enseignement Math\u00e9matique , 42 : 215 -- 256 , 1996 . J. W. Canon, W. J. Floyd, and W. R. Parry. Introductory notes on Richard Thompson's groups. Enseignement Math\u00e9matique, 42: 215--256, 1996.","journal-title":"Enseignement Math\u00e9matique"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/800119.803896"},{"key":"e_1_2_1_5_1","first-page":"485","article-title":"Unsolvability of the conjugacy problem in the theory of groups","volume":"18","author":"Novikov P. S.","year":"1954","unstructured":"P. S. Novikov . Unsolvability of the conjugacy problem in the theory of groups . Izv. Akad. Nauk SSSR. Ser. Mat , 18 : 485 -- 524 , 1954 . P. S. Novikov. Unsolvability of the conjugacy problem in the theory of groups. Izv. Akad. Nauk SSSR. Ser. Mat, 18: 485--524,1954.","journal-title":"Izv. Akad. Nauk SSSR. Ser. Mat"}],"container-title":["ACM Communications in Computer Algebra"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2576802.2576823","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2576802.2576823","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:55:54Z","timestamp":1750229754000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2576802.2576823"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,1,28]]},"references-count":5,"journal-issue":{"issue":"3\/4","published-print":{"date-parts":[[2014,1,28]]}},"alternative-id":["10.1145\/2576802.2576823"],"URL":"https:\/\/doi.org\/10.1145\/2576802.2576823","relation":{},"ISSN":["1932-2240"],"issn-type":[{"value":"1932-2240","type":"print"}],"subject":[],"published":{"date-parts":[[2014,1,28]]},"assertion":[{"value":"2014-01-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}