You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: University of St Andrews » Outputs » Detail

Output details

11 - Computer Science and Informatics

University of St Andrews

Return to search Previous output Next output

Output 0 of 0 in the submission

Output title

The semigroups of order 10

Type

E - Conference contribution

DOI

10.1007/978-3-642-33558-7_63

Name of conference/published proceedings

Principles and Practice of Constraint Programming : 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings

Volume number

7514

Issue number

First page of article

883

ISSN of proceedings

0302-9743

Year of publication

2012

URL

http://link.springer.com/chapter/10.1007/978-3-642-33558-7_63#page-1

Number of additional authors

Additional information

<22>This study involved the use of internet-scale distributed search together with new and challenging mathematical constructions to solve an open problem in combinatorics. The computations took several centuries of processor time, split over grid clusters and the Amazon cloud. The number of distinct semigroups of order 10 is 12,418,001,077,381,302,684. Each of the 20 result digits is provably exact: this study has significantly extended our ability to combine mathematics and computer search in order to classify algebraic objects. Our robust computational framework has been used to attack other open problems, becoming the default research tool for similar investigations.

Interdisciplinary

Yes

Cross-referral requested

Research group

C - Artificial intelligence

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract