A computation of the ninth Dedekind Number
In this article, we present an algorithm to compute the 9th Dedekind Number. The key aspects are the use of matrix multiplication and symmetries in the free distributive lattice, which are detected with techniques from Formal Concept Analysis.
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | |
|---|---|
| container_issue | |
| container_start_page | |
| container_title | |
| container_volume | |
| creator | Jäkel, Christian |
| description | In this article, we present an algorithm to compute the 9th Dedekind Number.
The key aspects are the use of matrix multiplication and symmetries in the free
distributive lattice, which are detected with techniques from Formal Concept
Analysis. |
| doi_str_mv | 10.48550/arxiv.2304.00895 |
| format | Article |
| fullrecord | <record><control><sourceid>arxiv_GOX</sourceid><recordid>TN_cdi_arxiv_primary_2304_00895</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>2304_00895</sourcerecordid><originalsourceid>FETCH-LOGICAL-a675-ad6904df5eaaf90efe54508e7b8f8348d435c5a941c4792409f6d6ebd577c7a53</originalsourceid><addsrcrecordid>eNotzrFuwjAQgGEvDBXwAJ3quVLCge9ie0RAoRJqF_boEp-F1SZBIaD27Sug07_9-pR6nkOOjghm3P-ka74wgDmA8_SkXpe67prTZeAhda3uoh6OotvUDke9liBfqQ3649JU0k_UKPL3Wab_HavD2-aw2mX7z-37arnPuLCUcSg8YIgkzNGDRCEkcGIrF51BF9BQTexxXqP1CwQfi1BIFcja2jKZsXp5bO_Y8tSnhvvf8oYu72jzB0YgO3E</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>A computation of the ninth Dedekind Number</title><source>arXiv.org</source><creator>Jäkel, Christian</creator><creatorcontrib>Jäkel, Christian</creatorcontrib><description>In this article, we present an algorithm to compute the 9th Dedekind Number.
The key aspects are the use of matrix multiplication and symmetries in the free
distributive lattice, which are detected with techniques from Formal Concept
Analysis.</description><identifier>DOI: 10.48550/arxiv.2304.00895</identifier><language>eng</language><subject>Mathematics - Combinatorics</subject><creationdate>2023-04</creationdate><rights>http://creativecommons.org/licenses/by/4.0</rights><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>228,230,776,881</link.rule.ids><linktorsrc>$$Uhttps://arxiv.org/abs/2304.00895$$EView_record_in_Cornell_University$$FView_record_in_$$GCornell_University$$Hfree_for_read</linktorsrc><backlink>$$Uhttps://doi.org/10.48550/arXiv.2304.00895$$DView paper in arXiv$$Hfree_for_read</backlink></links><search><creatorcontrib>Jäkel, Christian</creatorcontrib><title>A computation of the ninth Dedekind Number</title><description>In this article, we present an algorithm to compute the 9th Dedekind Number.
The key aspects are the use of matrix multiplication and symmetries in the free
distributive lattice, which are detected with techniques from Formal Concept
Analysis.</description><subject>Mathematics - Combinatorics</subject><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2023</creationdate><recordtype>article</recordtype><sourceid>GOX</sourceid><recordid>eNotzrFuwjAQgGEvDBXwAJ3quVLCge9ie0RAoRJqF_boEp-F1SZBIaD27Sug07_9-pR6nkOOjghm3P-ka74wgDmA8_SkXpe67prTZeAhda3uoh6OotvUDke9liBfqQ3649JU0k_UKPL3Wab_HavD2-aw2mX7z-37arnPuLCUcSg8YIgkzNGDRCEkcGIrF51BF9BQTexxXqP1CwQfi1BIFcja2jKZsXp5bO_Y8tSnhvvf8oYu72jzB0YgO3E</recordid><startdate>20230403</startdate><enddate>20230403</enddate><creator>Jäkel, Christian</creator><scope>AKZ</scope><scope>GOX</scope></search><sort><creationdate>20230403</creationdate><title>A computation of the ninth Dedekind Number</title><author>Jäkel, Christian</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-a675-ad6904df5eaaf90efe54508e7b8f8348d435c5a941c4792409f6d6ebd577c7a53</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2023</creationdate><topic>Mathematics - Combinatorics</topic><toplevel>online_resources</toplevel><creatorcontrib>Jäkel, Christian</creatorcontrib><collection>arXiv Mathematics</collection><collection>arXiv.org</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Jäkel, Christian</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>A computation of the ninth Dedekind Number</atitle><date>2023-04-03</date><risdate>2023</risdate><abstract>In this article, we present an algorithm to compute the 9th Dedekind Number.
The key aspects are the use of matrix multiplication and symmetries in the free
distributive lattice, which are detected with techniques from Formal Concept
Analysis.</abstract><doi>10.48550/arxiv.2304.00895</doi><oa>free_for_read</oa></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | DOI: 10.48550/arxiv.2304.00895 |
| ispartof | |
| issn | |
| language | eng |
| recordid | cdi_arxiv_primary_2304_00895 |
| source | arXiv.org |
| subjects | Mathematics - Combinatorics |
| title | A computation of the ninth Dedekind Number |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-21T21%3A30%3A24IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-arxiv_GOX&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=A%20computation%20of%20the%20ninth%20Dedekind%20Number&rft.au=J%C3%A4kel,%20Christian&rft.date=2023-04-03&rft_id=info:doi/10.48550/arxiv.2304.00895&rft_dat=%3Carxiv_GOX%3E2304_00895%3C/arxiv_GOX%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true |