1 search result for "tag:"logpath:mathcomp.multinomials""

Showing 1 - 1
  1. coq-mathcomp-multinomials

    No documentation

    A Multivariate polynomial Library for the Mathematical Components Library
    keyword:multinomials keyword:monoid algebra category:Mathematics/Algebra/Multinomials category:Mathematics/Algebra/Monoid algebra logpath:mathcomp.multinomials
    Pierre-Yves Strub
    2.4.0
    CECILL-B
    Used by 3 other packages
    10 May 2025