Project Details
| Status | Active |
|---|---|
| Effective start/end date | 10/1/22 → 9/30/25 |
Funding
- NSF - National Science Foundation
Collaborative Research: FMitF: Track I: Formally Verified Numerical Methods
- Appel, Andrew Wilson (PI)
Project: Research project
Project: Research project
| Status | Active |
|---|---|
| Effective start/end date | 10/1/22 → 9/30/25 |