{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:52:39Z","timestamp":1725490359593},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540440413"},{"type":"electronic","value":"9783540456896"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45689-9_19","type":"book-chapter","created":{"date-parts":[[2007,8,27]],"date-time":"2007-08-27T04:58:50Z","timestamp":1188190730000},"page":"228-238","source":"Crossref","is-referenced-by-count":4,"title":["The Vega Grid and Grid-Based Education"],"prefix":"10.1007","author":[{"given":"Zhiwei","family":"Xu","sequence":"first","affiliation":[]},{"given":"Wei","family":"Li","sequence":"additional","affiliation":[]},{"given":"Hongguang","family":"Fu","sequence":"additional","affiliation":[]},{"given":"Zhenbing","family":"Zeng","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,7,31]]},"reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"A. Chervenak, I. Foster, C. Kesselman, C. Salisbury, and S. Tuecke, \u201cThe Data Grid: Towards an Architecture for the Distributed Management and Analysis of Large Scientific DataSets\u201d, Journal of Network and Computer Applications, 1999.","DOI":"10.1006\/jnca.2000.0110"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"S.C. Chou, X.S. Gao, and J.Z. Zhang, Machine Proofs in Geometry, World Scientific, 1994.","DOI":"10.1142\/2196"},{"issue":"4","key":"19_CR3","doi-asserted-by":"publisher","first-page":"354","DOI":"10.1016\/S0022-0000(73)80029-7","volume":"7","author":"S.A. Cook","year":"1973","unstructured":"S.A. Cook and R.A. Reckhow, \u201cTime Bounded Random Access Machines\u201d, Journal of Computer and System Science, Vol. 7, No. 4, 1973, pp. 354\u2013375.","journal-title":"Journal of Computer and System Science"},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"I. Foster and C. Kesselman, \u201cThe Globus Project: A Status Report\u201d, Proc. IPPS\/SPD\u2019 98 Heterogeneous Computing Workshop, pp. 4\u201318, 1998.","DOI":"10.1109\/HCW.1998.666541"},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"I. Foster and C. Kesselman, J. Nick, and S. Tuecke, \u201cThe Physiology of the Grid: An Open Grid Services Architecture for Distributed Systems Integration\u201d, January, 2002.","DOI":"10.1109\/MC.2002.1009167"},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"I. Foster, C. Kesselman, and S. Tuecke, \u201cThe Anatomy of the Grid: Enabling Scalable Virtual Organizations\u201d, Intl. J. Supercomputer Applications, 2001.","DOI":"10.1177\/109434200101500302"},{"key":"19_CR7","volume-title":"Scalable Parallel Computers: Technology, Architecture, Programming","author":"K. Hwang","year":"1998","unstructured":"K. Hwang and Z. Xu, Scalable Parallel Computers: Technology, Architecture, Programming, McGraw-Hill, New York, 1998."},{"key":"19_CR8","volume-title":"Texts and Monographs in Symbolic Computation","author":"X. Jin","year":"1994","unstructured":"X. Jin and D. Wang, Mechanical Theorem Proving in Geometries: Basic Principles (Translated from the Chinese). Texts and Monographs in Symbolic Computation, Springer-Verlag, Berlin, 1994."},{"key":"19_CR9","unstructured":"U. Kortenkamp, Foundations of Dynamic Geometry, Dr. Thesis, ETH Zurich, Institut fur Theoretische Informatik, 1999."},{"key":"19_CR10","unstructured":"H. Kreger, IBM Software Group, Web Services Conceptual Architecture (WSCA 1.0), http:\/\/www-3.ibm.com\/software\/solutions\/webservices\/pdf\/WSCA.pdf"},{"key":"19_CR11","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1090\/conm\/029\/12","volume":"29","author":"W.-T. Wu","year":"1984","unstructured":"W.-T. Wu, \u201cOn the Decision Problem and the Mechanization of Theorem-Proving in Elementary Geometry\u201d, Contemporary Mathematics, Vol. 29, pp. 213\u2013234,1984.","journal-title":"Contemporary Mathematics"},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"L.G. Valiant, \u201cGeneral Purpose Parallel Architectures\u201d, in Handbook of Theoretical Computer Science (Vol. A), J. van Leeuwen (Ead.), Elsevier, 1990.","DOI":"10.1016\/B978-0-444-88071-0.50023-0"},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"H. Zhuge, \u201cA Knowledge Grid Model and Platform for Global Knowledge Sharing\u201d, Expert Systems with Applications, Vol.22, No.4, 2002.","DOI":"10.1016\/S0957-4174(02)00019-2"}],"container-title":["Lecture Notes in Computer Science","Advances in Web-Based Learning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45689-9_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T16:15:48Z","timestamp":1556813748000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45689-9_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540440413","9783540456896"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-45689-9_19","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}