Katherine Kosaian
Homepages 🌐
E-Mails 📧
Entries
2024
2022
A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL
by Katherine Kosaian, Yong Kiam Tan and André Platzer
2021
Verified Quadratic Virtual Substitution for Real Arithmetic
by Matias Scharager, Katherine Kosaian, Stefan Mitsch and André Platzer
The BKR Decision Procedure for Univariate Real Arithmetic
by Katherine Kosaian, Yong Kiam Tan and André Platzer