Larger problems.
Explicit tolerances.
Solve, transform, reconstruct and assimilate using the mathematical method that fits the operator and accepted accuracy.
Discuss this workloadThe tools.
For this work.
krylov_scale
Matrix-free linear-system and extreme-eigenvalue computation with independent true-residual checking.
NUMERICAL COMPUTINGSpectralForge
Large FFT, convolution and supported spectral-PDE computation with independent consistency checks.
NUMERICAL COMPUTINGTomoForge
Signal and image reconstruction from noisy linear measurements, with a checked data-fit residual.
NUMERICAL COMPUTINGsinkhorn_ot
Memory-conscious discrete optimal-transport computation with checks of the source and target marginal constraints.
NUMERICAL COMPUTINGenkf_scale
Ensemble-based data assimilation that updates a high-dimensional state estimate using incoming observations.
LOGIC & OPTIMIZATIONValueForge
Markov decision-process computation with a stopping certificate for supported state-value estimates.
Keep the original problem.
Check the useful result.
Define the operator, precision, stopping rule, measurement noise and reference cases. Residuals, estimation accuracy and workload runtime stay distinct.