Skip to content

History

Revisions

  • Update links.

    @tcunis tcunis committed Jul 8, 2026
    d6c8454

  • Update links to license and publication.

    @tcunis tcunis committed Jul 8, 2026
    9b48634

  • Update link to publications.

    @tcunis tcunis committed Jul 8, 2026
    a818d2d

  • Updated Home (markdown)

    @tcunis tcunis committed Jun 19, 2026
    89e1ab4

  • Addition of a note regarding the usage of sdpsol with Mosek.

    @renatoloureiro renatoloureiro committed May 18, 2026
    604ac30

  • Update link to publications.

    @tcunis tcunis committed Feb 13, 2026
    fcea5a4

  • Add logo.

    @tcunis tcunis committed Dec 15, 2025
    16b64e8

  • Update logo.

    @tcunis tcunis committed Dec 14, 2025
    c367a79

  • Update logo.

    @tcunis tcunis committed Dec 14, 2025
    ddf7b84

  • Update logo.

    @tcunis tcunis committed Dec 14, 2025
    a971890

  • Update logo.

    @tcunis tcunis committed Dec 14, 2025
    14e1e70

  • Proof by Positivstellensatz.

    @tcunis tcunis committed Dec 12, 2025
    1757e0e

  • Adjust section headings.

    @tcunis tcunis committed Dec 11, 2025
    bfe05c0

  • Section headings, references, introduction.

    @tcunis tcunis committed Dec 11, 2025
    de4f0e4

  • Updated Sum‐of‐squares Optimization (markdown)

    @tcunis tcunis committed Dec 11, 2025
    70bce53

  • Link to references.

    @tcunis tcunis committed Dec 11, 2025
    efb30af

  • Updated Pre‐processing of sum‐of‐sqaures programs (markdown)

    @tcunis tcunis committed Dec 11, 2025
    d26f940

  • Link to references.

    @tcunis tcunis committed Dec 11, 2025
    20e4f88

  • Adjust section headings.

    @tcunis tcunis committed Dec 11, 2025
    87ada3d

  • Adjust section headings.

    @tcunis tcunis committed Dec 11, 2025
    30f2321

  • Adjust section headings.

    @tcunis tcunis committed Dec 11, 2025
    b95ca17

  • Adjust section headings.

    @tcunis tcunis committed Dec 11, 2025
    2305cf2

  • Adjust section headings.

    @tcunis tcunis committed Dec 11, 2025
    d029546

  • Adjust section headings.

    @tcunis tcunis committed Dec 11, 2025
    1793bc5

  • Added conversion to CasADi functions.

    @tcunis tcunis committed Dec 11, 2025
    cc3bfa7

  • Added alternative sufficient condition.

    @tcunis tcunis committed Dec 10, 2025
    60e1e2f

  • Statement and first proof.

    @tcunis tcunis committed Dec 10, 2025
    a368cd4

  • Create page structure.

    @tcunis tcunis committed Dec 10, 2025
    ce41cbb

  • Change hyphen in title.

    @tcunis tcunis committed Dec 10, 2025
    fc7c318

  • New page on the generalized S-procedure.

    @tcunis tcunis committed Dec 10, 2025
    e01f583