## David Cyrluk, Richard M. Harris, Deepak Kapur

*GEOMETER: A Theorem Prover for Algebraic Geometry*

CADE, 1988.

@inproceedings{CADE-1988-CyrlukHK, author = "David Cyrluk and Richard M. Harris and Deepak Kapur", booktitle = "{Proceedings of the Ninth International Conference on Automated Deduction}", doi = "10.1007/BFb0012890", isbn = "3-540-19343-X", pages = "770--771", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{GEOMETER: A Theorem Prover for Algebraic Geometry}", volume = 310, year = 1988, }