Browsing Workshops 2017 by MSC "90"

Now showing items 1-3 of 3

    • 1744b - Copositivity and Complete Positivity 

      [OWR-2017-52] Workshop Report 2017,52 (2017) - (29 Oct - 04 Nov 2017)
      A real matrix $A$ is called copositive if $x^TAx \ge 0$ holds for all $x \in \mathbb R^n_+$. A matrix $A$ is called completely positive if it can be factorized as $A = BB^T$ , where $B$ is an entrywise nonnegative matrix. ...

    • 1733 - Proof Complexity and Beyond 

      [OWR-2017-37] Workshop Report 2017,37 (2017) - (13 Aug - 19 Aug 2017)
      Proof complexity is a multi-disciplinary intellectual endeavor that addresses questions of the general form “how difficult is it to prove certain mathematical facts?” The current workshop focused on recent advances in our ...

    • 1710 - Real Algebraic Geometry With a View Toward Moment Problems and Optimization 

      [OWR-2017-14] Workshop Report 2017,14 (2017) - (05 Mar - 11 Mar 2017)
      Continuing the tradition initiated in MFO workshop held in 2014, the aim of this workshop was to foster the interaction between real algebraic geometry, operator theory, optimization, and algorithms for systems control. A ...