Tetsuo Ida

According to our database, Tetsuo Ida authored at least 63 papers between 1977 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Correction to: Preface.

Adel Bouhoula, Bruno Buchberger, Tetsuo Ida, Temur Kutsia

Ann. Math. Artif. Intell., October, 2023

Preface.

Adel Bouhoula, Bruno Buchberger, Tetsuo Ida, Temur Kutsia

Ann. Math. Artif. Intell., October, 2023

2021

A New Modeling of Classical Folds in Computational Origami.

Tetsuo Ida, Hidekazu Takahashi

Proceedings of the 13th International Conference on Automated Deduction in Geometry, 2021

2020

An Introduction to Computational Origami - A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria

Tetsuo Ida

Texts & Monographs in Symbolic Computation, Springer, ISBN: 978-3-319-59188-9, 2020

2019

Foreword - Formalization of geometry, automated and interactive geometric reasoning.

Pascal Schreck, Tetsuo Ida, Laura Kovács

Ann. Math. Artif. Intell., 2019

2017

Models of Computation for Origami.

Tetsuo Ida

Proceedings of the 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2017

Origami folds in higher-dimension.

Tetsuo Ida, Stephen M. Watt

Proceedings of the SCSS 2017, 2017

2016

Preface to the special issue on geometric reasoning.

Jacques D. Fleuriot, Tetsuo Ida

Ann. Math. Artif. Intell., 2016

Revisit of "Geometric Exercise in Paper Folding" from a Viewpoint of Computational Origami.

Tetsuo Ida

Proceedings of the 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2016

2015

Formalizing polygonal knot origami.

Tetsuo Ida, Fadoua Ghourabi, Kazuko Takahashi

J. Symb. Comput., 2015

2014

Huzita's Basic Origami Fold in Geometric Algebra.

Tetsuo Ida

Proceedings of the 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2014

2013

Knot Fold of Regular Polygons: Computer-Assisted Construction and Verification.

Tetsuo Ida, Fadoua Ghourabi, Kazuko Takahashi

Proceedings of the 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2013

Logical and Algebraic Views of a Knot Fold of a Regular Heptagon.

Fadoua Ghourabi, Tetsuo Ida, Kazuko Takahashi

Proceedings of the 5th International Symposium on Symbolic Computation in Software Science, 2013

2012

Interactive vs. Automated Proofs in Computational Origami.

Tetsuo Ida

Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2012

2011

Morley's theorem revisited: Origami construction and automated proof.

Tetsuo Ida, Asem Kasem, Fadoua Ghourabi, Hidekazu Takahashi

J. Symb. Comput., 2011

Origami axioms and circle extension.

Asem Kasem, Fadoua Ghourabi, Tetsuo Ida

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Proof Assistant Decision Procedures for Formalizing Origami.

Cezary Kaliszyk, Tetsuo Ida

Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011

2010

Origami fold as algebraic graph rewriting.

Tetsuo Ida, Hidekazu Takahashi

J. Symb. Comput., 2010

Proof Documents for Automated Origami Theorem Proving.

Fadoua Ghourabi, Tetsuo Ida, Asem Kasem

Proceedings of the Automated Deduction in Geometry - 8th International Workshop, 2010

2009

A Compiler for Origami Construction and Verification.

Tetsuo Ida

Proceedings of the 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2009

Symbolic and algebraic methods in computational origami: invited talk.

Tetsuo Ida

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2009

2008

Computational origami environment on the web.

Asem Kasem, Tetsuo Ida

Frontiers Comput. Sci. China, 2008

Graph Rewriting in Computational Origami.

Tetsuo Ida

Proceedings of the SYNASC 2008, 2008

2007

Computational Origami Construction as Constraint Solving and Rewriting.

Tetsuo Ida, Mircea Marin, Hidekazu Takahashi, Fadoua Ghourabi

Proceedings of the 16th International Workshop on Functional and (Constraint) Logic Programming, 2007

Modeling Origami and Beyond.

Tetsuo Ida

Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2007

Logical and algebraic view of Huzita's origami axioms with applications to computational origami.

Fadoua Ghourabi, Tetsuo Ida, Hidekazu Takahashi, Mircea Marin, Asem Kasem

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Modeling Origami for Computational Construction and Beyond.

Tetsuo Ida, Hidekazu Takahashi, Mircea Marin, Fadoua Ghourabi

Proceedings of the Computational Science and Its Applications, 2007

2006

Tiers of webOrigami Programming.

Tetsuo Ida

Proceedings of the 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2006), 2006

Computational Construction of a Maximum Equilateral Triangle Inscribed in an Origami.

Tetsuo Ida, Hidekazu Takahashi, Mircea Marin, Fadoua Ghourabi, Asem Kasem

Proceedings of the Mathematical Software, 2006

2005

In memoriam: Professor Eiichi Goto.

Tetsuo Ida

SIGSAM Bull., 2005

Rule-Based Programming with sigma-Log.

Mircea Marin, Tetsuo Ida

Proceedings of the Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2005), 2005

Computational Origami of a Morley's Triangle.

Tetsuo Ida, Hidekazu Takahashi, Mircea Marin

Proceedings of the Mathematical Knowledge Management, 4th International Conference, 2005

2004

Proving and Constraint Solving in Computational Origami.

Tetsuo Ida, Dorin Tepeneu, Bruno Buchberger, Judit Robu

Proceedings of the Artificial Intelligence and Symbolic Computation, 2004

Computational Origami Construction of a Regular Heptagon with Automated Proof of Its Correctness.

Judit Robu, Tetsuo Ida, Dorin Tepeneu, Hidekazu Takahashi, Bruno Buchberger

Proceedings of the Automated Deduction in Geometry, 5th International Workshop, 2004

