Automation of Diagrammatic Proofs in Mathematics

IJCAI 1997 pp. 1541

/ijcai/1997/jamnik1997ijcai-automation/

Cite

Text

Jamnik. "Automation of Diagrammatic Proofs in Mathematics." International Joint Conference on Artificial Intelligence, 1997.

Markdown

[Jamnik. "Automation of Diagrammatic Proofs in Mathematics." International Joint Conference on Artificial Intelligence, 1997.](https://mlanthology.org/ijcai/1997/jamnik1997ijcai-automation/)

BibTeX

@inproceedings{jamnik1997ijcai-automation,
  title     = {{Automation of Diagrammatic Proofs in Mathematics}},
  author    = {Jamnik, Mateja},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1997},
  pages     = {1541},
  url       = {https://mlanthology.org/ijcai/1997/jamnik1997ijcai-automation/}
}