4 search results for "tag:"math""

Showing 1 - 4
  1. coq-waterproof

    No documentation

    Coq proofs in a style that resembles non-mechanized mathematical proofs
    keyword:mathematics education category:Mathematics/Education date:2023-11-04 logpath:Waterproof
    Jelle Wemmenhove Pim Otte Balthazar Pathiachvili Cosmin Manea Lulof Pirée et al.
    3.0.0+9.0
    LGPL-3.0-or-later
    Used by 0 other packages
    28 Aug 2025
  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

    No 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