Web Supplement for the IR realgeom Project (2020):

---

Description. The goal of this project to systematically investigate and characterize the computational problems related the exploration of sharp geometrical constants in inequalities. Problems mainly taken from Bottema et al. For the server application and automated benchmarks see GITHUB project realgeom and the benchmark page.

In the current form it is a web repository which contains a list of Results and Benchmark Problems for symbolic computation. This page is also thought as a web supplement of research articles.

---

Problem Inputs (Bottema1):  GGBA files  [CB GGBA constuctions and commands]  [CB QEPCAD input]  [MRRC/MPRF/QEPCAD/MMA input]

Problem Inputs (SymmHomPolys3):  GGBA files  [CF MMA input]  [CB MMA input]  [MRRC/MPRF/QEPCAD/MMA input]

---

Problem Inputs (IsoBottema-C7):  GGBA files  [CB QEPCAD input]  [CB MMA input]  [CB SMT input]
Problem Inputs (RightBottema-C7):  GGBA files  [CB QEPCAD input]

---

 [Back to the opening Repository page]

---

setup in Maple RRC: with(RegularChains):with(ParametricSystemTools):with(SemiAlgebraicSetTools):

setup in Maple PRF: with(RootFinding[Parametric]):
for postprocessing:
Robert Vajda