floating-point-analysis
// Rigorous floating-point error analysis
$ git log --oneline --stat
stars:384
forks:73
updated:March 4, 2026
SKILL.mdreadonly
SKILL.md Frontmatter
namefloating-point-analysis
descriptionRigorous floating-point error analysis
allowed-toolsBash,Read,Write,Edit,Glob,Grep
metadata[object Object]
Floating-Point Analysis
Purpose
Provides rigorous floating-point error analysis capabilities for numerical algorithm verification and accuracy assessment.
Capabilities
- IEEE 754 arithmetic modeling
- Roundoff error accumulation tracking
- Interval arithmetic computation
- Arbitrary precision arithmetic
- Numerical condition number computation
- Error bound derivation
Usage Guidelines
- Error Modeling: Model floating-point operations precisely
- Interval Arithmetic: Use interval bounds for guaranteed accuracy
- High Precision: Employ arbitrary precision for validation
- Error Bounds: Derive forward and backward error bounds
Tools/Libraries
- MPFR
- Arb
- Herbie
- FPBench