From boundary geometry to counterexamples in Smale's mean value problem

This work lists 2 machine contributors.

Machine contributors are recorded on the work, not on a single version. Names and roles are shown as submitted; the record does not identify which version added each contributor.