You are here: Home / File Collection / Ida / Recent Publications

Recent Publications

This is my recent (2014- ) publications. This page links to the papers and slides used in the presentations.

  1. Tetsuo Ida, Fadoua Ghourabi and Kazuko Takahashi,  Formalizing Polygonal Knot Origami, Journal of Symbolic Computation, Vol. 69, pp. 93 – 108, 2014.
    BibTex
    entry
    @article{ida:2014,
    title = {{Formalizing Polygonal Knot Origami}},
    journal = {{Journal of Symbolic Computation}},
    volume =  {69},
    pages = {{93 - 108}},
    year = "2014",
    doi = "DOI: 10.1016/j.jsc.2014.09.031",
    author = "T. Ida and F. Ghourabi and K. Takahashi"}
    Pre-print

    Comment

    This is the journal paper version of the conference papers
    @inproceedings{SCSS:2013,
    author = {Fadoua Ghourabi and Tetsuo Ida and Kazuko Takahashi},
    title = {{Logical and Algebraic Views of a Knot Fold of a Regular Heptagon}},
    booktitle = {{Proceedings of the International Symposium on Symbolic Computation in Software Science (SCSS2013)}},
    series  = {EPiC Series},
    volume  = {15},
    pages   = {50-63},
    year    = {2013},
    publisher = {EasyChair},
    bibsource = {EasyChair, http://www.easychair.org},issn      = {2040-557X},
    address = {Hagenberg, Austria}}
    @inproceedings{ida:2013,
    author={Tetsuo Ida and Fadoua Fhourabi and Kazuko Takahashi},
    title= {{Knot Fold of Regular Polygons: Computer-assisted Construction and Verification}},
    booktitle ={{The 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2013)}},
    year = {2013},
    month = {{September 23 -- 26}}
    pages = {12 -- 19},
    publisher = {IEEE Computer Society, Conference Publishing Services (CPS)},
    note = {Timisoara, Rumania}}
  2. Tetsuo Ida and Fadoua Ghourabi, Verified Construction of Polygonal Knots, The 12th International Mathematica Symposium, January 12 – 14, 2015, Prague Czech.

    This paper describes further application of the ideas expounded in 1. Since it was presented at International Mathematica Symposium, naturally it is written in Mathematica slide style with full of Mathematica code.  The journal version of the paper is the next one.
    Paper

    Slide
  3. Tetsuo Ida and Fadoua Ghourabi, Polygonal Knot by Computational Origami, Symmetry: Culture and Science, vol. 26, no. 2, pp. 171-187, 2015
    Pre-print
  4. Tetsuo Ida, Huzita's basic origami fold in geometric algebra, The 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2014), pp. 11 – 13, September 22 – 25, 2014, Timisoara, Rumania, IEEE Computer Society, Conference Publishing Services (CPS).
    BibTex
    entry
    @inproceedings{ida:2014,
    author={Tetsuo Ida},
    title= {{Huzita's basic origami fold in geometric algebra}},
    booktitle ={{The 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2014)}},
    year = {2014},
    month = {{September 22 -- 25}}
    pages = {11 -- 13},
    publisher = {IEEE Computer Society, Conference Publishing Services (CPS)},
    note = {Timisoara, Rumania}}
    Paper
    Slide
    Revised-slide
  5. Tetsuo Ida, Revisit of "Geometric Exercise in Paper Foldinf" from a Viewpoint of Computational Origami, The 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2016), pp. 23 – 28, September 24 – 27, 2016, Timisoara, Rumania, IEEE Computer Society, Conference Publishing Services (CPS).
    BibTex
    entry
    @inproceedings{ida:2016,
    author={Tetsuo Ida},
    title= {{Revisit of "Geometric Exercise in Paper Foldinf" from a Viewpoint of Computational Origami}},
    booktitle ={{The 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2016)}},
    year = {2014},
    month = {{September 24 -- 27}}
    pages = {23 -- 28},
    publisher = {IEEE Computer Society, Conference Publishing Services (CPS)},
    note = {Timisoara, Rumania}}
    Paper
« November 2017 »
November
SuMoTuWeThFrSa
1234
567891011
12131415161718
19202122232425
2627282930