{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:44:42Z","timestamp":1725565482027},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540220565"},{"type":"electronic","value":"9783540247098"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24709-8_80","type":"book-chapter","created":{"date-parts":[[2010,9,11]],"date-time":"2010-09-11T01:43:48Z","timestamp":1284169428000},"page":"761-770","source":"Crossref","is-referenced-by-count":11,"title":["Where the Truth Lies (in Automatic Theorem Proving in Elementary Geometry)"],"prefix":"10.1007","author":[{"given":"T.","family":"Recio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Botana","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"80_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"801","DOI":"10.1007\/3-540-44860-8_83","volume-title":"Computational Science \u2013 ICCS 2003","author":"F. Botana","year":"2003","unstructured":"Botana, F.: A Web-based intelligent system for geometric discovery. In: Sloot, P.M.A., Abramson, D., Bogdanov, A.V., Gorbachev, Y.E., Dongarra, J., Zomaya, A.Y. (eds.) ICCS 2003. LNCS, vol.\u00a02657, pp. 801\u2013810. Springer, Heidelberg (2003)"},{"issue":"2","key":"80_CR2","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/S0378-4754(02)00173-8","volume":"61","author":"F. Botana","year":"2003","unstructured":"Botana, F., Valcarce, J.L.: A software tool for the investigation of plane loci. Mathematics and Computers in Simulation\u00a061(2), 141\u2013154 (2003)","journal-title":"Mathematics and Computers in Simulation"},{"key":"80_CR3","doi-asserted-by":"crossref","unstructured":"Botana, F., Valcarce, J.L.: Automatic determination of envelopes and other derived curves within a graphic environment. Mathematics and Computers in Simulation (to appear)","DOI":"10.1016\/j.matcom.2004.05.004"},{"key":"80_CR4","unstructured":"Bouma, W., Chen, X., Fudos, I., Hoffmann, C., Vermeer, P.J.: An electronic primer on geometric constraint solving, \n                    \n                      http:\/\/www.cs.purdue.edu\/homes\/cmh\/electrobook\/into.html"},{"key":"80_CR5","unstructured":"Capani, A., Niesi, G., Robbiano, L.: CoCoA, a system for doing Computations in Commutative Algebra. Available via anonymous ftp from \n                    \n                      cocoa.dima.unige.it"},{"key":"80_CR6","volume-title":"Mechanical geometry theorem proving","author":"S.C. Chou","year":"1988","unstructured":"Chou, S.C.: Mechanical geometry theorem proving. D. Reidel Publishing Company, Dordrecht (1988)"},{"key":"80_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1007\/3-540-60114-7_14","volume-title":"Applied Algebra, Algebraic Algorithms and Error-Correcting Codes","author":"P. Conti","year":"1995","unstructured":"Conti, P., Traverso, C.: A case study of semiautomatic proving: the Maclane 83 theorem. In: Giusti, M., Cohen, G., Mora, T. (eds.) AAECC 1995. LNCS, vol.\u00a0948, pp. 183\u2013193. Springer, Heidelberg (1995)"},{"key":"80_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/3-540-45410-1_6","volume-title":"Automated Deduction in Geometry","author":"P. Conti","year":"2001","unstructured":"Conti, P., Traverso, C.: Algebraic and semialgebraic proofs: Methods and paradoxes. In: Richter-Gebert, J., Wang, D. (eds.) ADG 2000. LNCS (LNAI), vol.\u00a02061, pp. 83\u2013103. Springer, Heidelberg (2001)"},{"key":"80_CR9","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1023\/A:1006031329384","volume":"21","author":"A. Dolzmann","year":"1998","unstructured":"Dolzmann, A., Sturm, A., Weispfenning, V.: A new approach for automatic theorem proving in real geometry. Journal of Automated Reasoning\u00a021, 357\u2013380 (1998)","journal-title":"Journal of Automated Reasoning"},{"key":"80_CR10","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/S0010-4485(97)00052-3","volume":"30","author":"X.S. Gao","year":"1998","unstructured":"Gao, X.S., Chou, S.C.: Solving geometric constraint systems. I. A global propagation approach. Computer\u2013Aided Design\u00a030, 47\u201354 (1998)","journal-title":"Computer\u2013Aided Design"},{"key":"80_CR11","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/S0010-4485(97)00055-9","volume":"30","author":"X.S. Gao","year":"1998","unstructured":"Gao, X.S., Chou, S.C.: Solving geometric constraint systems. II. A symbolic approach and decision of Rc\u2013constructibility. Computer\u2013Aided Design\u00a030, 115\u2013122 (1998)","journal-title":"Computer\u2013Aided Design"},{"key":"80_CR12","unstructured":"Gao, X.S., Zhang, J.Z., Chou, S.C.: Geometry Expert, Nine Chapters, Taiwan (1998)"},{"key":"80_CR13","doi-asserted-by":"crossref","first-page":"487","DOI":"10.1016\/0010-4485(94)00013-4","volume":"27","author":"C. Hoffmann","year":"1995","unstructured":"Hoffmann, C., Bouma, W., Fudos, I., Cai, J., Paige, R.: A geometric constraint solver. Computer\u2013Aided Design\u00a027, 487\u2013501 (1995)","journal-title":"Computer\u2013Aided Design"},{"key":"80_CR14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70628-1","volume-title":"Computational Commutative Algebra I","author":"M. Kreuzer","year":"2000","unstructured":"Kreuzer, M., Robbiano, L.: Computational Commutative Algebra I. Springer, Berlin (2000)"},{"key":"80_CR15","doi-asserted-by":"publisher","first-page":"236","DOI":"10.2307\/2371070","volume":"58","author":"S. MacLane","year":"1936","unstructured":"MacLane, S.: Some interpretation of abstract linear dependence in terms of projective geometry. American Journal of Mathematics\u00a058, 236\u2013240 (1936)","journal-title":"American Journal of Mathematics"},{"key":"80_CR16","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1023\/A:1006135322108","volume":"23","author":"T. Recio","year":"1999","unstructured":"Recio, T., V\u00e9lez, M.P.: Automatic discovery of theorems in elementary geometry. Journal of Automated Reasoning\u00a023, 63\u201382 (1999)","journal-title":"Journal of Automated Reasoning"},{"key":"80_CR17","volume-title":"The Interactive Geometry Software Cinderella","author":"J. Richter\u2013Gebert","year":"1999","unstructured":"Richter\u2013Gebert, J., Kortenkamp, U.: The Interactive Geometry Software Cinderella. Springer, Berlin (1999)"},{"key":"80_CR18","first-page":"276","volume-title":"Some Tapas of Computer Algebra, Algorithms and Computations in Mathematics","author":"P. V\u00e9lez","year":"1999","unstructured":"V\u00e9lez, P., Recio, T., Sterk, H.: Project: Automated Geometry theorem proving. In: Cohen, A.M., Cuypers, H., Sterk, H. (eds.) Some Tapas of Computer Algebra, Algorithms and Computations in Mathematics, vol.\u00a04, pp. 276\u2013296. Springer, Berlin (1999)"},{"key":"80_CR19","unstructured":"Vona, M.: Annotated links on geometry and geometric design, \n                    \n                      http:\/\/www.mit.edu\/~vona\/links\/links-geometry-only.html"},{"key":"80_CR20","series-title":"Wang, D","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. Wang, D, vol.\u00a01104, pp. 166\u2013170. Springer, Heidelberg (1996)"},{"key":"80_CR21","unstructured":"http:\/\/www-calfor.lip6.fr\/~wang\/GRBib\/Welcome.html"},{"key":"80_CR22","unstructured":"http:\/\/www.acailab.com\/english\/mathxp.htm"}],"container-title":["Lecture Notes in Computer Science","Computational Science and Its Applications \u2013 ICCSA 2004"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24709-8_80.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:05:50Z","timestamp":1620011150000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24709-8_80"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540220565","9783540247098"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24709-8_80","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}