Five-expert PDE: lean formalization
Lean formalization for the explicit solution of the 5-expert PDE.
Authors
- Jeff Calder (ORCID: https://orcid.org/0000-0002-9829-4128)
- Nadejda Drenska (ORCID: https://orcid.org/0000-0002-7047-0548)
Institutions
- Louisiana State University (US)
- University of Minnesota (US)
- Twin Cities Orthopedics (US)
Publication Details
- Journal
- arXiv (Cornell University)
- Published
- 2026-09-18
- DOI
- https://doi.org/10.5281/zenodo.22821096
- Primary Topic
- Advanced Optimization Algorithms Research
- Type
- preprint
Funders
- National Science Foundation