---
title: "Automation of Diagrammatic Proofs in Mathematics"
authors:
  - "Mateja Jamnik"
doi: ""
url: "https://ijcai.org/proceedings/1997/222"
pdf: "https://ijcai.org/proceedings/1997/0222.pdf"
venue: "Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence"
year: 1997
pages: "1541--1"
track: "Doctoral Consortium Abstracts"
keywords:
---

# Automation of Diagrammatic Proofs in Mathematics

Mateja Jamnik

*Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence*, pages 1541--1.

## Abstract