MathCheck

swMATH13642MaRDI QIDQ25556FDOQ25556

Author name not available (Why is that?)

Described by source

• MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures
• MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers

Cited In (11)

• Combining SAT solvers with computer algebra systems to verify combinatorial conjectures
• Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions
• Investigating the existence of Costas Latin squares via satisfiability testing
• Enumeration of Complex Golay Pairs via Programmatic SAT
• New Infinite Families of Perfect Quaternion Sequences and Williamson Sequences
• A nonexistence certificate for projective planes of order ten with weight 15 codewords
• Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing
• The SAT+CAS method for combinatorial search with applications to best matrices
• Matchings extend to Hamiltonian cycles in 5-cube
• Applying computer algebra systems with SAT solvers to the Williamson conjecture
• Complex Golay pairs up to length 28: a search via computer algebra and programmatic SAT

This page was built for software: MathCheck