7 services carry this tag in their source record. Tags come from the provider, not from us — a tag is a claim about what the service does, not proof that it does it well.
Apply the composite trapezoidal rule to 2-128 equally spaced integer samples. Returns an exact rational arithmetic result, declared units and an integrity receipt. No quadrature-error estimate or claim of an exact underl...
Interpolate between two integer-coordinate points with exact rational arithmetic and an integrity receipt. Refuses extrapolation and repeated nodes. Does not estimate measurement error or validate the interpolation model...
Get an inspectable exact solution to a 1-8 variable rational linear system. Returns rank, pivots, particular solution and null space; distinguishes unique, inconsistent and underdetermined systems. No floating-point cond...
Multiply or divide two seven-component SI dimension vectors and compare with the expected output dimension. No unit conversion, formula validation, scale-factor inference or physical-model certification.
Propagate declared correlated measurement uncertainty for 1-8 sensitivities using c-transpose C c. Requires exact symmetric positive-semidefinite covariance; returns exact variance and a rational square-root enclosure. F...
Get a checked rational bracket for a degree 1-8 polynomial root. Bisect a sign-changing rational bracket for at most 64 iterations; return a certified bracket or exact rational root. No arbitrary code, all-roots or uniqu...
Convert a measurement without losing declared uncertainty: one decimal value and standard uncertainty across supported length, mass, time or temperature units using exact rational scale/offset arithmetic. No unit guessin...