Katherine Kosaian

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 7

Top Topics

Top Venues

Arch. Formal Proofs

Publications

Sage Binder, Katherine Kosaian
Formalizing Pick's Theorem in Isabelle/HOL. CoRR (2024)
Sage Binder, Katherine Kosaian
Pick's Theorem. Arch. Formal Proofs 2024 (2024)
Katherine Kosaian, Yong Kiam Tan, Kristin Yvonne Rozier
Formalizing Coppersmith's Method in Isabelle/HOL. CICM (2024)
Sage Binder, Katherine Kosaian
Formalizing Pick's Theorem in Isabelle/HOL. CICM (2024)
Katherine Kosaian, Yong Kiam Tan
Formalizing Coppersmith's Method. Arch. Formal Proofs 2024 (2024)
Katherine Kosaian, Yong Kiam Tan, André Platzer
A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL. CPP (2023)
Katherine Kosaian, Yong Kiam Tan, André Platzer
A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL. CoRR (2022)