Automation of Diagrammatic Proofs in Mathematics
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence. Doctoral Consortium Abstracts. Pages 1541--1.
Abstract
Mateja Jamnik. 1997. Automation of Diagrammatic Proofs in Mathematics. In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI-97. IJCAI, 1541–-1. https://ijcai.org/proceedings/1997/222
Jamnik, M. (1997). Automation of Diagrammatic Proofs in Mathematics. In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI-97 (pp. 1541–-1). IJCAI. https://ijcai.org/proceedings/1997/222
@inproceedings{ijcai1997p222,
title = {Automation of Diagrammatic Proofs in Mathematics},
author = {Jamnik, Mateja},
booktitle = {Proceedings of the Fifteenth International Joint Conference on
Artificial Intelligence, {IJCAI-97}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Martha E. Pollack},
pages = {1541---1},
year = {1997},
note = {Doctoral Consortium Abstracts},
url = {https://ijcai.org/proceedings/1997/222},
}
TY - CPAPER TI - Automation of Diagrammatic Proofs in Mathematics AU - Jamnik, Mateja T2 - Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI-97 PB - International Joint Conferences on Artificial Intelligence PY - 1997 SP - 1541 EP - -1 UR - https://ijcai.org/proceedings/1997/222 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
