Applying Real Quantifier Elimination to Nonlinear Optimization Problems:
(Web Repository)

Research Project Supported by OTKA No. 83219, OMAA 87öu15 and IPA HUSRB/1203/221/024

---

Description. The goal of this project to make some of the problems/codes/results publicly available.

---

---

• Complex Chebyshev Polynomials



• Optimal Lebesgue Constants



• Optimal 2D Lebesgue Constants



• Explicit Runge-Kutta Methods and Maximal Radii



• Elementary Geometric Inequalities

---

---

Robert Vajda