{"type":"ScholarlyArticle","title":"Automation of Diagrammatic Proofs in Mathematics","authors":[{"name":"Mateja Jamnik","slug":"mateja-jamnik","given":"Mateja","family":"Jamnik","affiliation":""}],"abstract":"","doi":null,"url":"https://ijcai.org/proceedings/1997/222","pdf":"https://ijcai.org/proceedings/1997/0222.pdf","markdown":"https://ijcai.org/proceedings/1997/222.md","bibtex":"https://ijcai.org/proceedings/1997/bibtex/222","volume":{"slug":"1997","title":"Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1997","url":"https://ijcai.org/proceedings/1997/","year":1997,"location":"Nagoya, Japan","dates":"","editors":"Martha E. Pollack","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Doctoral Consortium Abstracts","track":"Doctoral Consortium Abstracts","number":222,"pages":{"first":1541,"last":-1},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}