Avigad, Jeremy http://orcid.org/0000-0003-1275-315X
Hölzl, Johannes http://orcid.org/0000-0003-0869-9250
Serafin, Luke
Funding for this research was provided by:
Division of Mathematical Sciences (DMS-1068829)
Air Force Office of Scientific Research (FA9550-12-1-0370)
Air Force Office of Scientific Research (FA9550-15-1-0053)
Deutsche Forschungsgemeinschaft (Ni 491/15-1)
Deutsche Forschungsgemeinschaft (Ni 491/16-1)
Article History
Received: 19 July 2016
Accepted: 7 January 2017
First Online: 8 February 2017