5 search results for "tag:"math""

Showing 1 - 5
  1. coq-waterproof
    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 Dick Arends Cosmin Manea et al.
    3.1.0+9.1
    LGPL-3.0-or-later
    Used by 0 other packages
    Added to opam-repository
  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
    Added to opam-repository
  3. forcamla
    Documentation
    Organize program execution via formulae
    mathematical programming formula event listeners
    Christopher Sumnicht <csumnicht@berkeley.edu>
    0.4.0
    Apache-2.0
    Used by 0 other packages
    Added to opam-repository
  4. oplot
    Documentation
    Mathematical plotter library for ocaml
    plot 2D 3D math
    Vu Ngoc San <san.vu-ngoc@laposte.net>
    0.85
    ISC
    Used by 0 other packages
    Added to opam-repository
  5. 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
    Added to opam-repository