## Homepages 🌐

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

## E-Mails 📧

- ude.umc.sc @lewdrock

## Entries

### 2024

##### Pick's Theorem

by Sage Binder 🌐 and Katherine Kosaian 🌐
Apr 26

### 2022

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

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

### 2021

##### Verified Quadratic Virtual Substitution for Real Arithmetic

by Matias Scharager 📧, Katherine Kosaian 📧, Stefan Mitsch 📧 and André Platzer 📧
Oct 02

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

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