Pages that link to "Item:Q2307620"
From MaRDI portal
The following pages link to Editorial: Symbolic computation and satisfiability checking (Q2307620):
Displaying 3 items.
- A nonexistence certificate for projective planes of order ten with weight 15 codewords (Q780361) (← links)
- Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings (Q1996869) (← links)
- Nonexistence Certificates for Ovals in a Projective Plane of Order Ten (Q5041183) (← links)
