Katherine Kosaian

Homepages 🌐

• https://sites.google.com/view/katherinekosaian

E-Mails 📧

• ude.etatsai @naiasokk

Entries

2024

Babai_Nearest_Plane

by Eric Ren 📧, Sage Binder 📧 and Katherine Kosaian 📧

Sep 26

Formalizing Coppersmith's Method

by Katherine Kosaian 📧 and Yong Kiam Tan 📧

Jun 10

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