The following pages link to Tetsuo Ida (Q485838):
Displaying 45 items.
- Formalizing polygonal knot origami (Q485841) (← links)
- Morley's theorem revisited: origami construction and automated proof (Q633087) (← links)
- Lazy narrowing: strong completeness and eager variable elimination (Q671677) (← links)
- Some FP algebra with currying operation (Q789160) (← links)
- Parallel hashing algorithms (Q1240062) (← links)
- Minimised geometric Buchberger algorithm for integer programming (Q1610887) (← links)
- An introduction to computational origami (Q2204695) (← links)
- Origami fold as algebraic graph rewriting (Q2269692) (← links)
- (Q2766792) (← links)
- Hot Topics in Reduction Strategies (Q2841229) (← links)
- (Q3044482) (← links)
- Proof Documents for Automated Origami Theorem Proving (Q3102737) (← links)
- (Q3416405) (← links)
- (Q3417124) (← links)
- (Q3686037) (← links)
- (Q3721814) (← links)
- (Q3729993) (← links)
- (Q3782726) (← links)
- (Q3782755) (← links)
- (Q3809229) (← links)
- (Q4155821) (← links)
- (Q4226983) (← links)
- Leftmost outside-in narrowing calculi (Q4347199) (← links)
- (Q4364372) (← links)
- (Q4433980) (← links)
- (Q4503164) (← links)
- (Q4705614) (← links)
- (Q4780182) (← links)
- (Q4780213) (← links)
- (Q4815317) (← links)
- Level-confluence of conditional rewrite systems with extra variables in right-hand sides (Q5055830) (← links)
- Interactive construction and automated proof in Eos system with application to knot fold of regular polygons (Q5078736) (← links)
- Lazy narrowing: Strong completeness and eager variable elimination (extended abstract) (Q5096745) (← links)
- Proof Assistant Decision Procedures for Formalizing Origami (Q5200107) (← links)
- Computational Origami Construction as Constraint Solving and Rewriting (Q5403476) (← links)
- Artificial Intelligence and Symbolic Computation (Q5464697) (← links)
- Automated Deduction in Geometry (Q5493317) (← links)
- (Q5699483) (← links)
- (Q5699557) (← links)
- (Q5700800) (← links)
- In memoriam (Q5739513) (← links)
- Computational Construction of a Maximum Equilateral Triangle Inscribed in an Origami (Q5747831) (← links)
- Mathematical Knowledge Management (Q5898525) (← links)
- Programming Languages and Systems (Q5902357) (← links)
- A new modeling of classical folds in computational origami (Q6653957) (← links)
