MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures (Q2829996): Difference between revisions

@@ Property / describes a project that uses @@
+Magma
@@ Property / describes a project that uses: Magma / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Maple
@@ Property / describes a project that uses: Maple / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+REDUCE
@@ Property / describes a project that uses: REDUCE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SageMath
@@ Property / describes a project that uses: SageMath / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-45641-6_9
+Normal rank
@@ Property / OpenAlex ID @@
+W2512182535
@@ Property / OpenAlex ID: W2512182535 / rank @@
+Normal rank
@@ Property / cites work @@
+Building Bridges between Symbolic Computation and Satisfiability Checking
+Normal rank
@@ Property / cites work @@
+Q5503674
@@ Property / cites work: Q5503674 / rank @@
+Normal rank
@@ Property / cites work @@
+The Magma algebra system. I: The user language
@@ Property / cites work: The Magma algebra system. I: The user language / rank @@
+Normal rank
@@ Property / cites work @@
+Q3411976
@@ Property / cites work: Q3411976 / rank @@
+Normal rank
@@ Property / cites work @@
+Hadamard matrices and their applications
@@ Property / cites work: Hadamard matrices and their applications / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint models for the covering test problem
@@ Property / cites work: Constraint models for the covering test problem / rank @@
+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 @@
+On Gröbner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real Numbers
+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 @@
+Learning Rate Based Branching Heuristic for SAT Solvers
+Normal rank
@@ Property / cites work @@
+The Lean Theorem Prover (System Description)
@@ Property / cites work: The Lean Theorem Prover (System Description) / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient SAT Solving under Assumptions
@@ Property / cites work: Efficient SAT Solving under Assumptions / rank @@
+Normal rank
@@ Property / cites work @@
+Williamson matrices of order \(4n\) for \(n = 33, 35, 39\)
+Normal rank
@@ Property / cites work @@
+Compression of periodic complementary sequences and applications
+Normal rank
@@ Property / cites work @@
+On Orthogonal Matrices
@@ Property / cites work: On Orthogonal Matrices / rank @@
+Normal rank
@@ Property / cites work @@
+Construction of Williamson type matrices
@@ Property / cites work: Construction of Williamson type matrices / rank @@
+Normal rank
@@ Property / cites work @@
+Hadamard's determinant theorem and the sum of four squares
+Normal rank
@@ Property / cites work @@
+Q4244407
@@ Property / cites work: Q4244407 / rank @@
+Normal rank
@@ Property / cites work @@
+MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers
+Normal rank