Floating-Point Analysis
SkillDev toolsRigorous floating-point error analysis
Instructions available. Your AI can read the instructions. Execution depends on the setup they require.
Account requirements not reviewed. Check the skill instructions before use; ahel provides instructions and does not run this skill.
Add ahel to your AI once: Claude, ChatGPT, Cursor, Claude Code or Codex. Then ask it to use this.
Then ask your AI: use the Floating-Point Analysis skill
What this skill tells your AI
The instructions your AI receives, as published by a5c-ai/babysitter in library/specializations/domains/science/mathematics/skills/floating-point-analysis/SKILL.md and read by ahel’s review.
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
Signals
- GitHub stars
- 2k
- Forks
- 112
- Last commit
- Sep 2026
Advanced
- Item type
- skill
- Key
floating-point-analysis- Source
- github.com/a5c-ai/babysitter