Computer-assisted proofs and semidefinite programming

Research output: Contribution to journalBook/Film/Article reviewOther research output

Original languageEnglish
Pages (from-to)11-11
Number of pages1
JournalOptima: Mathematical Optimization Society Newsletter
Volume100
Publication statusPublished - May 2016

Cite this

@article{acbc2e534ac44f0d92300582124126b5,
title = "Computer-assisted proofs and semidefinite programming",
author = "{de Klerk}, Etienne",
note = "Article review",
year = "2016",
month = "5",
language = "English",
volume = "100",
pages = "11--11",
journal = "Optima: Mathematical Optimization Society Newsletter",

}

Computer-assisted proofs and semidefinite programming. / de Klerk, Etienne.

In: Optima: Mathematical Optimization Society Newsletter, Vol. 100, 05.2016, p. 11-11.

Research output: Contribution to journalBook/Film/Article reviewOther research output

TY - JOUR

T1 - Computer-assisted proofs and semidefinite programming

AU - de Klerk, Etienne

N1 - Article review

PY - 2016/5

Y1 - 2016/5

M3 - Book/Film/Article review

VL - 100

SP - 11

EP - 11

JO - Optima: Mathematical Optimization Society Newsletter

JF - Optima: Mathematical Optimization Society Newsletter

ER -