4 search results for "tag:"math""

  1. coq-waterproof
    Documentation
    Coq proofs in a style that resembles non-mechanized mathematical proofs
    keyword:mathematics education category:Mathematics/Education date:2023-08-27 logpath:Waterproof
    Jelle Wemmenhove Balthazar Pathiachvili Cosmin Manea Lulof Pirée Adrian Vrămuleţ et al.
    2.0.1+8.17
    LGPL-3.0-or-later
    Used by 0 other packages
    29 Aug 2023
  2. crlibm
    Documentation
    Binding to CRlibm, a correctly rounded math lib
    libm math floating-point rounding science
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
    0.5.1
    LGPL-3.0
    Used by 1 other packages
    11 Nov 2021
  3. oplot
    Documentation
    Mathematical plotter library for ocaml
    plot 2D 3D math
    Vu Ngoc San <san.vu-ngoc@laposte.net>
    0.71
    ISC
    Used by 0 other packages
    11 Jan 2023
  4. sundialsml
    Documentation
    Interface to the Sundials suite of numerical solvers
    numerical simulation mathematics science
    Timothy Bourke <tim@tbrk.org> Jun Inoue <Jun.Lambda@gmail.com> Marc Pouzet <Marc.Pouzet@ens.fr>
    6.1.1p1
    BSD-3-Clause
    Used by 1 other packages
    21 Mar 2022