Computer-Aided Proof of Erdos Discrepancy Properties

Boris Konev, Alexei Lisitsa

Type: Preprint

Publication Date: 2014-05-13

Citations: 0

Locations

arXiv (Cornell University) - View

Similar Works

Action	Title	Year	Authors
+	Computer-Aided Proof of Erdos Discrepancy Properties	2014	Boris Konev Alexei Lisitsa
+	Computer-aided proof of Erdős discrepancy properties	2015	Boris Konev Alexei Lisitsa
+	A SAT Attack on the Erdos Discrepancy Conjecture	2014	Boris Konev Alexei Lisitsa
+	A SAT Attack on the Erdos Discrepancy Conjecture	2014	Boris Konev Alexei Lisitsa
+ PDF Chat	A SAT Attack on the Erdős Discrepancy Conjecture	2014	Boris Konev Alexei Lisitsa
+	On the Erdos Discrepancy Problem	2014	Ronan Le Bras Carla P. Gomes Bart Selman
+	On the Erdos Discrepancy Problem	2014	Ronan Le Bras Carla P. Gomes Bart Selman
+ PDF Chat	On the Erdős Discrepancy Problem	2014	Ronan Le Bras Carla P. Gomes Bart Selman
+ PDF Chat	The Erdős discrepancy problem	2016	Terence Tao
+	Counting Sequences with Small Discrepancies	2013	Alexander Leong Jeffrey Shallit
+	Algorithms for combinatorial discrepancy	2018	Shashwat Garg
+	Refutation of the Erdős-Strauss Conjecture	2020	Colin James
+	Proof of the Erdős matching conjecture in a new range	2017	Péter Frankl
+	Investigating the discrepancy property of de Bruijn sequences	2020	Daniel Gabrić Joe Sawada
+	A proof of the Erdös similarity conjecture	2020	Angel D. Cruz Chun‐Kit Lai Malabika Pramanik
+ PDF Chat	A short proof of a conjecture of Erdös proved by Moreira, Richter and Robertson	2019	Bernard Host
+	About Erdös discrepancy conjecture	2016	Ramon Carbó‐Dorca
+	A NOTE ON THE ERDÖS-SÖS CONJECTURE	1984	Bing Zhou
+	Further discrepancy bounds and an Erdös–Turán–Koksma inequality for hybrid sequences	2009	Harald Niederreiter
+	Erdős' conjecture	1988	Gérald Tenenbaum

Works That Cite This (0)

Action	Title	Year	Authors

Works Cited by This (1)

Action	Title	Year	Authors
+ PDF Chat	Completely multiplicative functions taking values in ${-1,1}$	2010	Peter Borwein Stephen Choi Michael James Coons