Pages that link to "Item:Q3454125"

The following pages link to MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers (Q3454125):

Displaying 8 items.

• MathCheck (Q25556) (← links)
• A nonexistence certificate for projective planes of order ten with weight 15 codewords (Q780361) (← links)
• Matchings extend to Hamiltonian cycles in 5-cube (Q1692644) (← links)
• Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions (Q2238714) (← links)
• The SAT+CAS method for combinatorial search with applications to best matrices (Q2294574) (← links)
• Applying computer algebra systems with SAT solvers to the Williamson conjecture (Q2307627) (← links)
• Combining SAT solvers with computer algebra systems to verify combinatorial conjectures (Q2360872) (← links)
• MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures (Q2829996) (← links)