Pages that link to "Item:Q6170824"
From MaRDI portal
The following pages link to Sum-of-squares certificates for Vizing's conjecture via determining Gröbner bases (Q6170824):
Displaying 3 items.
- An algebraic exploration of dominating sets and Vizing's conjecture (Q426851) (← links)
- Towards a computational proof of Vizing's conjecture using semidefinite programming and sums-of-squares (Q2029005) (← links)
- Conic linear optimization for computer-assisted proofs. Abstracts from the workshop held April 10--16, 2022 (Q6170529) (← links)