Exploiting strict constraints in the computation of cylindrical algebraic coverings

• Ausnutzung von strikten Ungleichungen zur Berechnung von zylindrischen, algebraischen Abdeckungen

Bär, Philipp; Ábrahám, Erika (Thesis advisor); Giesl, Jürgen (Thesis advisor); Nalbach, Jasper Kurt Ferdinand (Consultant)

Aachen : RWTH Aachen University (2023)
Bachelorarbeit

Bachelorarbeit, RWTH Aachen University, 2022

Kurzfassung

Einrichtungen

• Fachgruppe Informatik [120000]
• Lehr- und Forschungsgebiet Theorie Hybrider Systeme [123420]