{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,6]],"date-time":"2024-08-06T09:31:42Z","timestamp":1722936702860},"publisher-location":"New York, New York, USA","reference-count":0,"publisher":"ACM Press","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1145\/164081.164144","type":"proceedings-article","created":{"date-parts":[[2003,11,25]],"date-time":"2003-11-25T12:11:45Z","timestamp":1069762305000},"page":"301-310","source":"Crossref","is-referenced-by-count":8,"title":["Geometry theorem proving in vector spaces by means of Gr\u00f6bner bases"],"prefix":"10.1145","author":[{"given":"Sabine","family":"Stifter","sequence":"first","affiliation":[]}],"member":"320","event":{"number":"1993","sponsor":["SIGSAM, ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"acronym":"ISSAC '93","name":"the 1993 international symposium","start":{"date-parts":[[1993,7,6]]},"location":"Kiev, Ukraine","end":{"date-parts":[[1993,7,8]]}},"container-title":["Proceedings of the 1993 international symposium on Symbolic and algebraic computation - ISSAC '93"],"original-title":[],"link":[{"URL":"http:\/\/dl.acm.org\/ft_gateway.cfm?id=164144&ftid=38444&dwn=1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,12,12]],"date-time":"2016-12-12T11:47:22Z","timestamp":1481543242000},"score":1,"resource":{"primary":{"URL":"http:\/\/portal.acm.org\/citation.cfm?doid=164081.164144"}},"subtitle":[],"proceedings-subject":"Symbolic and algebraic computation","short-title":[],"issued":{"date-parts":[[1993]]},"references-count":0,"URL":"https:\/\/doi.org\/10.1145\/164081.164144","relation":{},"subject":[],"published":{"date-parts":[[1993]]}}}