{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:11:51Z","timestamp":1725574311285},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540209270"},{"type":"electronic","value":"9783540246169"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24616-9_5","type":"book-chapter","created":{"date-parts":[[2011,1,6]],"date-time":"2011-01-06T20:46:04Z","timestamp":1294346764000},"page":"67-86","source":"Crossref","is-referenced-by-count":3,"title":["The SymbolicData\u00a0GEO Records \u2013 A\u00a0Public Repository of Geometry Theorem Proof Schemes"],"prefix":"10.1007","author":[{"given":"Hans-Gert","family":"Gr\u00e4be","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"Bachmann, O., Gr\u00e4be, H.-G.: The SymbolicData Project: Towards an electronic repository of tools and data for benchmarks of computer algebra software. In: Reports on Computer Algebra, January 27 (2000), Centre for Computer Algebra, University of Kaiserslautern, See http:\/\/www.mathematik.uni-kl.de\/~zca"},{"key":"5_CR2","volume-title":"Mechanical Geometry Theorem Proving","author":"S.-C. Chou","year":"1988","unstructured":"Chou, S.-C.: Mechanical Geometry Theorem Proving. Reidel, Dortrecht (1988)"},{"key":"5_CR3","series-title":"Series on Applied Mathematics","doi-asserted-by":"crossref","DOI":"10.1142\/2196","volume-title":"Machine proofs in geometry","author":"S.-C. Chou","year":"1994","unstructured":"Chou, S.-C., Gao, X.-S., Zhang, J.-Z.: Machine proofs in geometry. Series on Applied Mathematics, vol.\u00a06. World Scientific, Singapore (1994)"},{"volume-title":"Mathematics Mechanization and Applications","year":"2000","key":"5_CR4","unstructured":"Gao, X.-S., Wang, D. (eds.): Mathematics Mechanization and Applications. Academic Press, London (2000)"},{"key":"5_CR5","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Automated Deduction in Geometry","year":"1999","unstructured":"Wang, D., Yang, L., Gao, X.-S. (eds.): ADG 1998. LNCS (LNAI), vol.\u00a01669. Springer, Heidelberg (1999)"},{"key":"5_CR6","unstructured":"Gao, X.-S., et al.: Geometry Expert \u2013 a software for dynamic diagram drawing and automated geometry theorem proving and discovering (2002), See http:\/\/www.mmrc.iss.ac\/~xgao\/gex.html"},{"key":"5_CR7","unstructured":"GEONE x T \u2013 a dynamical geometry software, Lehrstuhl f\u00fcr Mathematik und ihre Didaktik, Univ. Bayreuth (1998 \u2013 2003), See http:\/\/www.geonext.de"},{"key":"5_CR8","unstructured":"Gr\u00e4be, H.-G.: GeoProver - a small package for mechanized plane geometry (1998 \u2013 2003), With versions for Reduce, Maple, MuPAD and Mathematica, See http:\/\/www.informatik.uni-leipzig.de\/~compalg\/software"},{"key":"5_CR9","unstructured":"Gr\u00e4be, H.-G.: The SymbolicData benchmark problems collection of polynomial systems. In: Proceedings of the Workshop on Under- and Overdetermined Systems of Algebraic or Differential Equations, Karlsruhe, pp. 57\u201375 (2002), Publ. by IAS Karlsruhe, See also http:\/\/www.informatik.uni-leipzig.de\/~graebe\/publications"},{"key":"5_CR10","unstructured":"Gr\u00e4be, H.-G.: The SymbolicData geometry collection and the GeoProver packages. In: Proceedings of the 8th Rhine Workshop on Computer Algebra (RWCA 2002), Mannheim, pp. 173\u2013194 (2002), Publ. by Univ. Mannheim, See also http:\/\/www.informatik.uni-leipzig.de\/~graebe\/publications"},{"key":"5_CR11","unstructured":"The International Mathematical Olympiads, since (1959), See, e.g., http:\/\/www.kalva.demon.co.uk\/imo.html"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Kapur, D.: Automated geometric reasoning: Dixon resultants, Gr\u00f6bner bases, and characteristic sets. In: Wang [17], pp. 1 \u2013 36","DOI":"10.1007\/BFb0022716"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Li, C.-Z., Zhang, J.-Z.: Readable machine solving in geometry and ICAI software MSG. In: Gao et al. [5], pp. 67 \u2013 85","DOI":"10.1007\/3-540-47997-X_5"},{"key":"5_CR14","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Automated Deduction in Geometry","year":"2001","unstructured":"Richter-Gebert, J., Wang, D. (eds.): ADG 2000. LNCS (LNAI), vol.\u00a02061. Springer, Heidelberg (2001)"},{"key":"5_CR15","unstructured":"The SymbolicData Project (2000\u20132002), See http:\/\/www.symbolicdata.org or the mirror at http:\/\/symbolicdata.uni-leipzig.de"},{"key":"5_CR16","unstructured":"Wang, D.: GEOTHER \u2013 geometry theorem prover (1990 \u2013 2003), See http:\/\/calfor.lip6.fr\/~wang\/GEOTHER"},{"key":"5_CR17","series-title":"Lecture Notes in Computer Science","volume-title":"Automated Deduction in Geometry","year":"1998","unstructured":"Wang, D. (ed.): ADG 1996. LNCS, vol.\u00a01360. Springer, Heidelberg (1998)"},{"key":"5_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1007\/3-540-61511-3_78","volume-title":"Automated Deduction - Cade-13","author":"D. Wang","year":"1996","unstructured":"Wang, D.: GEOTHER: A geometry theorem prover. In: McRobbie, M.A., Slaney, J.K. (eds.) CADE 1996. LNCS, vol.\u00a01104, pp. 166\u2013170. Springer, Heidelberg (1996)"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"Wang, D.: Clifford algebraic calculus for geometric reasoning with applications to computer vision. In: Wang [17], pp. 115 \u2013 140","DOI":"10.1007\/BFb0022723"},{"key":"5_CR20","series-title":"Texts and Monographs in Symbolic Computation","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7091-6202-6","volume-title":"Elimination Methods","author":"D. Wang","year":"2001","unstructured":"Wang, D.: Elimination Methods. Texts and Monographs in Symbolic Computation. Springer, Wien (2001)"},{"key":"5_CR21","series-title":"Texts and Monographs in Symbolic Computation","volume-title":"Mechanical Theorem Proving in Geometries","author":"W.-T. Wu","year":"1994","unstructured":"Wu, W.-T.: Mechanical Theorem Proving in Geometries. Texts and Monographs in Symbolic Computation. Springer, Wien (1994)"},{"key":"5_CR22","series-title":"Mathematics and its Applications","volume-title":"Mathematics Mechanization","author":"W.-T. Wu","year":"2000","unstructured":"Wu, W.-T.: Mathematics Mechanization. Mathematics and its Applications, vol.\u00a0489. Science Press\/Kluwer Acad. Publ., Beijing\/Dordrecht (2000)"}],"container-title":["Lecture Notes in Computer Science","Automated Deduction in Geometry"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24616-9_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T13:01:41Z","timestamp":1559912501000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24616-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540209270","9783540246169"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24616-9_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}