grant
AF: Small: Trusting Inference About Polynomial Inequalities with Certificates
Organization University of New MexicoLocation ALBUQUERQUE, United StatesPosted 15 Jul 2025Deadline 30 Jun 2028
NSFUS FederalResearch GrantScience FoundationNM
Description preview
This project develops new methods to help computers automatically verify that certain mathematical statements involving polynomial inequalities are true. Polynomials are widely used to model real-world systems including many scientific and engineering applications. Polynomial optimization under constraints plays a foundational role in a wide range…
🔒
Start 7-day free trial — $29.99/mo →Full details available on the Agency plan
Unlock the complete grant description, eligibility criteria, contract value, evaluation details and apply link — plus alerts, pipeline tracking, and CSV export.
Agency Plan
7-day free trialUnlock procurement & grants
Upgrade to access active tenders from World Bank, UNDP, ADB and more — with email alerts and pipeline tracking.
$29.99 / month
- 🔔Email alerts for new matching tenders
- 🗂️Track tenders in your pipeline
- 💰Filter by contract value
- 📥Export results to CSV
- 📌Save searches with one click