13 search results for "author:"Pierre Roux""
Showing 1 - 13
-
coq-coqeal
No documentation
CoqEAL - The Coq Effective Algebra Librarycategory:Computer Science/Decision Procedures and Certified Algorithms/Correctness proofs of algorithms keyword:effective algebra keyword:elementary divisor rings keyword:Smith normal form keyword:mathematical components keyword:Bareiss keyword:Karatsuba multiplication keyword:refinements logpath:CoqEAL2.0.3MITUsed by 3 other packages16 Dec 2024 -
coq-interval
No documentation
A Coq tactic for proving bounds on real-valued expressions automaticallykeyword: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-214.11.1CeCILL-CUsed by 7 other packages22 Oct 2024 -
coq-libvalidsdp
No documentation
LibValidSDP1.0.2LGPL-2.1-or-laterUsed by 1 other packages13 Dec 2023 -
coq-mathcomp-algebra-tactics
No documentation
Ring, field, lra, nra, and psatz tactics for Mathematical Components1.2.3CECILL-BUsed by 2 other packages18 Jan 2024 -
coq-mathcomp-analysis
No documentation
An analysis library for mathematical componentscategory:Mathematics/Real Calculus and Topology keyword:analysis keyword:Cantor keyword:topology keyword:real numbers keyword:sequence keyword:convexity keyword:Landau notation keyword:logarithm keyword:sin keyword:cos keyword:tangent keyword:trigonometric function keyword:exponential keyword:differentiation keyword:derivative keyword:measure theory keyword:integration keyword:Lebesgue keyword:probability logpath:mathcomp.analysis1.8.0CECILL-CUsed by 7 other packages19 Dec 2024 -
coq-mathcomp-analysis-stdlib
No documentation
A library to link real numbers from mathematical components and Stdlib1.8.0CECILL-CUsed by 0 other packages19 Dec 2024 -
coq-mathcomp-classical
No documentation
A library for classical logic for mathematical components1.8.0CECILL-CUsed by 2 other packages19 Dec 2024 -
coq-mathcomp-dioid
No documentation
Dioid0.2CECILL-BUsed by 0 other packages20 Dec 2021 -
coq-mathcomp-experimental-reals
No documentation
A library for alternative real numbers for mathematical components1.8.0CECILL-CUsed by 1 other packages19 Dec 2024 -
coq-mathcomp-reals
No documentation
A library for real numbers for mathematical components1.8.0CECILL-CUsed by 3 other packages19 Dec 2024 -
coq-mathcomp-reals-stdlib
No documentation
A library to link real numbers from mathematical components and Stdlib1.8.0CECILL-CUsed by 2 other packages19 Dec 2024 -
coq-paramcoq
No documentation
Plugin for generating parametricity statements to perform refinement proofs1.1.3+coq8.20MITUsed by 4 other packages06 Sep 2024 -
coq-validsdp
No documentation
ValidSDP1.0.2LGPL-2.1-or-laterUsed by 0 other packages13 Dec 2023