{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T02:48:52Z","timestamp":1742957332651,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642234552"},{"type":"electronic","value":"9783642234569"}],"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-23456-9_7","type":"book-chapter","created":{"date-parts":[[2011,8,31]],"date-time":"2011-08-31T15:02:02Z","timestamp":1314802922000},"page":"28-37","source":"Crossref","is-referenced-by-count":0,"title":["A Virtual Computational Paper Folding Environment Based on Computer Algebraic System"],"prefix":"10.1007","author":[{"given":"Wing-Kwong","family":"Wong","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Po-Yu","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sheng-Kai","family":"Yin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"Huzita, H.: Axiomatic Development of Origami Geometry. In: Proceedings of the First International Meeting of Origami Science and Technology, pp. 143\u2013158 (1989)"},{"key":"7_CR2","unstructured":"Hull, T.: Origami and Geometric Constructions, http:\/\/kahuna.merrimack.edu\/~thull\/omfiles\/geoconst.html"},{"key":"7_CR3","series-title":"LNCS","first-page":"613","volume-title":"Proving and Solving in Computational Origami","author":"T. Ida","year":"2004","unstructured":"Ida, T.: Proving and Solving in Computational Origami. LNCS, vol.\u00a03249, pp. 613\u2013628. Springer, Heidelberg (2004)"},{"key":"7_CR4","unstructured":"Ida, T., Takahashi, H., Marin, M., Kasem, A., Ghourabi, F.: Computational Origami System Eos. In: Proceedings of 4th International Conference on Origami, Science, Mathematics and Education, Caltech, Pasadena CA, p. 69 (2006)"},{"issue":"4","key":"7_CR5","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1016\/j.jsc.2009.10.002","volume":"45","author":"T. Ida","year":"2010","unstructured":"Ida, T.: Origami Fold as Algebraic Graph Rewriting. Journal of Symbolic Computation\u00a045(4), 393\u2013413 (2010)","journal-title":"Journal of Symbolic Computation"},{"key":"7_CR6","unstructured":"Lang, R.J.: Origami and Geometric Constructions (2003), http:\/\/www.langorigami.com\/science\/hha\/origami_constructions.pdf"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Lang, R.J.: A Computational Algorithms for Origami Design. In: 12th Annual Symposium on Computational Geometry, Philadelphia, pp. 98\u2013105 (1996)","DOI":"10.1145\/237218.237249"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Ghourabi, F.: Logical and Algebraic View of Huzita\u2019s Origami Axioms with Applications to Computational Origami. In: SAC 2007 Proceedings of the 2007 ACM Symposium on Applied Computing, pp. 767\u2013772 (2007)","DOI":"10.1145\/1244002.1244173"},{"key":"7_CR9","unstructured":"The GeoProver Package for Mechanized (Plane) Geometry Theorem Proving, http:\/\/www.reduce-algebra.com\/docs\/geoprover.html"},{"key":"7_CR10","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511735172","volume-title":"Geometric Folding Algorithms, Part II","author":"E.D. Demaine","year":"2007","unstructured":"Demaine, E.D., O\u2019Rouke, J.: Geometric Folding Algorithms, Part II. Cambridge University Press, Cambridge (2007)"},{"issue":"3","key":"7_CR11","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1504\/IJIIDS.2009.027684","volume":"3","author":"W.-K. Wong","year":"2009","unstructured":"Wong, W.-K., Yin, S.-K.: A Computer-assisted Environment for Understanding Geometry Theorem Proving Problems and Making Conjectures. Int. J. Intelligent Information and Database Systems (IJIIDS)\u00a03(3), 231 (2009)","journal-title":"Int. J. Intelligent Information and Database Systems (IJIIDS)"},{"key":"7_CR12","unstructured":"Kazuo Haga\u2019s First Theorem, http:\/\/www.northwestmathconf.org\/NWMC2007\/NotesHaroldJacobs\/Hagas_First_Theorem.pdf"}],"container-title":["Lecture Notes in Computer Science","Edutainment Technologies. Educational Games and Virtual Reality\/Augmented Reality Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-23456-9_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,14]],"date-time":"2019-06-14T13:27:33Z","timestamp":1560518853000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23456-9_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642234552","9783642234569"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23456-9_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}