Applying computer algebra systems with SAT solvers to the Williamson conjecture (Q2307627): Difference between revisions

@@ Property / describes a project that uses @@
+Lynx
@@ Property / describes a project that uses: Lynx / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+nsoks
@@ Property / describes a project that uses: nsoks / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SMT-LIB
@@ Property / describes a project that uses: SMT-LIB / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+FFTW
@@ Property / describes a project that uses: FFTW / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MathCheck
@@ Property / describes a project that uses: MathCheck / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2795943567
@@ Property / OpenAlex ID: W2795943567 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.01172
@@ Property / arXiv ID: 1804.01172 / rank @@
+Normal rank
@@ Property / cites work @@
+Building Bridges between Symbolic Computation and Satisfiability Checking
+Normal rank
@@ Property / cites work @@
+$$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation
+Normal rank
@@ Property / cites work @@
+Q5377022
@@ Property / cites work: Q5377022 / rank @@
+Normal rank
@@ Property / cites work @@
+Recurrence formulas for the construction of Williamson-type matrices
+Normal rank
@@ Property / cites work @@
+Q5503674
@@ Property / cites work: Q5503674 / rank @@
+Normal rank
@@ Property / cites work @@
+Discovery of an Hadamard matrix of order 92
@@ Property / cites work: Discovery of an Hadamard matrix of order 92 / rank @@
+Normal rank
@@ Property / cites work @@
+Hadamard Matrices of the Williamson Type
@@ Property / cites work: Hadamard Matrices of the Williamson Type / rank @@
+Normal rank
@@ Property / cites work @@
+A note on a result in the theory of code construction
+Normal rank
@@ Property / cites work @@
+MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures
+Normal rank
@@ Property / cites work @@
+Enumeration of Complex Golay Pairs via Programmatic SAT
+Normal rank
@@ Property / cites work @@
+Williamson matrices of orders \(4 \cdot 29\) and \(4 \cdot 31\)
+Normal rank
@@ Property / cites work @@
+Williamson matrices of order \(4n\) for \(n = 33, 35, 39\)
+Normal rank
@@ Property / cites work @@
+Q4848776
@@ Property / cites work: Q4848776 / rank @@
+Normal rank
@@ Property / cites work @@
+Compression of periodic complementary sequences and applications
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4217269
@@ Property / cites work: Q4217269 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer
+Normal rank
@@ Property / cites work @@
+Williamson matrices up to order 59
@@ Property / cites work: Williamson matrices up to order 59 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving Non-linear Arithmetic
@@ Property / cites work: Solving Non-linear Arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+A SAT Attack on the Erdős Discrepancy Conjecture
@@ Property / cites work: A SAT Attack on the Erdős Discrepancy Conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+Q5295613
@@ Property / cites work: Q5295613 / rank @@
+Normal rank
@@ Property / cites work @@
+Hadamard matrices of Williamson type: A challenge for computer algebra
+Normal rank
@@ Property / cites work @@
+An efficient string sorting algorithm for weighing matrices of small weight
+Normal rank
@@ Property / cites work @@
+Hadamard matrices of the Williamson type of order 4\(\cdot m\), \(m=p\cdot q\) an exhaustive search for \(m=33\)
+Normal rank
@@ Property / cites work @@
+Q5203039
@@ Property / cites work: Q5203039 / rank @@
+Normal rank
@@ Property / cites work @@
+Turyn type Williamson matrices up to order 99
@@ Property / cites work: Turyn type Williamson matrices up to order 99 / rank @@
+Normal rank
@@ Property / cites work @@
+An empirical study of branching heuristics through the lens of global learning rate
+Normal rank
@@ Property / cites work @@
+Williamson matrices and a conjecture of Ito's
@@ Property / cites work: Williamson matrices and a conjecture of Ito's / rank @@
+Normal rank
@@ Property / cites work @@
+Complementary sets of sequences
@@ Property / cites work: Complementary sets of sequences / rank @@
+Normal rank
@@ Property / cites work @@
+Q5675731
@@ Property / cites work: Q5675731 / rank @@
+Normal rank
@@ Property / cites work @@
+An infinite class of Williamson matrices
@@ Property / cites work: An infinite class of Williamson matrices / rank @@
+Normal rank
@@ Property / cites work @@
+Hadamard's determinant theorem and the sum of four squares
+Normal rank
@@ Property / cites work @@
+Combining SAT solvers with computer algebra systems to verify combinatorial conjectures
+Normal rank
@@ Property / cites work @@
+MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers
+Normal rank