2 search results for "tag:"keyword:linear algebra""

Showing 1 - 2
  1. coq-quantumlib

    No documentation

    Coq library for reasoning about quantum programs
    keyword:quantum keyword:qwire keyword:sqir keyword:matrices keyword:vectors keyword:linear algebra keyword:complex numbers category:Mathematics/Algebra category:Mathematics/Real Calculus and Topology date:2025-09-19 logpath:QuantumLib
    inQWIRE
    1.8.0
    MIT
    Used by 0 other packages
    14 Oct 2025
  2. rocq-rouche-capelli

    No documentation

    A proof for the Rouché–Capelli theorem by rocq-math-comp
    category:Mathematics/Algebra keyword:linear algebra keyword:matrix keyword:rank logpath:RoucheCapelli
    Cheng-Hui Weng Reynald Affeldt Jacques Garrigue Takafumi Saikawa
    0.1.0
    MIT
    Used by 0 other packages
    24 Oct 2025