Original Summary

A solver can give you an answer without giving someone else an easy way to check its accuracy. I built Certloom to package the equations, proposed answer and proof witness together. The new sparse example uses a captured NIST FiPy diffusion solve: 400 unknowns and 1,920 coefficients. In the browser, select “FiPy · steady state”, then “Check with exact arithmetic”. It bounds every solution component and establishes whether component 19 is above 0.98. “When weights fail” refuses the proof; “A changed answer” loses the threshold decision. You can download a proof ZIP and check it with Python’s standard library, without FiPy, SciPy or the original solver. A separate JavaScript implementation checks the same certificate in the browser. Computation stays local. Try it: https://nazeeh111.github.io/Certloom/ Source, method and release: https://github.com/nazeeh111/Certloom The sparse method is established weighted diagonal dominance, with exact arithmetic on the supplied binary64 values. It supports up to 4,096 unknowns and 32,768 nonzero coefficients. Its guarantee concerns the stored linear equations; it does not establish physical accuracy or discretization error. Built with substantial AI assistance. The implementations, source example, notices and tests are public. I would value feedback from people who need to hand numerical results to someone using a different solver or environment: would this portable handoff fit your workflow?   submitted by   /u/Awkward_Conflict3990 [link]   [comments]

  • 情报分类：商业与市场研究
  • 分类依据：内容涉及商业、投资或市场动态
  • 信息来源：Reddit · SideProject
  • 发布时间：2026/10/18 11:45:09