Pages that link to "Item:Q6170824"

The following pages link to Sum-of-squares certificates for Vizing's conjecture via determining Gröbner bases (Q6170824):

Displaying 1 item.

• Conic linear optimization for computer-assisted proofs. Abstracts from the workshop held April 10--16, 2022 (Q6170529) (← links)