2003

Constraint Functional Logic Programming for Origami Construction.

Tetsuo Ida, Mircea Marin, Hidekazu Takahashi

Proceedings of the Programming Languages and Systems, First Asian Symposium, 2003

2002

Reducing Search Space in Solving Higher-Order Equations.

Tetsuo Ida, Mircea Marin, Taro Suzuki

Proceedings of the Progress in Discovery Science, 2002

Functional Logic Origami Programming.

Tetsuo Ida

Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002

2001

Hot Topics in Reduction Strategies - A Panelist's View.

Tetsuo Ida

Proceedings of the 1st International Workshop on Reduction Strategies in Rewriting and Programming, 2001

Minimised Geometric Buchberger Algorithm for Integer Programming.

Qiang Li, Yike Guo, John Darlington, Tetsuo Ida

Ann. Oper. Res., 2001

Higher-Order Lazy Narrowing Calculus: A Solver for Higher-Order Equations.

Tetsuo Ida, Mircea Marin, Taro Suzuki

Proceedings of the Computer Aided Systems Theory, 2001

Collaborative Constraint Functional Logic Programming in an Open Environment.

Norio Kobayashi, Mircea Marin, Tetsuo Ida

Proceedings of the Second Asian Workshop on Programming Languages and Systems, 2001

2000

Higher-order Lazy Narrowing Calculi in Perspective.

Mircea Marin, Tetsuo Ida, Taro Suzuki

Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000

Cooperative Constraint Functional Logic Programming.

Mircea Marin, Tetsuo Ida

Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000

An Open Environment for Cooperative Equational Solving.

Tetsuo Ida, Mircea Marin

Proceedings of the First Asian Workshop on Programming Languages and Systems, 2000

1999

On Reducing the Search Space of Higher-Order Lazy Narrowing.

Mircea Marin, Tetsuo Ida, Taro Suzuki

Proceedings of the Functional and Logic Programming, 4th Fuji International Symposium, 1999

1997

Leftmost Outside-In Narrowing Calculi.

Tetsuo Ida, Koichi Nakahara

J. Funct. Program., 1997

The Minimised Geometric Buchberger Algorithm: An Optimal Algebraic Algorithm for Integer Programming.

Qiang Li, Yike Guo, Tetsuo Ida, John Darlington

Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, 1997

Higher-Order Lazy Narrowing Calculus: A Computation Model for a Higher-Order Functional Logic Language.

Taro Suzuki, Koji Nakagawa, Tetsuo Ida

Proceedings of the Algebraic and Logic Programming, 6th International Joint Conference, 1997

1996

Lazy Narrowing: Strong Completeness and Eager Variable Elimination.

Aart Middeldorp, Satoshi Okui, Tetsuo Ida

Theor. Comput. Sci., 1996

1995

Lazy Narrowing: Strong Completeness and Eager Variable Elimination (Extended Abstract).

Satoshi Okui, Aart Middeldorp, Tetsuo Ida

Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

Level-Confluence of Conditional Rewrite Systems with Extra Variables in Right-Hand Sides.

Taro Suzuki, Aart Middeldorp, Tetsuo Ida

Proceedings of the Rewriting Techniques and Applications, 6th International Conference, 1995

A Complete Narrowing Calculus for Higher-Order Functional Logic Programming

Koichi Nakahara, Aart Middeldorp, Tetsuo Ida

Proceedings of the Programming Languages: Implementations, 1995

1994

Research on programming languages for massively parallel processing.

Makoto Amamiya, Masahiko Satoh, Akifumi Makinouchi, Ken-Ichi Hagiwara, Taiichi Yuasa, Hitoshi Aida, Kazunori Ueda, Keijiro Araki, Tetsuo Ida, Takanobu Baba

Proceedings of the International Symposium on Parallel Architectures, 1994

1992

G-system: A Functionally-Based Communication System Model for Parallel Processing.

Myuhng Joo Kim, Chu Shik Jhon, Tetsuo Ida

Proceedings of the Algorithms, Software, Architecture, 1992

1984

Functional Programming with Streams, Part II.

Tetsuo Ida, Jiro Tanaka

New Gener. Comput., 1984

Comparison of Closure Reduction and Combinatory Reduction Schemes.

Tetsuo Ida, Akihiko Konagaya

Proceedings of the RIMS Symposia on Software Science and Engineering II, 1984

1983

Some FP Algebra with Currying Operation.

Tetsuo Ida

Inf. Process. Lett., 1983

Functional Programming with Streams.

Tetsuo Ida, Jiro Tanaka

Proceedings of the Information Processing 83, 1983

1982

Design of a Lisp Machine - FLATS.

Eiichi Goto, Takashi Soma, N. Inada, Tetsuo Ida, Masanori Idesawa, Kei Hiraki, M. Suzuki, Kentaro Shimizu, B. Philipov

Proceedings of the 1982 ACM Symposium on LISP and Functional Programming, 1982

1981

Software-Fault Detector for Microprocessors.

Kozo Itano, Tetsuo Ida

Proceedings of the Joint Proceedings of SIGSMALL Symposium on Small Systems and SIGMOD Workshop on Small Database Systems, 1981

1979

FLATS, a Machine for Numerical, Symbolic and Associative Computing.

Eiichi Goto, Tetsuo Ida, Kei Hiraki

Proceedings of the 6th Annual Symposium on Computer Architecture, 1979

1977

Parallel Hashing Algorithms.

Eiichi Goto, Tetsuo Ida, Takao Gunji

Inf. Process. Lett., 1977

Performance of Parallel Hash Hardware with Key Deletion.

Tetsuo Ida, Eiichi Goto

Proceedings of the Information Processing, 1977