MathCheck
From MaRDI portal
Software:25556
No author found.
Related Items (11)
Combining SAT solvers with computer algebra systems to verify combinatorial conjectures ⋮ Matchings extend to Hamiltonian cycles in 5-cube ⋮ Complex Golay pairs up to length 28: a search via computer algebra and programmatic SAT ⋮ Enumeration of Complex Golay Pairs via Programmatic SAT ⋮ Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing ⋮ New Infinite Families of Perfect Quaternion Sequences and Williamson Sequences ⋮ Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions ⋮ The SAT+CAS method for combinatorial search with applications to best matrices ⋮ Applying computer algebra systems with SAT solvers to the Williamson conjecture ⋮ A nonexistence certificate for projective planes of order ten with weight 15 codewords ⋮ Investigating the existence of Costas Latin squares via satisfiability testing
This page was built for software: MathCheck
