An open library for your next question. Public pilot
Executable Science
Log inCreate account
THE OPEN LIBRARY

Find your next starting point.

Research, software, data and methods. Inspect the context, compare your options, and take a useful next step.

20 resources · Curated orderClear filters
Original examples

Exact binomial coverage of Wald and Wilson intervals

Executable Science local pilot drafts

Enumerate all binomial outcomes at n=20 and p=0.05, then compare exact interval-coverage calculations with a fixed-seed simulation.

Investigate Do nominal 95% intervals achieve that coverage in this prespecified small-sample setting?

Listing reviewed · source terms apply
Original examples

A bounded bisection solver with bracket controls

Executable Science local pilot drafts

Provide a small bisection implementation, a valid cubic-root example, an invalid-bracket control, and a high-precision Newton comparison.

Investigate Does the solver preserve a shrinking root bracket and reject the specified invalid input?

Listing reviewed · source terms apply
Original examples

An exact small-sample permutation reference

Executable Science local pilot drafts

Enumerate every balanced assignment for two groups of four observations and compare the exact two-sided randomization p-value with a sampled estimate.

Investigate Can a Monte Carlo permutation implementation be checked against a fully enumerated finite reference?

Listing reviewed · source terms apply
Original examples

Conditional moments of a bootstrap mean generator

Executable Science local pilot drafts

Resample a fixed twenty-value empirical distribution and compare bootstrap moments with their conditional analytical values.

Investigate How do observed bootstrap moments compare with their conditional expectation and variance?

Listing reviewed · source terms apply
Original examples

Exact-error comparison of trapezoid and Simpson quadrature

Executable Science local pilot drafts

Use rational arithmetic to compare composite quadrature errors for x^4 on [0,1] across five nested grid resolutions.

Investigate What convergence pattern appears without floating-point rounding for these two quadrature rules?

Listing reviewed · source terms apply
Original examples

Explicit Euler stability around a known threshold

Executable Science local pilot drafts

Investigate four step sizes for y'=-10y using the known amplification factor 1-10h, including stable, boundary, and growing discrete trajectories.

Investigate When does a decaying continuous solution produce a non-decaying numerical trajectory?

Listing reviewed · source terms apply
Original examples

Familywise error with independent null p-values

Executable Science local pilot drafts

Compare unadjusted and Bonferroni thresholds on fixed-size families of synthetic uniform null p-values, with analytical familywise probabilities.

Investigate How does applying twenty tests change false-positive risk under a declared independent-null model?

Listing reviewed · source terms apply
Original examples

Finite-difference step-size sensitivity

Executable Science local pilot drafts

Sweep sixteen step sizes for forward and central differentiation of exp(x) at zero, exposing truncation and rounding behavior against the analytical derivative.

Investigate How does derivative error change across a fixed grid of shrinking step sizes?

Listing reviewed · source terms apply
Original examples

Rationalization and subtractive cancellation

Executable Science local pilot drafts

Measure loss of precision in sqrt(x+1)-sqrt(x) at x=10^16 and compare an algebraically rationalized expression with a high-precision reference.

Investigate How much error is removed by changing the expression while preserving its exact-arithmetic meaning?

Listing reviewed · source terms apply
Original examples

Residual size versus root-location error

Executable Science local pilot drafts

Compare residuals near simple and double roots at the same candidate locations to illustrate why a small residual can have different interpretations.

Investigate How does a multiple root change the relationship between residual magnitude and distance to the known root?

Listing reviewed · source terms apply
Original examples

Small shortest-path solvers with negative-weight controls

Executable Science local pilot drafts

Provide Dijkstra and Bellman–Ford implementations with hand-enumerated reference graphs, explicit negative-edge rejection, and a negative-cycle control.

Investigate Do the implementations respect their input assumptions and return the expected distances on the supplied controls?

Listing reviewed · source terms apply
Original examples

Stable log-sum-exp on overflowing inputs

Executable Science local pilot drafts

Compare naive exponentiation with a shifted log-sum-exp calculation and a 70-digit Decimal reference on three fixed large inputs.

Investigate Can a shifted calculation retain an accurate finite result when direct exponentiation overflows?

Listing reviewed · source terms apply

Recorded license evidence is scoped to each source; it is not a blanket permission or a verification result.