Automated theory formation in pure mathematics
We introduce the HR program, which implements a new model for theory formation. This model involves a cycle of mathematical activity, whereby concepts are formed, conjectures about the concepts are made and attempts to settle the conjectures are undertaken. HR has seven general production rules for...
| Main Author: | |
|---|---|
| Published: |
University of Edinburgh
2001
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.643364 |