@inproceedings{5783f1b3e92f492980cb9713f95d1261,

title = "The complexity of elementary algebra and geometry (preliminary version)",

author = "Michael Ben-Or and Dexter Kozen and John Re{\'i}f",

year = "1984",

month = dec,

day = "1",

doi = "10.1145/800057.808712",

language = "American English",

series = "Proceedings of the Annual ACM Symposium on Theory of Computing",

publisher = "Association for Computing Machinery",

pages = "457--464",

booktitle = "Proceedings of the 16th Annual ACM Symposium on Theory of Computing, STOC 1984",

note = "16th Annual ACM Symposium on Theory of Computing, STOC 1984 ; Conference date: 30-04-1984 Through 02-05-1984",

}