Yong Kiam Tan

Verification of the CVM algorithm with a New Recursive Analysis Technique

by Emin Karayel, Derek Khu, Kuldeep S. Meel, Yong Kiam Tan and Seng Joe Watt

Formalizing Coppersmith's Method

by Katherine Kosaian and Yong Kiam Tan

Approximate Model Counting

by Yong Kiam Tan and Jiong Yang

Concentration Inequalities

by Emin Karayel and Yong Kiam Tan

The Schwartz-Zippel Lemma

by Sunpill Kim and Yong Kiam Tan

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

by Katherine Kosaian, Yong Kiam Tan and André Platzer

The BKR Decision Procedure for Univariate Real Arithmetic

by Katherine Kosaian, Yong Kiam Tan and André Platzer

The Poincaré-Bendixson Theorem

by Fabian Immler and Yong Kiam Tan