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