Publication Date:
2012-11-29
Description:
In this position paper, we briefly review the development of automated inductive theorem proving and computer-assisted mathematical induction . We think that the current low expectations on progress in this field result from a faulty projection. On an abstract but hopefully sufficiently descriptive level, we explain why we believe that future progress in the field is to result from human-orientedness and descente infinie .
Print ISSN:
1367-0751
Electronic ISSN:
1368-9894
Topics:
Mathematics