2 search results for "author:"Ariel E. Kellison""

Showing 1 - 2
  1. coq-vcfloat

    No documentation

    VCFloat: Floating Point Round-off Error Analysis
    date:2026-04-06 keyword:decision procedure keyword:floating-point arithmetic category:Computer Science/Decision Procedures and Certified Algorithms/Decision procedures logpath:VCFloat
    Andrew W. Appel Ariel E. Kellison Tahina Ramananandro Paul Mountcastle Benoit Meister et al.
    2.4.1
    LGPL-3.0-or-later
    Used by 3 other packages
    07 Apr 2026
  2. rocq-laproof

    No documentation

    LAProof: a library of formal proofs of accuracy and correctness for linear algebra programs
    date:2025-05-11 logpath:LAProof
    Ariel E. Kellison Andrew W. Appel Mohit Tekriwal David Bindel
    2.0
    MIT
    Used by 0 other packages
    12 May 2026