Browsing: verify

This post was inspired by some recent discussions with Bjoern Bringmann. Symbolic math software packages are highly developed for many…

In a recent post, I talked about a proof of concept tool to verify estimates automatically. Since that post, I…