Computer-aided proof of Erdős discrepancy properties
- Submitting institution
-
The University of Liverpool
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 11983
- Type
- D - Journal article
- DOI
-
10.1016/j.artint.2015.03.004
- Title of journal
- Artificial Intelligence
- Article number
- -
- First page
- 103
- Volume
- 224
- Issue
- -
- ISSN
- 0004-3702
- Open access status
- Out of scope for open access requirements
- Month of publication
- March
- Year of publication
- 2015
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
1
- Research group(s)
-
-
- Citation count
- 13
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- This is the journal version of "A SAT Attack on the Erdős Discrepancy Conjecture" (SAT 2014) by the same authors. The article presents a computer-aided solution to a problem in mathematics that was open for 80 years. As the solution produced by the computer is so large that it is beyond the limits of human comprehension, this work has been widely discussed not only among scientists (for example, on Gowers's Weblog at https://gowers.wordpress.com/2014/02/11/recent-news-concerning-the-erdos-discrepancy-problem/) but also in the press (Independent, Daily Mail Online, New Scientist, Register).
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -
