zenodoopen
SAT Competition Benchmark – Trigonometric Functions
<p>Benchmark family for the <a href="http://www.satcompetition.org">SAT Competition</a> verifying properties of trigonometric function approximations. The implemented functions are sine, cosine and tangent. All three functions are composed of a single partial cosine implementation in the interval [-π/2, π/2] for which three different methods of approximation are provided.</p>
ShareScore
36/100
Overall dataset sharing score
Score breakdown
These five areas show where the dataset supports — or may limit — practical reuse.
- Stewardship
- 8
- Harmonization
- 4
- Access
- 16
- Reuse readiness
- 8
- Engagement
- 0