{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T14:45:58Z","timestamp":1729608358446,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,6]]},"DOI":"10.1109\/cisti.2015.7170359","type":"proceedings-article","created":{"date-parts":[[2015,7,30]],"date-time":"2015-07-30T17:21:22Z","timestamp":1438276882000},"page":"1-5","source":"Crossref","is-referenced-by-count":0,"title":["Gröbner bases and mathematical exercises generation with nondetermined structure"],"prefix":"10.1109","author":[{"given":"Isabel","family":"Araujo","sequence":"first","affiliation":[]},{"given":"Georgi","family":"Smirnov","sequence":"additional","affiliation":[]},{"given":"Jose Joao","family":"Almeida","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"crossref","DOI":"10.1142\/2196","article-title":"Machine proofs in geometry. Automated production of readable proofs for geometry theorems","volume":"6","author":"chou","year":"1994","journal-title":"Series on Applied Mathematics"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"37","DOI":"10.32513\/tbilisi\/1528768901","article-title":"Exercise templates with sage","volume":"5","author":"cruz","year":"2012","journal-title":"Tbilisi Mathematical Journal"},{"key":"ref12","first-page":"195","article-title":"Automated theorem proving in elementary geometry","volume":"43","author":"ferroe","year":"1990","journal-title":"Le Matematiche"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(86)80007-4"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(86)80006-2"},{"key":"ref15","article-title":"Gröbner bases and convex polytopes","author":"sturmfels","year":"1994","journal-title":"American Mathematical Society Memoirs of the American Mathematical Society"},{"key":"ref16","first-page":"419","article-title":"On Wu's method for proving constructive geometric theorems","author":"wang","year":"1989","journal-title":"International Joint Conference on Artificial Intelligence"},{"key":"ref17","article-title":"Basic principles of mechanical theorem proving in geometries","author":"wen-ts\u00fcn","year":"1984","journal-title":"Volume I Part of elementary Geometries Science Press"},{"key":"ref4","first-page":"1014","article-title":"Math exercise generation and smart assessment","author":"almeida","year":"2013","journal-title":"8th Iberian Conference on Information Systems and Technologies (CISTI) TICAMES"},{"year":"0","key":"ref3","article-title":"Maxima, a computer algebra system. Project site"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-5225-6_6"},{"key":"ref5","first-page":"763","article-title":"Passarola: High-order exercise generation system","author":"almeida","year":"2013","journal-title":"Information Systems and Technologies (CISTI) 5th Iberian Conference on"},{"key":"ref8","article-title":"Mechanical theorem proving in differential geometry","author":"chou","year":"1989","journal-title":"University of Texas at Austin Department of Computer Sciences Technical Report"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1146\/annurev.cs.03.060188.000505"},{"year":"0","key":"ref2","article-title":"Mathematica. Project site"},{"article-title":"Maxima Gröbner development site","year":"0","author":"ryclhik","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-52885-7_89"}],"event":{"name":"2015 10th Iberian Conference on Information Systems and Technologies (CISTI)","start":{"date-parts":[[2015,6,17]]},"location":"Aveiro, Portugal","end":{"date-parts":[[2015,6,20]]}},"container-title":["2015 10th Iberian Conference on Information Systems and Technologies (CISTI)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7152443\/7170350\/07170359.pdf?arnumber=7170359","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,28]],"date-time":"2019-08-28T18:48:00Z","timestamp":1567018080000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7170359\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/cisti.2015.7170359","relation":{},"subject":[],"published":{"date-parts":[[2015,6]]}}}