Tetsuo Ida

Available identifiers

zbMath Open ida.tetsuoMaRDI QIDQ485838

List of research outcomes

Publication	Date of Publication	Type
Level-confluence of conditional rewrite systems with extra variables in right-hand sides	2022-12-09	Paper
Lazy narrowing: Strong completeness and eager variable elimination (extended abstract)	2022-08-18	Paper
Interactive construction and automated proof in Eos system with application to knot fold of regular polygons	2022-05-24	Paper
An introduction to computational origami	2020-10-15	Paper
In memoriam	2016-07-18	Paper
Formalizing polygonal knot origami	2015-01-14	Paper
Computational Origami Construction as Constraint Solving and Rewriting	2014-03-26	Paper
Hot Topics in Reduction Strategies	2013-07-24	Paper
Proof Documents for Automated Origami Theorem Proving	2011-11-25	Paper
Proof Assistant Decision Procedures for Formalizing Origami	2011-07-29	Paper
Morley's theorem revisited: origami construction and automated proof	2011-03-31	Paper
Computational Construction of a Maximum Equilateral Triangle Inscribed in an Origami	2010-09-14	Paper
Origami fold as algebraic graph rewriting	2010-03-17	Paper
Programming Languages and Systems	2010-01-05	Paper
Mathematical Knowledge Management	2007-02-12	Paper
https://portal.mardi4nfdi.de/entity/Q3417124	2007-01-26	Paper
https://portal.mardi4nfdi.de/entity/Q3416405	2007-01-22	Paper
Automated Deduction in Geometry	2006-10-20	Paper
https://portal.mardi4nfdi.de/entity/Q5700800	2005-10-31	Paper
https://portal.mardi4nfdi.de/entity/Q5699483	2005-10-26	Paper
https://portal.mardi4nfdi.de/entity/Q5699557	2005-10-26	Paper
Artificial Intelligence and Symbolic Computation	2005-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q4815317	2004-09-07	Paper
https://portal.mardi4nfdi.de/entity/Q3044482	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4433980	2003-11-03	Paper
https://portal.mardi4nfdi.de/entity/Q4780182	2002-10-31	Paper
https://portal.mardi4nfdi.de/entity/Q4780213	2002-10-31	Paper
Minimised geometric Buchberger algorithm for integer programming	2002-08-20	Paper
https://portal.mardi4nfdi.de/entity/Q2766792	2002-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q4503164	2001-01-04	Paper
https://portal.mardi4nfdi.de/entity/Q4364372	2000-07-18	Paper
https://portal.mardi4nfdi.de/entity/Q4705614	1999-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q4226983	1999-05-30	Paper
Leftmost outside-in narrowing calculi	1997-11-12	Paper
Lazy narrowing: strong completeness and eager variable elimination	1997-02-27	Paper
https://portal.mardi4nfdi.de/entity/Q3809229	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3721814	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3686037	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3782726	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3782755	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3729993	1984-01-01	Paper
Some FP algebra with currying operation	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4155821	1978-01-01	Paper
Parallel hashing algorithms	1977-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Tetsuo Ida