3 search results for "tag:"keyword:interval arithmetic""

Showing 1 - 3
  1. coq-gappa

    No documentation

    A Coq tactic for discharging goals about floating-point arithmetic and round-off errors using the Gappa prover
    keyword:floating-point arithmetic keyword:interval arithmetic keyword:decision procedure category:Computer Science/Decision Procedures and Certified Algorithms/Decision procedures logpath:Gappa date:2026-06-02
    Guillaume Melquiond <guillaume.melquiond@inria.fr>
    1.11.0
    LGPL-3.0-or-later
    Used by 0 other packages
    02 Jun 2026
  2. coq-interval

    No documentation

    A Coq tactic for proving bounds on real-valued expressions automatically
    keyword:interval arithmetic keyword:decision procedure keyword:floating-point arithmetic keyword:reflexive tactic keyword:Taylor models category:Mathematics/Real Calculus and Topology category:Computer Science/Decision Procedures and Certified Algorithms/Decision procedures logpath:Interval date:2026-09-16
    Guillaume Melquiond <guillaume.melquiond@inria.fr> Érik Martin-Dorel <erik.martin-dorel@irit.fr> Pierre Roux <pierre.roux@onera.fr> Thomas Sibut-Pinote <thomas.sibut-pinote@inria.fr>
    4.11.5
    CeCILL-C
    Used by 11 other packages
    16 Sep 2026
  3. rocq-taylor-rocqs

    No documentation

    A Taylor-series solver for analytic ODEs, verified in Rocq
    keyword:ordinary differential equations keyword:analytic functions keyword:Taylor series keyword:exact real arithmetic keyword:interval arithmetic logpath:TR
    Holger Thies
    1.1
    MIT
    Used by 0 other packages
    23 Sep 2026