Hidekazu Takahashi

Available identifiers

zbMath Open takahashi.hidekazuMaRDI QIDQ633086

List of research outcomes

Publication	Date of Publication	Type
A new modeling of classical folds in computational origami	2024-12-17	Paper
Computational Origami Construction as Constraint Solving and Rewriting	2014-03-26	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
Constraint functional logic programming for origami construction.	2010-01-05	Paper
Mathematical Knowledge Management	2007-02-12	Paper
Automated Deduction in Geometry	2006-10-20	Paper

Research outcomes over time

This page was built for person: Hidekazu Takahashi