Detail

Publication date: 01/01/2010

Exploring Steinitz-Rademacher polyhedra: A challenge for automated reasoning tools

Authors

Jesse Alama,

URL http://www.eprover.org/EVENTS/IWIL-2010/iwil-2010.html
Publisher Universitat Politècnica de Catalunya
URL http://www.eprover.org/EVENTS/IWIL-2010/iwil-2010.html
Publisher Universitat Politècnica de Catalunya