## Homepages 🌐

- https://www.cs.cmu.edu/~yongkiat/

## E-Mails 📧

- ude.umc.sc @taikgnoy

## Entries

### 2024

##### Approximate Model Counting

by Yong Kiam Tan 📧 and Jiong Yang 📧
Mar 15

### 2023

##### Concentration Inequalities

by Emin Karayel 📧 and Yong Kiam Tan 📧
Nov 13

##### The Schwartz-Zippel Lemma

by Sunpill Kim and Yong Kiam Tan 📧
Apr 27

### 2022

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

by Katherine Kosaian 📧, Yong Kiam Tan 📧 and André Platzer 📧
Dec 15

### 2021

##### The BKR Decision Procedure for Univariate Real Arithmetic

by Katherine Kosaian 🌐, Yong Kiam Tan 🌐 and André Platzer 🌐
Apr 24

### 2019

##### The Poincaré-Bendixson Theorem

by Fabian Immler 🌐 and Yong Kiam Tan 🌐
Dec 18