1 search result for "author:"Quentin Vermande""

Showing 1 - 1
  1. coq-mathcomp-cad

    No documentation

    Formal Proof of Cylindrical Algebraic Decomposition
    keyword:CAD logpath:SemiAlgebraic
    Cyril Cohen Boris Djalal Quentin Vermande
    1.1
    LGPL-3.0-or-later
    Used by 0 other packages
    12 Dec 2024