{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T02:03:24Z","timestamp":1760061804896,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642250699"},{"type":"electronic","value":"9783642250705"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-25070-5_10","type":"book-chapter","created":{"date-parts":[[2011,11,8]],"date-time":"2011-11-08T20:30:55Z","timestamp":1320784255000},"page":"169-181","source":"Crossref","is-referenced-by-count":22,"title":["Thousands of Geometric Problems for Geometric Theorem Provers (TGTP)"],"prefix":"10.1007","author":[{"given":"Pedro","family":"Quaresma","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"Barrett, C., Stump, A., Tinelli, C.: The SMT-LIB Standard: Version 2.0. In: Gupta, A., Kroening, D. (eds.) Proceedings of the 8th International Workshop on Satisfiability Modulo Theories, Edinburgh, England (2010)"},{"key":"10_CR2","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/j.entcs.2004.09.013","volume":"103","author":"Y. Bertot","year":"2004","unstructured":"Bertot, Y., Guilhot, F., Pottier, L.: Visualizing geometrical statements with GeoView. Electronic Notes in Theoretical Computer Science\u00a0103, 49\u201365 (2004)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"10_CR3","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/S0360-1315(01)00089-6","volume":"38","author":"F. Botana","year":"2002","unstructured":"Botana, F., Valcarce, J.L.: A dynamic-symbolic interface for geometric theorem discovery. Computers and Education\u00a038, 21\u201335 (2002)","journal-title":"Computers and Education"},{"issue":"4","key":"10_CR4","doi-asserted-by":"publisher","first-page":"470","DOI":"10.1016\/j.jal.2005.10.006","volume":"4","author":"B. Buchberger","year":"2006","unstructured":"Buchberger, B., Craciun, A., Jebelean, T., Kovacs, L., Kutsia, T., Nakagawa, K., Piroi, F., Popov, N., Robu, J., Rosenkranz, M., Windsteiger, W.: Theorema: Towards computer-aided mathematical theory exploration. Journal of Applied Logic\u00a04(4), 470\u2013504 (2006)","journal-title":"Journal of Applied Logic"},{"issue":"2","key":"10_CR5","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1145\/362001.362012","volume":"34","author":"J.H. Davenport","year":"2000","unstructured":"Davenport, J.H.: On writing OpenMath content dictionaries. SIGSAM Bulletin\u00a034(2), 12\u201315 (2000)","journal-title":"SIGSAM Bulletin"},{"key":"10_CR6","unstructured":"DIMACS: Satisfiability suggested format (May 1993), ftp:\/\/dimacs.rutgers.edu\/pub\/challenge\/satisfiability\/doc\/"},{"key":"10_CR7","unstructured":"Egido, S., Hendriks, M., Kreis, Y., Kortenkamp, U., Marqu\u00e8s, D.: i2g Common File Format Final Version. Tech. Rep. D3.10, The Intergeo Consortium (2010)"},{"key":"10_CR8","first-page":"128","volume-title":"Computer Algebra Systems and Dynamic Geometry Systems in Mathematics Teaching Conference 2004","author":"K. Fuchs","year":"2004","unstructured":"Fuchs, K., Hohenwarter, M.: Combination of dynamic geometry, algebra and calculus in the software system geogebra. In: Computer Algebra Systems and Dynamic Geometry Systems in Mathematics Teaching Conference 2004, pp. 128\u2013133. P\u00e9cs, Hungary (2004)"},{"key":"10_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/978-3-540-24616-9_4","volume-title":"Automated Deduction in Geometry","author":"X.-S. Gao","year":"2004","unstructured":"Gao, X.-S., Lin, Q.: MMP\/Geometer - a Software Package for Automated Geometric Reasoning. In: Winkler, F. (ed.) ADG 2002. LNCS (LNAI), vol.\u00a02930, pp. 44\u201366. Springer, Heidelberg (2004)"},{"key":"10_CR10","first-page":"283","volume-title":"SAT 2000","author":"H. Hoos","year":"2000","unstructured":"Hoos, H., St\u00fctzle, T.: SATLIB: An online resource for research on SAT. In: Gent, I.P., Maaren, H.V., Walsh, T. (eds.) SAT 2000, pp. 283\u2013292. IOS Press, Amsterdam (2000)"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Jani\u010di\u0107, P., Narboux, J., Quaresma, P.: The Area Method: a recapitulation. Journal of Automated Reasoning\u00a07 (to appear, 2011), doi:10.1007\/s10817-010-9209-7","DOI":"10.1007\/s10817-010-9209-7"},{"key":"10_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/11832225_6","volume-title":"Mathematical Software - ICMS 2006","author":"P. Jani\u010di\u0107","year":"2006","unstructured":"Jani\u010di\u0107, P.: GCLC \u2014 A Tool for Constructive Euclidean Geometry and More Than That. In: Iglesias, A., Takayama, N. (eds.) ICMS 2006. LNCS, vol.\u00a04151, pp. 58\u201373. Springer, Heidelberg (2006)"},{"key":"10_CR13","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/11814771_13","volume-title":"Automated Reasoning","author":"P. Jani\u010di\u0107","year":"2006","unstructured":"Jani\u010di\u0107, P., Quaresma, P.: System Description: GCLCprover + Geothms. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol.\u00a04130, pp. 145\u2013150. Springer, Heidelberg (2006)"},{"issue":"4","key":"10_CR14","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1016\/S0747-7171(86)80007-4","volume":"2","author":"D. Kapur","year":"1986","unstructured":"Kapur, D.: Using Gr\u00f6bner bases to reason about geometry problems. Journal of Symbolic Computation\u00a02(4), 399\u2013408 (1986)","journal-title":"Journal of Symbolic Computation"},{"key":"10_CR15","unstructured":"Kortenkamp, U., Richter-Gebert, J.: Using automatic theorem proving to improve the usability of geometry software. In: Procedings of the Mathematical User-Interfaces Workshop 2004 (2004)"},{"key":"10_CR16","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/s10817-007-9071-4","volume":"39","author":"J. Narboux","year":"2007","unstructured":"Narboux, J.: A graphical user interface for formal proofs in geometry. Journal of Automated Reasoning\u00a039, 161\u2013180 (2007)","journal-title":"Journal of Automated Reasoning"},{"key":"10_CR17","unstructured":"Oracle: MySQL 5.5 Reference Manual, 5.5 edn. (January 2011), revision: 24956"},{"key":"10_CR18","doi-asserted-by":"crossref","unstructured":"Quaresma, P., Jani\u010di\u0107, P., Toma\u0161evi\u0107, J., Vujo\u0161evi\u0107-Jani\u010di\u0107, M., To\u0161i\u0107, D.: XML-Bases Format for Descriptions of Geometric Constructions and Proofs. In: Communicating Mathematics in The Digital Era, pp. 183\u2013197. A. K. Peters, Ltd. (2008)","DOI":"10.1201\/b10587-16"},{"issue":"2","key":"10_CR19","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/j.entcs.2006.09.020","volume":"174","author":"P. Quaresma","year":"2007","unstructured":"Quaresma, P., Jani\u010di\u0107, P.: Geothms \u2013 a Web System for Euclidean Constructive Geometry. Electronic Notes in Theoretical Computer Science\u00a0174(2), 35\u201348 (2007)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"10_CR20","volume-title":"The Interactive Geometry Software Cinderella","author":"J. Richter-Gebert","year":"1999","unstructured":"Richter-Gebert, J., Kortenkamp, U.: The Interactive Geometry Software Cinderella. Springer, Heidelberg (1999)"},{"issue":"4","key":"10_CR21","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/s10817-009-9143-8","volume":"43","author":"G. Sutcliffe","year":"2009","unstructured":"Sutcliffe, G.: The TPTP problem library and associated infrastructure. Jounal of Automated Reasoning\u00a043(4), 337\u2013362 (2009)","journal-title":"Jounal of Automated Reasoning"},{"key":"10_CR22","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/978-3-540-24616-9_12","volume-title":"Automated Deduction in Geometry","author":"D. Wang","year":"2004","unstructured":"Wang, D.: GEOTHER 1.1: Handling and Proving Geometric Theorems Automatically. In: Winkler, F. (ed.) ADG 2002. LNCS (LNAI), vol.\u00a02930, pp. 194\u2013215. Springer, Heidelberg (2004)"},{"key":"10_CR23","volume-title":"Proceedings of the European Joint Conferences on Theory and Practice of Software (ETAPS) Satellite Workshop on User Interfaces for Theorem Provers (UITP)","author":"S. Wilson","year":"2005","unstructured":"Wilson, S., Fleuriot, J.: Combining dynamic geometry, automated geometry theorem proving and diagrammatic proofs. In: Proceedings of the European Joint Conferences on Theory and Practice of Software (ETAPS) Satellite Workshop on User Interfaces for Theorem Provers (UITP). Springer, Heidelberg (2005)"},{"key":"10_CR24","first-page":"3","volume-title":"Mathematics Mechanization and Applications","author":"W.T. Wu","year":"2000","unstructured":"Wu, W.T.: The characteristic set method and its application. In: Gao, X.S., Wang, D. (eds.) Mathematics Mechanization and Applications, pp. 3\u201341. Academic Press, San Diego (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-642-25070-5_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,19]],"date-time":"2019-06-19T04:01:49Z","timestamp":1560916909000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-25070-5_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642250699","9783642250705"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-25070-5_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}