KIT | KIT-Bibliothek | Impressum | Datenschutz

A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL

Kosaian, Katherine; Tan, Yong Kiam; Platzer, André ORCID iD icon 1
1 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)


Zugehörige Institution(en) am KIT Institut für Informationssicherheit und Verlässlichkeit (KASTEL)
Publikationstyp Forschungsbericht/Preprint
Publikationsjahr 2022
Sprache Englisch
Identifikator KITopen-ID: 1000156029
Umfang 14 S.
Vorab online veröffentlicht am 22.09.2022
Nachgewiesen in arXiv
Dimensions
Relationen in KITopen
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page