There is a newer version of the record available.

Published March 14, 2026 | Version v1
Software Open

eggshel: A Floating-Point Backward Error Analysis Tool

  • 1. ROR icon Cornell University

Description

eggshel is the tool described in Section 6 of the paper Synthesizing Backward Error Bounds, Backward.

Files

eggshel.zip

Files (17.3 kB)

Name Size Download all
md5:a1a19f0efe5fa12a103425a761c38e3f
13.5 kB Preview Download
md5:f78fc639c429f28bb2a1932446fe0313
3.8 kB Preview Download

Additional details