External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A Verified Decision Procedure for Univariate Real Arithmetic with the BKR Algorithm

Katherine Cordwell, Yong Kiam Tan, André Platzer. A Verified Decision Procedure for Univariate Real Arithmetic with the BKR Algorithm. In Liron Cohen 0001, Cezary Kaliszyk, editors, 12th International Conference on Interactive Theorem Proving, ITP 2021, June 29 to July 1, 2021, Rome, Italy (Virtual Conference). Volume 193 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. [doi]

Authors

Katherine Cordwell

This author has not been identified. Look up 'Katherine Cordwell' in Google

Yong Kiam Tan

This author has not been identified. Look up 'Yong Kiam Tan' in Google

André Platzer

This author has not been identified. Look up 'André Platzer' in Google
runs on