1 paper · 1 filter
Christopher W. Brown
How to handle division in systems that compute with logical formulas involving what would otherwise be polynomial constraints over the real numbers is a surprisingly difficult ques…