Learning University Mathematics
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence. Videos. Pages 2057-2057.
Abstract
This video demonstrates the program MU, the Mathematics Understander, which learns University level Pure Mathematics. The video is both concerned with MU's performance in learning and performing mathematics, and its underlying cognitive architecture, the Contextual Memory System, (CMS). The changes in knowledge representation during proof checking and problem solving are demonstrated graphically.
Edmund Furse. 1995. Learning University Mathematics. In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI-95. IJCAI, 2057–2057. https://ijcai.org/proceedings/1995/270
Furse, E. (1995). Learning University Mathematics. In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI-95 (pp. 2057–2057). IJCAI. https://ijcai.org/proceedings/1995/270
@inproceedings{ijcai1995p270,
title = {Learning University Mathematics},
author = {Furse, Edmund},
booktitle = {Proceedings of the Fourteenth International Joint Conference on
Artificial Intelligence, {IJCAI-95}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Chris S. Mellish},
pages = {2057--2057},
year = {1995},
note = {Videos},
url = {https://ijcai.org/proceedings/1995/270},
}
TY - CPAPER TI - Learning University Mathematics AU - Furse, Edmund T2 - Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI-95 PB - International Joint Conferences on Artificial Intelligence PY - 1995 SP - 2057 EP - 2057 UR - https://ijcai.org/proceedings/1995/270 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
