author-photo

Tetsuo Ida

University of Tsukuba

94

Papers

479

Citations

Citation Trend

Filter By

Papers (71) Sort By

Journal Conference Others

Verification of Origami Geometry

2020
- Tetsuo Ida
Show All
- Source
- Cite
- Save
Citations (0)
Logical Analysis of Huzita-Justin Folds

2020
- Tetsuo Ida
Show All
- Source
- Cite
- Save
Citations (0)
Polygonal Knot Origami

2020
- Tetsuo Ida
Show All
- Source
- Cite
- Save
Citations (0)
Simple Origami Geometry

2020
- Tetsuo Ida
Show All
- Source
- Cite
- Save
Citations (0)
Origami, Paper Folding, and Computational Origami

2020
- Tetsuo Ida
Show All
- Source
- Cite
- Save
Citations (0)
Foreword: Formalization of geometry, automated and interactive geometric reasoning

2019 Annals of Mathematics and Artificial Intelligence
Show All
- Source
- Cite
- Save
Citations (0)
Origami folds in higher-dimension

2017
- Tetsuo Ida
- Stephen M. Watt
Show All
- Source
- Cite
- Save
Citations (1)
Preface to the special issue on geometric reasoning

2016 Annals of Mathematics and Artificial Intelligence
- Jacques D. Fleuriot
- Tetsuo Ida
Show All
- Source
- Cite
- Save
Citations (0)
Interactive construction and automated proof in Eos system with application to knot fold of regular polygons

2015
Show All
- Source
- Cite
- Save
Citations (0)
Huzita's Basic Origami Fold in Geometric Algebra

2014 SYNASC | Symbolic and Numeric Algorithms for Scientific Computing
- Tetsuo Ida
Show All
- Source
- Cite
- Save
Citations (2)