2 search results for "tag:"keyword:libValidSDP""

Showing 1 - 2
  1. coq-libvalidsdp

    No documentation

    LibValidSDP
    keyword:libValidSDP keyword:ValidSDP keyword:floating-point arithmetic keyword:Cholesky decomposition category:libValidSDP category:Miscellaneous/Coq Extensions logpath:libValidSDP
    Pierre Roux <pierre.roux@onera.fr> Érik Martin-Dorel <erik.martin-dorel@irit.fr>
    1.0.2
    LGPL-2.1-or-later
    Used by 1 other packages
    13 Dec 2023
  2. coq-validsdp

    No documentation

    ValidSDP
    keyword:libValidSDP keyword:ValidSDP keyword:floating-point arithmetic keyword:Cholesky decomposition category:Miscellaneous/Coq Extensions logpath:ValidSDP
    Érik Martin-Dorel <erik.martin-dorel@irit.fr> Pierre Roux <pierre.roux@onera.fr>
    1.0.2
    LGPL-2.1-or-later
    Used by 0 other packages
    13 Dec 2023