Pages that link to "Item:Q2323449"
From MaRDI portal
The following pages link to Formally verifying the solution to the Boolean Pythagorean triples problem (Q2323449):
Displaying 4 items.
- A nonexistence certificate for projective planes of order ten with weight 15 codewords (Q780361) (← links)
- \texttt{cake\_lpr}: verified propagation redundancy checking in CakeML (Q2233509) (← links)
- Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer (Q2818017) (← links)
- Certified logic-based explainable AI -- the case of monotonic classifiers (Q6535329) (← links)