FARMS / Computational Science

FARMS / REFERENCES

The mathematics
behind the results.

Explore the sources behind the formal statements and their computational applications.

Mathematical sources

  1. Drineas & Mahoney
    Lectures on randomized numerical linear algebra ↗
  2. Halko, Martinsson & Tropp
    Finding structure with randomness ↗
  3. Martinsson & Tropp
    Randomized numerical linear algebra: Foundations and algorithms ↗
  4. Larsson & Thomée
    Partial differential equations with numerical methods ↗

Research figures

Follow the construction of formal statements and their use in scientific computing.

FARMS framework (PDF) ↗Computational applications (PDF) ↗

Citation

Read the paper · arXiv:2610.40560 ↗

@misc{farms,
  title = {{FARMS}: A Verifiable Foundation for Automated Computational Science},
  author = {Wu, Di and Liang, Ling and Yang, Haizhao},
  archivePrefix = {arXiv},
  eprint = {2610.40560},
  url = {https://arxiv.org/abs/2610.40560}
}

Explore the results

Read the mathematical assumptions, inspect the Lean statements and examine the source-defect counterexample.

Formalization Explorer →Computational applications →Project repository ↗