1 search result for "tag:"logpath:Interval""

Showing 1 - 1

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:2024-10-21

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.1

CeCILL-C

Used by 7 other packages

22 Oct 2024