|
Edinburgh Research Archive >
Informatics, School of >
Informatics Publications >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/1842/4520
|
| Title: | Discovery and Reasoning in Mathematics |
| Authors: | Bundy, Alan |
| Issue Date: | 1985 |
| Journal Title: | Proceeding IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2 |
| Page Numbers: | 1221-1230 |
| Abstract: | We discuss the automation of mathematical reasoning, surveying the abilities displayed by human mathematicians and the computational techniques available for automating these abilities. We argue the importance of the simultaneous study of these techniques, because problems inherent in one technique can often be solved if it is able to interact with others. |
| URI: | http://portal.acm.org/citation.cfm?id=1623720&CFID=2388175&CFTOKEN=39686571
http://hdl.handle.net/1842/4520 |
| ISBN: | 978-0-934-61302-6 |
| Appears in Collections: | Informatics Publications
|
Items in ERA are protected by copyright, with all rights reserved, unless otherwise indicated.
|
