Skip to main content
SpringerLink
Log in

A Virtual Computational Paper Folding Environment Based on Computer Algebraic System

  • Conference paper
Edutainment Technologies. Educational Games and Virtual Reality/Augmented Reality Applications (Edutainment 2011)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 6872))

  • 6300 Accesses

Abstract

Many people enjoy origami, an art of paper folding, since childhood. Origami is a more powerful geometry construction tool than straight and compass. But there are some inconvenience when you practice traditional origami on geometry. In this study, a computational origami environment has been developed. Huzita axioms are implemented with a computer algebra system (CAS). CAS not only deals with fundamental computation of axioms but also can prove some geometric consequences of folding steps. Furthermore, the process of paper folding is visualized. Users can observe the 3D animation of folding steps from different viewpoints.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Huzita, H.: Axiomatic Development of Origami Geometry. In: Proceedings of the First International Meeting of Origami Science and Technology, pp. 143–158 (1989)

    Google Scholar 

  2. Hull, T.: Origami and Geometric Constructions, http://kahuna.merrimack.edu/~thull/omfiles/geoconst.html

  3. Ida, T.: Proving and Solving in Computational Origami. LNCS, vol. 3249, pp. 613–628. Springer, Heidelberg (2004)

    MATH  Google Scholar 

  4. 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)

    Google Scholar 

  5. Ida, T.: Origami Fold as Algebraic Graph Rewriting. Journal of Symbolic Computation 45(4), 393–413 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  6. Lang, R.J.: Origami and Geometric Constructions (2003), http://www.langorigami.com/science/hha/origami_constructions.pdf

  7. Lang, R.J.: A Computational Algorithms for Origami Design. In: 12th Annual Symposium on Computational Geometry, Philadelphia, pp. 98–105 (1996)

    Google Scholar 

  8. Ghourabi, F.: Logical and Algebraic View of Huzita’s Origami Axioms with Applications to Computational Origami. In: SAC 2007 Proceedings of the 2007 ACM Symposium on Applied Computing, pp. 767–772 (2007)

    Google Scholar 

  9. The GeoProver Package for Mechanized (Plane) Geometry Theorem Proving, http://www.reduce-algebra.com/docs/geoprover.html

  10. Demaine, E.D., O’Rouke, J.: Geometric Folding Algorithms, Part II. Cambridge University Press, Cambridge (2007)

    Book  Google Scholar 

  11. 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) 3(3), 231 (2009)

    Article  Google Scholar 

  12. Kazuo Haga’s First Theorem, http://www.northwestmathconf.org/NWMC2007/NotesHaroldJacobs/Hagas_First_Theorem.pdf

Download references

Author information

Authors and Affiliations

  1. Department of Electronic Engineering/ Graduate School of Engineering Science and Technology, National Yunlin University of Science & Technology, Douliu, Yunlin, Taiwan, R.O.C.

    Wing-Kwong Wong, Po-Yu Chen & Sheng-Kai Yin

Authors
  1. Wing-Kwong Wong
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Po-Yu Chen
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Sheng-Kai Yin
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Computing and Information Systems, Athabasca University, Edmonton, AB, Canada

    Maiga Chang

  2. Graduate Institute of Network Learning Technology, National Central University, Jhongli City, Taiwan

    Wu-Yuin Hwang

  3. Graduate Institute of Information & Computer Education, National Taiwan Normal University, Taipei, Taiwan

    Ming-Puu Chen

  4. University of Education, Weingarten, Germany

    Wolfgang Müller

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Wong, WK., Chen, PY., Yin, SK. (2011). A Virtual Computational Paper Folding Environment Based on Computer Algebraic System. In: Chang, M., Hwang, WY., Chen, MP., Müller, W. (eds) Edutainment Technologies. Educational Games and Virtual Reality/Augmented Reality Applications. Edutainment 2011. Lecture Notes in Computer Science, vol 6872. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-23456-9_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-23456-9_7

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-23455-2

  • Online ISBN: 978-3-642-23456-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation